Wikiversità

Materia:Logica matematica: differenze tra le versioni

Naviga nella cronologia in modo interattivo
← Differenza precedenteDifferenza successiva →
Contenuto cancellato Contenuto aggiunto
VisualeWikitesto
mNessun oggetto della modifica
m riordino indice
Riga 23:
|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.
Estratto da "https://it.wikiversity.org/wiki/Materia:Logica_matematica"