Libri UniversitariProf. Riccardo Camerlo
Università degli Studi di Genova · Dipartimento di Antichità, Filosofia e Storia · libri consigliati e cosa studiare, a.a. 2026/2027
Libri adottati dal prof. Riccardo Camerlo
- Palladino – Corso di Logica – Logica (Filosofia, 2º anno · 1º semestre · 9 CFU)
- Palladino – Logica e teorie formalizzate – Logica (Filosofia, 2º anno · 1º semestre · 9 CFU)
- Frigeri – Logica e algebra – Algebra e Logica per Informatica (Informatica, 1º anno · tutto l'anno (semestre non indicato) · 12 CFU)
Materie del prof. Riccardo Camerlo
Logica Canale unico
Corso di laurea: Filosofia · Laurea triennale (L-5) · 2º anno · 1º semestre · 9 CFU
Il docente indica 3 testi · da studiare tutti
Palladino – Logica e teorie formalizzateCerca su Amazon ›Da studiare: Capitolo 1.5 per la definizione della semantica della logica dei predicatiVerificato sulla scheda ufficiale il 04/10/2026
Palladino – Logica e teorie formalizzateCerca su Amazon ›Da studiare: Capitolo 1.4 per il calcolo assiomaticoVerificato sulla scheda ufficiale il 04/10/2026
Bacheca del docente: cosa indica di studiare
- Per l'insegnamento da 6 cfu e da 9 cfu, tutti i materiali necessari verranno resi disponibili su aulaweb: dispense, slides, esercizi, bibliografia aggiuntiva.
- E. Mendelson. Introduzione alla logica matematica. Bollati Boringhieri. (capitolo 1 e 2, fino a 2.4)
- L'elenco dei testi potrebbe subire modifiche e quindi è consigliabile, prima dell'acquisto o del prestito, di attendere l'avvio delle lezioni e la presentazione del programma da parte del docente.
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.
Algebra e Logica per Informatica – con Prof. Emanuela De Negri Canale unico
Corso di laurea: Informatica · Laurea triennale (L-31) · 1º anno · tutto l'anno (semestre non indicato) · 12 CFU
Il docente indica 1 testo
Bacheca del docente: cosa indica di studiare
- Materiale fornito dal docente su Aulaweb.
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.
Domande frequenti
Quali libri consiglia il prof. Riccardo Camerlo per Logica?
Palladino – Corso di Logica; Palladino – Logica e teorie formalizzate; Palladino – Logica e teorie formalizzate
Quali libri consiglia il prof. Riccardo Camerlo per Algebra e Logica per Informatica?
Frigeri – Logica e algebra