magistraleinformatica:mpp:start
Gestore Media
Categorie
Scegli il namespace
Selezione dei file
File in magistraleinformatica:mpp
- 2025-09-16_-_01_-_intro.pdf
- 22/09/2025 alle 20:01 (3 settimane fa)
- 17.1 MB
- 2025-09-18_-_02_-_semantics.pdf
- 22/09/2025 alle 20:02 (3 settimane fa)
- 8.8 MB
- 2025-09-19_-_03_-_unification.pdf
- 22/09/2025 alle 20:02 (3 settimane fa)
- 9.2 MB
- 2025-09-23_-_04_-_logic.pdf
- 02/10/2025 alle 12:23 (12 giorni fa)
- 12.2 MB
- 2025-09-25_-_05a_-_induction.pdf
- 02/10/2025 alle 12:24 (12 giorni fa)
- 19 MB
- 2025-09-26_-_05b_-_more_induction.pdf
- 02/10/2025 alle 12:25 (12 giorni fa)
- 17 MB
- 2025-09-30_-_05c_-_rule_induction.pdf
- 02/10/2025 alle 12:34 (12 giorni fa)
- 7.7 MB
- 2025-10-02_-_06_-_equivalence.pdf
- 02/10/2025 alle 12:29 (12 giorni fa)
- 7.3 MB
- 2025-10-02_-_07_-_recursion.pdf
- 02/10/2025 alle 12:30 (12 giorni fa)
- 5.9 MB
- 2025-10-07_-_08a_-_cpo.pdf
- 10/10/2025 alle 22:43 (4 giorni fa)
- 14.1 MB
- logo-van-gogh-like.png
- 1024×1024
- 07/09/2025 alle 11:22 (5 settimane fa)
- 2.3 MB
File
magistraleinformatica/mpp/start.txt · Ultima modifica: 10/10/2025 alle 22:45 (4 giorni fa) da Roberto Bruni