Istituzioni di Logica Matematica – Salerno

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

Docente non ancora indicato Canale unico

Corso di laurea: Matematica – sede di Fisciano · Laurea magistrale (LM-40) · esame facoltativo / 1º anno · 2º semestre · 6 CFU

Salerno · Dipartimento di Matematica · CFU · apri nel catalogo · Matematica – sede di Fisciano · 2º anno · 2º semestre ›

Il docente indica 1 testo

Smith – Godel without tears, logic matters Cerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026

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.

Istituzioni di Logica Matematica negli altri atenei

Istituzioni di Logica Matematica – Udine