Materia:Logica matematica: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Riga 27:
=== Programma ===
Incompleto!!! Il capitolo sul calcolo sintattico e quello sulla teoria della calcolabilità ssi rivolgono agli studenti con interessi fondazionali o in teoria della dimostrazione.
==== Strumenti minimi di teoria degli insiemi ====
Ordinali, cardinali
==== Linguaggi del prim'ordine ====
Riga 39:
Sottostrutture, sottostrutture elementari. Immersioni parziali, mappe elementari. Il test di Tarski-Vaught il teorema di Löwenheim-Skolem
Esempi: ordini lineari
==== Calcolo sintattico ====
====
Filtri, ultrafiltri,
==== Il teorema di compattezza ====
Tre dimostrazioni: derivato dal teorema di completezza;
Gli assiomi di Zermelo-Fraenkel.
▲==== Teoria della calcolabilita ====
==== Teoria della calcolabilità ====
Le funzioni primitive calcolabili, le funzioni calcolabili. Gli insiemi semicalcolabili. Il problema della terminazione.
== Materiale di studio==
=Lezioni=
| |||