Materia:Logica matematica: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m modifiche |
Nessun oggetto della modifica |
||
Riga 3:
{{Avanzamento|00%|Materia|23 febbraio 2008}}
{{Materia|15
|corso1=Matematica▼
|corso2=Filosofia▼
|dip=Matematica
|ssd=MAT/01
▲|corso1=Matematica
▲|corso2=Filosofia
|presentazione=
[[Immagine:Pythagorean proof.svg | center| 300px]]
Line 19 ⟶ 20:
===Prerequisiti===
Esperienza con la pratica del ragionamento matematico. Il modulo sul calcolo sintattico e quello sulla teoria della calcolabilità si rivolgono agli studenti con interessi fondazionali o in teoria della dimostrazione.
|programma=
===Lezioni===
{{cassetto3b
* [[Strumenti minimi di teoria degli insiemi|Strumenti minimi di teoria degli insiemi]]▼
|titolo=Introduzione non formale alla logica matematica
Ordinali, cardinali, induzione transfinita.▼
|testo=
#[[Insiemi, proposizioni e predicati|Insiemi proposizioni e predicati]]
* [[Linguaggi del primo ordine|Linguaggi del primo ordine]]
Le strutture ed i linguaggi del primo ordine. Termini, formule, insiemi definibili. Enunciati, teorie.
| |||