Ce cours présente les concepts fondamentaux en logique symbolique relatifs aux notions de langage, démonstration, algorithme et modèle.
Il s'appuie sur les supports de cours du Professeur Gilles Dowek incluant des videos et des transparents. Le cours suit le modèle pédagogique de la classe inversée.
Les videos sont actuellement accessibles de la page http://www.lsv.fr/~dowek/logique.html.
Certaines videos ne seront accessibles sur ecampus à cause de leur taille (> 680M) et donc la page http://www.lsv.fr/~dowek/logique.html nous sera bien utile aussi.
Avant chaque séance, il convient à chaque étudiant de regarder la video pour comprendre la leçon du jour.
La séance, débutant le mercredi à 14h30 et d'environ une heure, commence par un résumé du cours de 20 minutes par un(e) des étudiants qui a été désigné(e) la semaine précédente pour préparer le résumé.
Puis les étudiants sont invités à poser des questions relatives à la leçon du jour, des discussions pouvant s'en suivre. Si le temps le permet, des questions élémentaires liées à la compréhension de la leçon pourront être soumises aux étudiants.
- Enseignant: NICOLAS DUMANGE
- Enseignant: THEO VIGNON
- Enseignant responsable de l'UE: Stéphane Demri
Mise à niveau en Linux, programmation impérative (Python et C) et fonctionnelle (OCaml), rédaction (LaTeX) et réseau.
- Enseignant: STEFAN SCHWOON
- Enseignant responsable de l'UE: NICOLAS MARGULIES
- Enseignant: JEAN GOUBAULT
- Enseignant: THOMAS CHATAIN
- Enseignant: JEAN GOUBAULT
- Enseignant: Serge Haddad
- Enseignant: STEPHANE LE ROUX
- Enseignant: STEFAN SCHWOON
- Enseignant: Margot Catinaud
- Enseignant: JEAN GOUBAULT
- Enseignant: Julien Lamiroy
- Enseignant: NICOLAS MARGULIES
- Enseignant: PAUL ROBERT
- Enseignant: STEFAN SCHWOON
- Enseignant: MIHAELA SIGHIREANU
- Enseignant: STEFAN SCHWOON
- Enseignant: Arnaud Golfouse
- Enseignant: Armaël Gueneau
- Enseignant: Jacques-Henri Jourdan
- Enseignant: PAUL ROBERT
- Enseignant: MIHAELA SIGHIREANU