• M1 IHS (Double Compétence, Informatique et Sciences Sociales)

Mathématiques pour l'informatique :

• Une présentation PowerPoint du cours (première partie):

• [1- Logique booléenne-1] : « The Laws of Thought »
• [2- Logique booléenne-2] : approche système formel
• [3- Logique booléenne-3] : simplification d’expressions booléennes
• [4- Logique booléenne-4] : logique propositionnelle - 1
• [5- Logique booléenne-5] : logique propositionnelle – 2 et théorie des ensembles

Techniques d’analyse des langages :

• Une présentation PowerPoint du cours:

[1- Mots, langages et expressions régulières ]

[2- Automates à Etats Finis ]

[3- Grammaires ]

[4- Automates à pile ]

[5- Analyse descendante] (fichier .ppt)
+ [ le cours ]

• Licence MIASS
• Une Présentation PowerPoint du cours sur « Calculabilité et décidabilité »
• [leçon 1 ]: Calculabilité et Décidabilité
• [leçon 2 ]: Mots, langages et expressions régulière
• [leçon 3 ]: Automates à Etats Finis
• [leçon 4 ]: Déterminisation des Automates à Etats Finis Non-Déterministes
• [leçon 5 ]: Grammaires
• [leçon 6 ]: Automates à pile
• [leçon 7]: Machines de Turing
• [leçon 8]: Problème de l'arrêt des machines de Turing

nouveau : UE INF F5 – partie « calculabilité et décidabilité »

• [1^er cours ]: Calculabilité et Décidabilité : introduction
• [2^ème cours ]: Machines de Turing

• M1 ICPS – Modèles pour le Traitement Automatique des Langues
• Une Présentation PowerPoint du cours  Méthodes pour le TAL
• [ introduction][le cours]
• [ Structures de traits et unification]
• [ Introduction au modèle HPSG ]
• new : [Modèles pour le TAL - 2006]

• M1 ICPS – Logique et Résolution de Problèmes, partie 2
• Une Présentation PowerPoint du cours  Logiques non classiques et applications au domaine des Systèmes Multi-Agents
• new : [introduction]
• [Logiques modales et épistémiques]