Libri UniversitariPalladino – Logica e teorie formalizzate
Libro adottato a Genova, a.a. 2026/2027 · 1 canale
«Palladino – Logica e teorie formalizzate» è adottato per Logica dal prof. Riccardo Camerlo (Filosofia – Genova).
Palladino – Logica e teorie formalizzateCerca su Amazon ›
Come lo indica il docente: D. Palladino. Logica e teorie formalizzate, Carocci
- Titolo
- Logica e teorie formalizzate
- Autori
- Dario Palladino
- Editore
- Carocci, 2004
- ISBN
- 9788843029006
Chi lo adotta
- Logica – Prof. Riccardo Camerlo (canale unico)Filosofia · Laurea triennale (L-5) · 2º anno · 1º semestre · 9 CFU
Programma e testi di ogni canale
Logica – Prof. Riccardo Camerlo 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 formalizzatequesto libroCerca 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 formalizzatequesto libroCerca 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.