Smith – Godel without tears, logic matters

Name: Smith – Godel without tears, logic matters
Author: Smith

Libro adottato a Salerno, a.a. 2026/2027 · 1 canale

«Smith – Godel without tears, logic matters» è adottato per Istituzioni di Logica Matematica (Matematica – sede di Fisciano – Salerno).

Smith – Godel without tears, logic mattersCerca su Amazon ›

Come lo indica il docente: P. Smith. Godel without (too many) tears, logic matters, cambridge (disponibile gratuitamente online)

Chi lo adotta

Istituzioni di Logica Matematica – docente non ancora indicato (canale unico)Matematica – sede di Fisciano · Laurea magistrale (LM-40) · esame facoltativo / 1º anno · 2º semestre · 6 CFU

Programma e testi di ogni canale

Istituzioni di Logica Matematica 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 mattersquesto libroCerca 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.