CURRENT TEACHING ACTIVITIES

Compilation - Université de Nice Sophia Antipolis

Teaching : Compilation
Full page display
Location :
Université de Nice Sophia Antipolis
Level : L3
Type : TD
Hours : 36h
Period : 2014-2015
Other text :
All material concerning the cours is available at the link above.

Histoire de l'informatique - Université de Nice Sophia Antipolis

Teaching : Histoire de l'informatique
Full page display
Location :
Université de Nice Sophia Antipolis
Level : L1
Type : CM, TD
Hours : 30h CM + 10h TD
Period : 2014-2015
Other text :
All material concerning the cours is available at the link above.

Informatique Générale - Université de Nice Sophia Antipolis

Teaching : Informatique Générale
Full page display
Location :
Université de Nice Sophia Antipolis
Level : L1
Type : CM, TD, TP
Hours : 18h CM + 18h TD + 18h TP
Period : 2014-2015
Syllabus :
  1. Introduction to computer science
  2. Mathematical induction
  3. Propositional logic
  4. Representation of numbers (integers, floating point)
  5. Finite state automata and regular expressions
  6. Turing Machines
Other text :
All material concerning the cours is available at the link above.

ARCHIVES

Algoritmi e strutture dati - Università di Bologna

Teaching : Algoritmi e strutture dati
Full page display
Location :
Università di Bologna
Level : L2
Type : TD
Hours : 30h
Period : 2008-2009

Formal languages for modeling and simulation in integrative biology - Université d'Evry Val d'Essonne

Teaching : Formal languages for modeling and simulation in integrative biology
Full page display
Location :
Université d'Evry Val d'Essonne
Level : M2
Type : CM
Hours : 12h
Period : 2013-2014

Informatica generale - Università di Bologna

Teaching : Informatica generale
Full page display
Location :
Università di Bologna
Level : L1
Type : CM
Hours : 30h
Period : 2005-2007

Logica Matematica - Università di Urbino

Teaching : Logica Matematica
Full page display
Location :
Università di Urbino
Level : L1
Type : CM, TD
Hours : 48h
Period : 2007-2010

Logica Matematica - Università di Bologna

Teaching : Logica Matematica
Full page display
Location :
Università di Bologna
Level : L2
Type : TD
Hours : 20h
Period : 2007-2010

Logique - Université d'Evry Val d'Essonne

Teaching : Logique
Full page display
Location :
Université d'Evry Val d'Essonne
Level : L2
Type : TD
Hours : 20h
Period : 2012-2013

Programmation orientée objets - Université d'Evry Val d'Essonne

Teaching : Programmation orientée objets
Full page display
Location :
Université d'Evry Val d'Essonne
Level : L1
Type : TP
Hours : 20h
Period : 2012-2013

Programmazione - Università di Bologna

Teaching : Programmazione
Full page display
Location :
Università di Bologna
Level : L1
Type : TP
Hours : 50h
Period : 2005-2008

Systèmes de Gestion de Bases de données - Université d'Evry Val d'Essonne - L3 Informatique

Teaching : Systèmes de Gestion de Bases de données
Full page display
Location :
Université d'Evry Val d'Essonne - L3 Informatique
Level : L3
Type : CM
Hours : 19h
Period : 2013-2014

Systèmes de Gestion de Bases de données - Université d'Evry Val d'Essonne - L3 apprentissage

Teaching : Systèmes de Gestion de Bases de données
Full page display
Location :
Université d'Evry Val d'Essonne - L3 apprentissage
Level : L3
Type : CM
Hours : 20
Period : 2013-2014

Verification - Université d'Evry Val d'Essonne

Teaching : Verification
Full page display
Location :
Université d'Evry Val d'Essonne
Level : M1
Type : CM
Hours : 24h
Period : 2013-2014