- userLoginStatus
Logica e Algebra
Synthetic program:Relazioni ed applicazioni: Relazioni binarie, loro proprieta, chiusura di una relazione rispetto a un dato insieme di proprieta. Relazioni di equivalenza e partizioni, insieme quoziente. Relazioni dordine. Applicazioni suriettive, iniettive e biunivoche ed esistenza dellapplicazione inversa, kernel di una applicazione, teorema di fattorizzazione delle applicazioni. Cardinalita di un insieme: teorema di Cantor. Strutture algebriche: definizioni ed esempi, proprieta elementari delle principali strutture algebriche, sottostrutture, relazioni di congruenza e strutture quozienti, omomorfismi. Logica delle proposizioni: sintassi e semantica, sistemi formali. Teoremi di deduzione, correttezza e completezza. Logica del I ordine: il linguaggio della logica del I ordine, termini e formule sintatticamente corrette. Interpretazione, formule insoddisfacibili, soddisfacibili, vere e logicamente valide. Forme normali prenesse. Sistemi formali: correttezza e completezza. Esempi di teorie del primo ordine.
Lecture Notes
Complete course:
| Type | File name | Year |
|---|---|---|
| Handwritten notes | Complete course notes | 2019/2020 |
| Handwritten notes | Summary of the course | 2019/2020 |
| Handwritten notes | Complete course notes | 2012/2013 |
| Handwritten notes | Complete course notes - part 1 | 2009/2010 |
| Handwritten notes | Complete course notes - part 2 | 2009/2010 |
Divided by topic:
| Type | File name | Year |
|---|---|---|
| Digital notes | Complementi sulle strutture algebriche | 2018/2019 |
| Digital notes | Formulario | 2018/2019 |
| Digital notes | Linguaggio del primo ordine | 2018/2019 |
| Digital notes | Logica proposizionale | 2018/2019 |
| Digital notes | Relazioni e funzioni di algebra | 2018/2019 |
| Digital notes | Strutture algebriche | 2018/2019 |
| Digital notes | Strutture algebriche | 2018/2019 |
Other:
| Type | File name | Year |
|---|---|---|
| File not available... | ||
Exercises
Complete course:
| Type | File name | Year |
|---|---|---|
| Handwritten notes | Exercises of the course | 2019/2020 |
| Handwritten notes | Exercises of the course | 2012/2013 |
| Handwritten notes | Exercises of the course - Part 1 | 2009/2010 |
| Handwritten notes | Exercises of the course - Part 2 | 2009/2010 |
Divided by topic:
| Type | File name | Year |
|---|---|---|
| File not available... | ||
Other:
| Type | File name | Year |
|---|---|---|
| File not available... | ||
Exams
First partial exam:
| Type | Date |
|---|---|
| Text and solution | 07/07/2016 |
| Text and solution | 08/05/2015 |
| Text and solution | 09/05/2014 |
| Text and solution | 02/05/2011 |
Second partial exam:
| Type | Date |
|---|---|
| Text and solution | 07/07/2016 |
| Text and solution | 10/07/2015 |
| Text and solution | 01/07/2013 |
| Text and solution | 06/07/2011 |
Full exam:
Oral exam:
| Type | Date | |
|---|---|---|
| File not available... | ||
Multiple choice test:
| Type | Date | |
|---|---|---|
| File not available... | ||
Other:
| File name | ||
|---|---|---|
| File not available... | ||
Other
Laboratory:
| File name | Year |
|---|---|
| Laboratory 02/12/2019 | 2018/2019 |
| Laboratory 07/07/2016 | 2015/2016 |
| Laboratory 10/07/2015 | 2014/2015 |
| Laboratory 24/07/2014 | 2013/2014 |
| Laboratory 27/05/2010 | 2009/2010 |
Projects:
| File name | Year | |
|---|---|---|
| File not available... | ||
Presentations:
| File name | Year | |
|---|---|---|
| File not available... | ||
Collections of notes, exercises or exams:
| File name | Year |
|---|---|
| Collection of first partial exams 2005-2010 | |
| Collection of full exams 2000-2010 | |
| Collection of Second partial exams 2009-2010 |
Tables:
| File name | Year | |
|---|---|---|
| File not available... | ||
Etc:
| File name | Year |
|---|---|
| Formulas | |
| Theoretical questions & answers |
Live
Quick daily notes, exercises and audio recordings. Files will be approved on priority but deleted after 365 days. 2 points will be assigned by default.
Quick contents:
| File name | Date | |
|---|---|---|
| File not available... | ||
Give your contribution by sharing your notes, exercises and exam topics!
You can also participate in the contest and win Amazon vouchers.
