Logique pour l’informatique — Ensimag 1A Alternance
Supports de cours
- Transparents du cours
- Fiche aide-mémoire numéro 1 (logique propositionnelle, définitions de base)
- Fiche aide-mémoire numéro 2 (formes normales, systèmes formels)
- Fiche aide-mémoire numéro 3 (logique du premier ordre)
- Fiche d’aide à la traduction des phrases en français vers des formules logiques
- Liste des règles du système de Fitch