David Baelde

Cours pour l'option info en prépa agreg

L'emploi du temps est là.

Pour les autres infos générales sur la prépa, c'est ici.

Calcul propositionnel

Voir les notes de révision de S. Schmitz.

Systèmes de preuves

• Notes de révision de S. Schmitz
• Notes du cours de L3, en particulier:
  • syntaxe & sémantique du calcul des prédicats
  • calculs des séquents pour la logique du premier ordre
  • démonstration automatique et calcul des séquents
  • stratégies de résolution au premier ordre: Herbrand, complétude par les arbres sémantiques, stratégie ordonnée, clauses de Horn

Sémantique des langages de programmation

Voir mes notes de révision.

About LSV

• News
• People
• Research
• Seminars
• Teaching
• Contact