Vai al contenuto principale
Moodle community
Moodle Philosophy
Moodle Main Web Site
Moodle Docs
Società Italiana E-Learning
Associazione Italiana Utenti Moodle
Portale di Ateneo
iLearn homepage
HelpDesk
Crea Ticket
Italiano (it)
English (en)
Italiano (it)
Ospite (
Login
)
Istituzioni di Logica a.a. 2024-25
Home
Corsi
Anno accademico 2024/25
Laurea Magistrale a.a. 24/25
IdL25
Settimana VII (5-6-7 novembre)
Lavagna 3 giovedì 7 novembre
Lavagna 3 giovedì 7 novembre
Per visualizzare il file, fai click su questo link:
IdL_lezione03_2024-11-07.pdf
◄ Lavagna 2 mercoledi 6 novembre
Vai a...
Vai a...
Announcements
Pagina del corso (9 CFU) sul sito del CdL
Pagina del corso (6 CFU) sul sito del CdL
Elements of mathematical logic (Andretta)
Ricorsività e incompletezza (Motto Ros)
Dispense (Zambella)
Esercizi - exercises
Ricorsività
Esercizi su ricorsività
Lavagna 1 martedì 5 novembre
Lavagna 2 mercoledi 6 novembre
Lavagna 4 martedì 12 novembre
Lavagna 5 mercoledì 13 novembre
Lavagna 6 giovedì 14 novembre
Lavagna 7 martedì 19 novembre
Lavagna 8 mercoledì 20 novembre
Lavagna 9 giovedì 21 novembre
Lavagna 10 martedì 26 novembre
Lavagna 8 mercoledì 20 novembre
Lavagna 12 giovedì 28 novembre
Incompletezza
Esercizi su teorie formali per l'aritmetica
Lavagna 4 martedì 12 novembre ►