Le cours LINGI1101 Logiques et structures discrètes est inscrit au programme des étudiants SINF13BA, SINF1PM et FSA13BA avec une majeure en informatique.
En 2014-2015, le cours sera donné par Peter Van Roy et les séances d'exercices seront assurées par François Aubry.
Le cours sera donné en deux parties: la première partie sur la logique et la deuxième partie sur les structures discrètes sur Internet. Les livres du cours sont:
- Introductory Logic and Sets for Computer Scientists, by Nimal Nissanke (presque tout le livre).
- Networks, Crowds, and Markets: Reasoning About a Highly Connected World, by David Easley and Jon Kleinberg (quelques chapitres).
La première partie sera complémentée par des sujets et exercices plus avancés qui approfondissent le traitement du livre.
Ce cours a deux buts importants:
- Donner la motivation et l'intuition de la logique, pour que cette matière devienne véritablement utile pour les étudiants.
- Donner les concepts et les formalismes mathématiques nécessaires pour utiliser la logique à bon escient.
L'intuition est donc importante pour ce cours, mais néanmoins la connaissance des formalismes mathématiques reste essentielle. Le cours sera cotée sur les deux: intuitions (un tiers) et formalismes (deux tiers).
- Enseignant: Mattenet Lucía
- Enseignant: Van Roy Peter