|
|
|
|
Corsi impartiti nell'anno accademico 2024/2025 Storia dell'Informatica e dei dispositivi di calcolo , Laurea in Informatica, secondo semestre.Informatica , Laurea in Matematica, I anno, secondo semestre. Ricevimento Studenti: info qui Opinioni degli studenti sulle attività didattiche: questionari Scambi Erasmus+ di cui sono responsabile: informazioni . Corsi impartiti in anni accademici precedenti: Languages and Algorithms for Artificial Intelligence (Module 1) , Laurea Magistrale in Artificial intelligence, I year, first semester (in English).Introduction to Algorithms and Programming , Laurea Magistrale in Artificial intelligence, I year, first semester (in English). Deep Learning, modelli matematici della visione e fisiologia , Collegio Superiore, secondo semester. Abilità informatiche , Corso di Laurea in Scienze Biologiche, primo semestre. Insegnamento in in e-learning attraverso Virtuale.unibo.it Programming , Laurea in Genomics. Fondamenti logici dell'informatica , Laurea Magistrale in Informatica. Linguaggi di programmazione , Laurea in Informatica. Algoritmi, Complessità, Crittografia , Collegio Superiore dell'Università di Bologna . Calcolo, simboli e intelligenza , Collegio Superiore dell'Università di Bologna . Complementi di linguaggi di programmazione , Laurea Magistrale in Informatica, secondo semestre. Logica, discorso e conoscenza: Logica classica , Collegio Superiore dell'Università di Bologna . Tipi nei linguaggi di programmazione , Laurea Magistrale in Informatica. Paradigmi di programmazione , Laurea in Informatica. Laboratorio di progettazione di sistemi software , Laurea in Informatica. Linguaggi di programmazione avanzati , Laurea Specialistica in Informatica, secondo semestre. Modulo di linguaggi funzionali. Logica, discorso e conoscenza: Calcolabilità , Collegio Superiore dell'Università di Bologna . Logic for computer scientists , Dottorato di Ricerca in Informatica dell'Università di Pisa . Logica matematica , Laurea in Informatica. Mutuato anche da Filosofia. Logica, discorso e conoscenza: Logica e verità , Collegio Superiore dell'Università di Bologna . Implicit Computational Complexity , Bertinoro International Spring School for Graduate Studies in Computer Science. Teaching material: first part ; second part ; third part . Guest lectures: Patrick Baillot 's slides ; Ugo Dal Lago 's slides . Preliminary Reading list for examination. Logica e Informatica: Quello che i calcolatori possono e non possono fare , Collegio Superiore dell'Università di Bologna . Fondamenti dell'informatica , Laurea in informatica, Udine Laboratorio di algoritmi e strutture dati , Laurea in informatica, Udine Informatica applicata alla didattica , Laurea in Scienze della formazione primaria, Udine Functional programming: foundations and applications , B.M. Birla Science Centre, Hyderabad, India Riduzione ottimale dei linguaggi funzionali , Dottorato in informatica, Udine Logica matematica , Laurea in Scienze dell'informazione, Pisa Teoria della dimostrazione , Dottorato in informatica, Pisa |
||||||||||||