Libri UniversitariApri il catalogo

Badia – What is mathematical logic?

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

«Badia – What is mathematical logic?» è adottato per Logica Matematica dal prof. Carles Noguera Clofent (Matematica – sede di Siena – Siena).

Badia – What is mathematical logic?Cerca su Amazon ›

Come lo indica il docente: G. Badia, J.N. Crossley, J.C. Stillwell, What is mathematical logic?, Oxford University Press, 2025

Chi lo adotta

Programma e testi di ogni canale

Logica Matematica – Prof. Carles Noguera Clofent Canale unico

Corso di laurea: Matematica – sede di Siena · Laurea triennale (L-35) · 3º anno · 2º semestre · 9 CFU

Siena · Ingegneria dell'Informazione e Scienze Matematiche · 9 CFU · apri nel catalogo · Matematica – sede di Siena · 3º anno · 2º semestre ›

Badia – What is mathematical logic?questo libroCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Ben-Ari – Mathematical Logic for Computer ScienceCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Chang – Model TheoryCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Enderton – A Mathematical Introduction to LogicCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Hodges – Model TheoryCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Smith – The laws of truthCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Bacheca del docente: cosa indica di studiare
  • Dispense e slide fornite dal docente.

Argomenti del programma: 1. Logica proposizionale: Notazioni di base. Sintassi della logica proposizionale. Semantica della logica proposizionale classica. Forme normali congiuntive e disgiuntive. Conseguenza semantica. Teorema di deduzione. Teorema di compattezza. 2. Teoria della dimostrazione per la logica proposizionale: Sistema formale alla Hilbert per la logica proposizionale classica. Correttezza. Lemma di Lindenbaum.

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

Si studia insieme a