Sławek Staworko - AIL'17

Intelligence Artificielle par la Logique 2017 (1er semestre)

Responsable du cours : Sławek Staworko

Bibliographie :

Materiel :

TD :

  1. Logique des propositions : tables de vérité
  2. Logique des propositions : calcul propositionnel
  3. Logique des propositions : preuves
  4. Logique des propositions : revision [correction des exercises 2, 3 et 4]
  5. Programmation logique
  6. Datalog [correction]
  7. Combinatoire