Devoirs
-
Devoir 1
-- Mes solutions -
Devoir 2 (V2, mis à jour le 31 janvier)
-- Mes solutions -
Devoir 3
-- devoir3-plan.mch (fichier exemple pour ProB)
-- Mes solutions (sur papier)
-- Mes solutions (ProB)
-
Devoir 4
-- Mes solutions (mis à jour le 11 avril) -
Devoir 5
-- Mes solutions (dessins pour Q1, Q2.a,b,c)
-- Mes solutions (preuves pour Q2.d et Q3)
Notes de cours
-
Notes de cours (écrites par Marc Frappier)
-- avec solutions -
Tableaux des lois de la logique
-
Règles de déductions (pour arbres de preuve)
-
Tables des syntaxes avec ProB
Export des cours magistraux
-
Logique propositionnelle et du premier ordre (mis à jour le 18 janvier)
-
Modèles, satisfaisabilité, et autres (24 janvier)
-
Arbres de preuve (31 janvier)
-
Ensembles (14 février)
-
Fonctions (14 février)
-
Techniques de preuve (mis à jour le 21 mars)
-
Preuves avec inégalités
-
Automates (mis à jour le 11 avril)
Automates partie II : minimisation (mis à jour le 11 avril)
-
Contenu du final
Exercices
-
Exercices avec Tarski-UdeS
-- Solutions (format json, à importer dans Tarski-UdeS)
-- ERRATUM: il y a une erreur au numéro 6 des solutions, ce devrait être "not (SameCol(x, y) & SameRow(x, y))"
-- merci à la personne qui me l'a signalé!
-
Exercices en logique propositionnelle et premier ordre (mis à jour le 17 janvier à 14h25)
-- Mes solutions (#2,3,4, mises à jour le 19 janvier)
-
Exercices sur les ensembles et relations [v2, mis à jour le 14 février]
-- exos-famille.mch (fichier .mch pour ProB)
-- Solutions sur papier [v2, mis à jour le 14 février]
-- Solutions ProB
-
Exercices sur les preuves en maths discrètes (mis à jour le 21 mars, inégalités)
-- Solutions (mises à jour le 21 mars)
-
Exercices sur automates
-- Solutions partielles
-- Je vous laisse les questions à défi, venez me voir si vous voulez les solutions.
-- Pour la déterminisation et la minimisation, voir les notes de Marc)
Logiciels et autres
- Tarski-UdeS
-
Panda
-- Installation de panda (fichier texte, téléchargez puis ouvrez pour voir les accents)
-- Notes d'utilisation (fichier texte)
-
ProB et ses dépendences:
Installez d'abord Active Tcl: Installation
Puis ProB: Installation
- Symboles logique en Word