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.

Sémantique des langages de programmation

Voir mes notes de révision.

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

About LSV

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