Devoirs
-
Devoir 1
-- Mes solutions
-
Devoir 2
-- Mes solutions
-
Devoir 3
-- dev3-plan.mch
Mes solutions
-- Réponses sur papier
-- dev3-plan-sol.mch
-
Devoir 4
-- Mes solutions
-
Devoir 5
Notes de cours
- Notes de cours (écrites par Marc Frappier)
-
Tableaux des lois de la logique
-
Règles de déductions (pour arbres de preuve)
-
Tables des syntaxes avec ProB
Export de mes notes
Partie logique-
Logique propositionnelle et du premier ordre
-
Satisfaisabilité, cohérence et autres
-
Arbres de preuve
-
Ensembles et relations
-
Diapos sur les notations - Ensembles, relations, fonctions
-
Diapos sur les notations - Ensembles, relations, fonctions
Exercices
-
1. Exercices avec Tarski-UdeS
-- Mes solutions (format json, à importer dans Tarski-UdeS)
-
4. Exercices sur les arbres de preuve
-- Mes solutions (partielles)
-
5. Exercices sur les ensembles, relations et fonctions [mis à jour le 12 février, ajout du numéro 4]
-- exos-famille.mch (fichier .mch pour ProB)
-- Solutions sur papier
-- Solutions ProB
Logiciels et autres
-
Tarski-UdeS
-- Démo d'utilisation (format mp4) -
Panda
-- Installation de panda (fichier texte, téléchargez puis ouvrez pour voir les accents)
-- Notes d'utilisation (fichier texte)
-- Capsules vidéo d'utilisation: panda1 | panda2 | panda3 | panda4 | panda5
-
ProB et ses dépendences:
Il faut d'abord installer les librairies Active Tcl: Téléchargez ici (pour Windows) (fichier .pkg pour MacOS)
Puis installer ProB: Téléchargez ici
Pages officielles de ces logiciels: Active Tcl | ProB
-- Capsules vidéos d'utilisation: Installation | Utilisation sur exercices - Symboles logique en Word
- Centre entraide informatique