Logo EHESS

baobab
Base de données des enseignements et séminaires de l'EHESS

[CA5] Cours avancé de logique

  • Jacques Dubucs, chargé de recherche au CNRS ( Hors EHESS )

    Cet enseignant est référent pour cette UE

S'il s'agit de l'enseignement principal d'un enseignant, le nom de celui-ci est indiqué en gras.

Voir calendrier: http://sapience.dec.ens.fr/cogmaster/calendrier/

Pré-requis :
Les étudiants doivent être familiers avec la logique classique du premier ordre (calcul propositionnel, calcul des prédicats,etc.).

Description :
Au terme du cours, les étudiants auront acquis les connaissances suivantes :

  • Une carte générale de la logique, de ses méthodes et de ses applications ;
  • Des notions précises de théorie de la calculabilité et de la démonstration (machines de Turing, algorithmes, théorèmes d'incomplétude de Gödel) et des rudiments relatifs à la calculabilité "en pratique" (speed-up, complexité) ;
  • La sémantique des mondes possibles et son usage pour modéliser des situations et des problèmes: formalisation des attitudes propositionnelles, des situations de connaissance dans les groupes (coopération épistémique, common knowledge, annonces publiques) et des conditionnels contrefactuels ;
  • Les approches formelles de la rationalité : panorama des solutions contemporaines à la question de l'omniscience logique, raisonnement en situation d'incertitude (logique et probabilité, continuum des méthodes inductives), conditionnalisation bayésienne, updating et révision, lien avec la théorie de la décision.

Intervenants : Jacques Dubucs, Eric Raidl (TD)

Suivi et validation pour le master : Hebdomadaire semestriel (33 h + TD = 6 ECTS)

Suivi et validation pour le master : Spécial (mention Sciences cognitives) : cf. le descriptif

Mentions & spécialités :

Intitulés généraux :

Renseignements :

secrétariat du Cogmaster.

Niveau requis :

ouvert aux étudiants du master de Sciences cognitives (Cogmaster) ; aux doctorants souhaitant valider des séminaires de master dans le cadre de leur thèse ; aux étudiants extérieurs au Cogmaster, sous réserve de compatibilité avec leur cursus d'origine. 

Site web : http://www.cogmaster.net

Adresse(s) électronique(s) de contact : mastere(at)cogmaster.net

Dernière modification de cette fiche par le service des enseignements (sg12@ehess.fr) : 4 juillet 2016.

Contact : service des enseignements ✉ sg12@ehess.fr ☎ 01 49 54 23 17 ou 01 49 54 23 28
Réalisation : Direction des Systèmes d'Information
[Accès réservé]