Istituzioni di Logica Matematica

Matematica – sede di Fisciano · Università degli Studi di Salerno · esame facoltativo · canale unico

Libri del canale

Istituzioni di Logica Matematica

?Docente non indicato Canale unico

Il docente indica 1 testo

Smith – Godel without tears, logic mattersVerificato sulla scheda ufficiale il 03/10/2026

Cerca su Amazon ›

Bacheca del docente: cosa indica di studiare

S. Burris, h. P. Sankappanavar. A course on universal algebra. (disponibile gratuitamente online)
T. Moraschini. The algebra of logic, dispense del corso disponibili online.

Argomenti del programma: 1. I teoremi di incompletezza di Godel (circa 16 ore). 2. Elementi di base di algebre universale (circa 6 ore). 3. Varietà e quasi-varietà. I teoremi di Birkhoff e Maltsev (circa 6 ore). 4. Logiche ed operatori di chiusura (circa 6 ore). 5. Logiche algebrizzabili e la costruzione di Lindembaum-Tarski (circa 6 ore). 6. Esempi di logiche algebrizzabili: logica modale e/o logica di Lukasiewicz (circa 8 ore).

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

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

Testi d'esame di Istituzioni di Logica Matematica, canale unico, corso di laurea in Matematica – sede di Fisciano (Laurea magistrale (LM-40)), Università degli Studi di Salerno, esame facoltativo, a.a. 2026/2027. Libri adottati: Smith – Godel without tears, logic matters.

Vedi anche: Istituzioni di Logica Matematica a Salerno (tutti i canali)