Libri UniversitariApri il catalogo

Libri di Mathematical Logic – prof. Stefano Baratella

Mathematics – sede di Trento · Università di Trento · 2º anno · 1º semestre · 6 CFU · canale unico

Libri del canale

Mathematical Logic 6 CFU

SBProf. Stefano Baratella Canale unico
van Dalen – Logic and StructureIl prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026
Cerca su Amazon ›
Dalen – Logic and structureVerificato sulla scheda ufficiale il 03/10/2026
Cerca su Amazon ›
Bacheca del docente: cosa indica di studiare

Argomenti del programma: I principali argomenti sono i seguenti. Logica proposizionale: connettivi, formule, semantica, regole di deduzione naturale, teorema di completezza. Logica dei predicati: quantificatori, formule, strutture, semantica, regole di deduzione naturale, teoremi di completezza e di compattezza. Introduzione alla teoria dei modelli e alle applicazioni della logica matematica a altre aree della matematica.

Apri la scheda ufficiale ›
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Apri nel catalogo: Mathematics – sede di Trento, 2º anno, tutte le materie e i canali ›

Testi d'esame di Mathematical Logic del prof. Stefano Baratella, canale unico, corso di laurea in Mathematics – sede di Trento (Laurea magistrale (LM-40)), Università di Trento, 2º anno · 1º semestre · 6 CFU, a.a. 2026/2027. Libri adottati: van Dalen – Logic and Structure; Dalen – Logic and structure.

Altre materie del prof. Baratella

Vedi anche: Prof. Stefano Baratella · Mathematical Logic a Trento (tutti i canali)