Libri UniversitariLogica – prof. Riccardo Camerlo
Filosofia · Università degli Studi di Genova · 2º anno · 1º semestre · 9 CFU · canale unico
Libri del canale
Logica 9 CFU
Il docente indica 3 testi · da studiare tutti
Palladino – Logica e teorie formalizzateDa studiare: Capitolo 1.5 per la definizione della semantica della logica dei predicatiVerificato sulla scheda ufficiale il 04/10/2026
Palladino – Logica e teorie formalizzateDa 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.
Apri nel catalogo: Filosofia, 2º anno, tutte le materie e i canali ›
Testi d'esame di Logica del prof. Riccardo Camerlo, canale unico, corso di laurea in Filosofia (Laurea triennale (L-5)), Università degli Studi di Genova, 2º anno · 1º semestre · 9 CFU, a.a. 2026/2027. Libri adottati: Palladino – Corso di Logica; Palladino – Logica e teorie formalizzate.
Altre materie del prof. Camerlo
- Algebra e Logica per Informatica · Informatica · 1º anno · tutto l'anno (semestre non indicato) · 12 CFU