Université de Nantes

Licence Informatique :

      S5I0200 : Logique pour l'Informatique

        Notes des cours : cours1  cours2 cours3 cours4 cours5

                                     cours 6  cours7 cours8 cours9 cours10

      S6I0100 : Fondements pour l'Informatique

        Notes des cours : cours1  cours2 cours3 cours4 cours5

                                     cours6  cours7 cours8 cours9 cours10 cours11

Master Informatique :

       Lambda calcul et systèmes de réécriture

        Notes des cours : cours1  cours2 cours3 cours4 cours5

       Acquisition de ressources linguistiques

        Notes des cours : cours1  cours2 cours3 cours4

       Histoire de la logique 

        Notes des cours : cours1  cours2

Université des Sciences Humaines à Moscou

      Programmation logique et Prolog (en russe)

       title  resume contents notes