:: Logica Matematica ::
Quanto ti è piaciuta la materia?
|
Come ti è sembrato il corso?
|
|
Docente: Valentina Ciriani
Materiale ufficiale
Appunti
Valentina Ciriani spiega a noi la logica, e noi si cerca di capirne qualcosa...:)
Gli appunti possono essere presentati anche in formato wiki-oso, ma c'è il problema della rappresentazione delle formule e delle dimostrazioni di logica naturale e sequenti... Per questo, in attesa della trasformazione di tali formule in immagini attachabili, mettiamo su i PBF (pdf ben formati) ed i files in formato LyX.
- Deduzione Naturale: pdf - lyx
- Calcolo dei Sequenti: pdf - lyx
- Logica dei predicati: pdf - lyx
Esercizi
Gli esercizi proposti dalla professoressa (presi direttamente dagli appelli) li trovate a questo link: Esercizi Studenti.
Nota: è necessario il login e vengono caricati dalla docente man mano che vengono svolti dagli studenti.
Esercizi Libro:
Capitolo 1 - Logica Proposizionale
- Ex 1.3 Pag.31:
(svolti i punti 2/4/5/6/9)
pdf - lyx
- Ex 1.16 Pag.33:
(svolti i punti 1/2/3/4)
pdf - lyx
- Ex 1.17 Pag.34:
pdf - lyx
Capitolo 2 - Sistemi Deduttivi
- Ex 2.2 Pag.75:
(svolti i punti 2/3/4/6/9/10)
pdf - lyx
- Ex 2.5 Pag.75:
(svolti i punti 2/4/5/6)
pdf - lyx
- Ex 2.6 Pag.76:
(svolti i punti 1/2/3/4)
pdf - lyx
- Ex 2.10 Pag.76:
pdf - lyx
- Ex 2.11 Pag.77:
(svolti i punti 1/2/3/4)
pdf - lyx
Capitolo 4 - Logica dei Predicati
- Ex 4.2 Pag.130:
(svolti i punti 1/2/3/4)
pdf - lyx
- Ex 4.3 Pag.130:
pdf - lyx
- Ex 4.5 Pag.130:
(svolti i punti 1/2/3/4/5/6/7/8)
pdf - lyx
- Ex 4.8 Pag.131:
(svolti i punti 1/2)
pdf - lyx
- Ex 4.11 pag 132
pdf - lyx
- Ex 4.15 Pag.132:
(svolti i punti 1/2/3)
pdf - lyx
- Ex 4.17 Pag.132:
pdf - lyx
- Esercitazione 14 - Formalizzazione:
pdf - lyx
- Esercitazione 14 - sequenti:
pdf - lyx
Capitolo 6 - Metodo di Risoluzione
- Esercitazione 16 - Ex1 [Modello di Herbrand]:
pdf - lyx
- Esercitazione 16 - Ex2 [Algoritmo Herbrand, Metodo di Risoluzione]:
pdf - lyx
- Esercitazione 16 - Ex3 [Metodo di Risoluzione, Metodo di Refutazione]:
pdf - lyx
- Ex 6.2 Pag.217:
pdf - lyx
- Ex 6.7 Pag.218:
pdf - lyx
- Ex 6.9 Pag.219:
pdf - lyx
- Ex 6.13 Pag.219:
(svolti i punti 1/4)
pdf - lyx
- Ex 6.14 Pag.219:
pdf Δ - lyx Δ
- Ex 6.16 Pag.219:
pdf Δ - lyx Δ
Appelli d'Esame
Li trovate nella pagina della Ciriani, allo stesso indirizzo degli esercizi:
Appelli
Raccolta delle domande di teoria
Eccola qui!
LyX
UniCrema | Primo Semestre | Complementari o magistrale
