Examen intra
Devoirs
-
Devoir 1
-- Mes solutions -
Devoir 2
-- Mes solutions -
Devoir 3 [à remettre avant vendredi midi trente, aucun retard permis]
-- devoir3-plan.mch (fichier exemple pour ProB)
-- Mes solutions (pdf)
-- Mes solutions (Pro-B)
-
Devoir 4
-- Mes solutions (pdf)
-
Devoir 5
-- Mes solutions, Q1 et Q2 (pdf)
-- Mes solutions, Q3 (pdf)
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
Partie logique-
Logique propositionnelle et du premier ordre (mises à jour le 23 janvier)
-
Satisfaisabilité et autres
-
Arbres de preuve
-
Ensembles (version de 2023)
-
Relations (mis à jour le 20 février)
-
Fonctions
-
Sujets de l'intra
-
Preuves en maths discrètes
-
Preuves par induction (mises à jour le 26 février)
-
Preuves d'inégalités
-
Automates [mises à jour le 9 avril]
-
Minimisation d'AFD
-
Sujets du final
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
-
7. Exercices sur les automates
-- Mes solutions (partielles)
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