|
|
Corsi impartiti nell'anno accademico 2023/2024
Languages and Algorithms for Artificial Intelligence (Module 1), Laurea Magistrale in Artificial intelligence, I year, first semester (in English).
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:
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
|
