Materia:Logica matematica: differenze tra le versioni

m
riordino indice
mNessun oggetto della modifica
m (riordino indice)
|programma=
===Lezioni===
|titolo=* [[logica_matematicaLogica_matematica/Introduzione|Introduzione]]
{{cassetto3b
Gli insiemi e la logica nella pratica non formale della matematica.
|titolo=[[logica_matematica/Introduzione|Introduzione]]
 
|testo=
|titolo=* [[Logica_matematica/Calcolo_delle_proposizioni|Calcolo delle proposizioni]]
#[[Insiemi, proposizioni e predicati|Insiemi proposizioni e predicati]]
Definizioni per il calcolo delle proposizioni.
#[[Strumenti minimi di teoria degli insiemi|Strumenti minimi di teoria degli insiemi]]
 
#[[Ordinali, cardinali, induzione transfinita]]}}
{{cassetto3b
|titolo=[[Logica_matematica/Calcolo_delle_proposizioni|Calcolo delle proposizioni]]
|testo=
#[[logica_matematica/Il linguaggio formale delle proposizioni|Il linguaggio formale delle proposizioni]]}}
* [[Linguaggi del primo ordine|Linguaggi del primo ordine]]
Le strutture ed i linguaggi del primo ordine. Termini, formule, insiemi definibili. Enunciati, teorie.
83

contributi