UniBo's logo
home
contact
teaching
publications
talks
 
Privacy policy
Università di Bologna
Dipartimento di Informatica — Scienza e Ingegneria
 
Simone Martini

Corsi impartiti nell'anno accademico 2016/2017

Fondamenti logici dell'informatica, Laurea Magistrale in Informatica, II anno, primo semestre, in collaborazione con il Prof. Claudio Sacerdoti Coen.
Informatica, Laurea in Matematica, I anno, secondo semestre.
Abilità informatiche, Corso di Laurea in Scienze Biologiche, primo semestre. Docente coordinatore del corso, tenuto parzialmente in e-learning attraverso il Sistema e-learning di ateneo.

Ricevimento Studenti: info

Opinioni degli studenti sulle attività didattiche: questionari

Scambi Erasmus+ di cui sono responsabile: informazioni.

Corsi impartiti in anni accademici precedenti:

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