Évaluations
L’utilisation d’outils d’IA générative dans le cadre de ce cours est strictement interdite, sauf mention contraire.
Échéancier des rendus
| Description | Pondération | Échéance |
|---|---|---|
| Devoir 1 | 10% | Semaine 3 |
| Devoir 2 | 10% | Semaine 5 |
| Devoir 3 | 10% | Semaine 7 |
| Devoir 4 | 10% | Semaine 9 |
| Devoir 5 | 10% | Semaine 11 |
| Devoir 6 | 10% | Semaine 13 |
| Brouillon du rapport | 5% | Semaine 13 |
| Rapport | 15% | Semaine 15 |
| Présentation orale | 15% | Semaine 15 |
| Participation en classe | 5% | Toute la session |
Devoirs (60%)
- Il y aura six devoirs qui porteront sur les concepts vus en classe ou sur des concepts connexes.
- Chaque devoir aura une pondération de 60%.
- Environ deux semaines seront allouées pour faire chaque travail pratique.
Tous les devoirs sont à faire de façon individuelle. Certains problèmes des devoirs seront marqués comme assujettis à la politique du tableau noir. Cette politique encadre la collaboration sur les travaux pratiques afin de faciliter l’apprentissage tout en évitant le risque d’infraction académique. Elle doit être respectée. Elle stipule que:
- Après avoir essayé de son mieux de résoudre un problème assujetti à la politique du tableau noir de façon individuelle, il est permis d’en discuter à l’oral avec les autres étudiants inscrits au cours.
- Toute trace physique produite au cours de la discussion doit être effacée ou supprimée dès que la discussion se termine. Ne pas discuter des problèmes par moyens électroniques (Mattermost, Discord, courriel, SMS, etc.).
- Vous êtes obligés d’attendre un délai raisonnable (au moins deux heures) avant de rédiger le travail que vous remettrez afin d’assurer que le travail remis est le vôtre et qu’il reflète réellement votre compréhension.
- Vous devez indiquer les personnes avec qui vous avez collaboré ou discuté du problème.
| Disponible | Énoncé | Gabarit LaTeX | À remettre |
|---|---|---|---|
| le 25 janvier | Devoir 1 | Gabarit | le 8 février à 23h59 |
| le 05 février | Devoir 2 | Gabarit | le 15 février à 23h59 |
| le 22 février | Devoir 3 | Gabarit | le |
| le 03 mars | Devoir 4 | Gabarit | le 22 mars à 23h59 |
| le 27 mars | Devoir 5 | Gabarit | le 5 avril à 23h59 |
| le 14 avril | Devoir 6 | Gabarit | le |
Venez me voir pour les solutionnaires.
Modalités des devoirs
- Retards: 10% de la note sera retranché par jour de retard. Aucune remise ne sera acceptée après 48h de retard.
Participation active (5%)
Pour favoriser un environnement pédagogique interactif et dynamique, chaque personne étudiante est demandée de participer de façon active aux cours magistraux.
Projet (35%)
Il y a plusieurs thèmes en logique computationnelle que nous n’aurons pas le temps d’aborder de façon détaillée en classe. Pour approfondir ses connaissances dans l’un de ces sujets, chaque personne étudiante préparera un rapport sur un sujet de son choix et donnera un exposé oral (semaine 15, 15%). Elle devra soumettre son choix de sujet à l’approbation de l’enseignant au plus tard la 9e semaine. Pour permettre une rétroaction constructive et favoriser la réussite étudiante, un premier brouillon du rapport sera à remettre la semaine 13 (5%). Le rapport final (15%) sera à remettre la semaine 15.
Idées de sujets de projets
Voici une liste non exhaustive d’idées de projet:
- Jeux et preuves logiques PDF, PDF, PDF
- Réalisabilité
- Théorème de l’éventail (Fan theorem)
- Théorie des ensembles non bien fondés (applications au calcul)
- Logique adjointe PDF, PDF
- Calcul des séquents semi-axiomatique
- Diverses utilisations des relations logiques
- Mathématiques constructives liste d’idées
- Théorie des locales / topologie sans points
- Logique modale pour systèmes distribués
- Logique modale pour métaprogrammation
- Logique modale contextuelle pour métaprogrammation
- Types dépendents
- Voir les listes de chapitres des manuels dans la médiagraphie, par exemple PDF
- Sémantique Kripke pour la logique intuitionniste PDF
- Voir la bibliographie des notes de cours
Le rapport
Le rapport doit présenter un thème en logique computationnelle que nous n’avons pas abordé en classe. Il doit être accessible aux personnes inscrites aux cours. Je vous suggère d’envisager le rapport comme des notes de cours qui accompagneront votre présentation orale. Il doit être entre huit et dix pages (sans compter la bibliographie).
Le brouillon sera évalué selon cette grille d’évaluation. La version finale sera évaluée selon celle-ci. Elle évaluera aussi, entre autres, la qualité du texte écrit (grammaire, orthographe, etc.) et si vous avez tenu compte des commentaires qui vous ont été faits sur le brouillon.
La présentation
Les présentations seront d’une durée de 25 minutes et suivies de 5 minutes de questions par présentation. Les présentations et la participation à la simulation de conférence seront évaluées selon cette grille d’évaluation. Je vous invite à consulter les deux ressources suivantes pour vous aider à préparer votre présentation:
- How to Give a Great Research Talk, par Simon Peyton Jones
- How to Give Talks That People Can Follow, par Derek Dreyer