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 1 martedì 5 novembre
Lavagna 1 martedì 5 novembre
Per visualizzare il file, fai click su questo link:
Lezione 01.pdf
◄ Esercizi su ricorsività
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 2 mercoledi 6 novembre
Lavagna 3 giovedì 7 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 2 mercoledi 6 novembre ►