Skip to main content
L'X
  • Home
  • More
English ‎(en)‎
English ‎(en)‎ Español - Internacional ‎(es)‎ Français ‎(fr)‎
You are currently using guest access
Log in
L'X
Home
Expand all Collapse all
  1. INF412-2023
  2. Bloc 3 (5-6 Septembre) - Calculs des prédicats. Complétude.
  3. Cours 3

Cours 3

Completion requirements

Globalement: Grands théorèmes du calcul des prédicats. Complétude.

  • Transparents  en un seul fichier  (version imprimable 2x2)
  • Chapitres du polycopiés concernés: chapitre 5 et 6
You are currently using guest access (Log in)
Data retention summary
Get the mobile app
Powered by Moodle