Mathematical Logic – Trento

Università di Trento · Dipartimento di Matematica · tutti i canali con docenti e libri, a.a. 2026/2027

Prof. Stefano Baratella Canale unico

Corso di laurea: Mathematics – sede di Trento · Laurea magistrale (LM-40) · 2º anno · 1º semestre · 6 CFU / 1º anno · 1º semestre · 6 CFU

Trento · Dipartimento di Matematica · 6 CFU · apri nel catalogo · Mathematics – sede di Trento · 2º anno · 1º semestre ›

Il docente indica 2 testi · da studiare tutti

van Dalen – Logic and Structure Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026

Dalen – Logic and structure Cerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026

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.

Mathematical Logic negli altri atenei

Mathematical Logic – Statale di Milano