Materia:Logica matematica: differenze tra le versioni

nessun oggetto della modifica
m (modifiche)
Nessun oggetto della modifica
{{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]]
===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]]
* #[[Strumenti minimi di teoria degli insiemi|Strumenti minimi di teoria degli insiemi]]
#[[Ordinali, cardinali, induzione transfinita.]]}}
* [[Linguaggi del primo ordine|Linguaggi del primo ordine]]
Le strutture ed i linguaggi del primo ordine. Termini, formule, insiemi definibili. Enunciati, teorie.
83

contributi