- From www.fun-mooc.fr
Introduction à la logique informatique - Partie 2 : calcul des prédicats
Archived
МООК
fr
Французский
This content is rated 0 out of 5
You can't access an archived course
- Free Access
- Бесплатный сертификат
- Introductive Level
- Starts on 31 января 2016
- Ends on 14 февраля 2016
Course details
Syllabus
Semaine 1: introduction, syntaxe et F-algèbres
- introduction du cours
- syntaxe
- F-algèbres
Semaine 2: sémantique
- (F-P)-structures
- axiomes de l'égalité
- exemples de satisfaction
Semaine 3: Skolem et Herbrand
- forme prénexe
- skolémisation
- forme clausale
- théorème de Herbrand
Semaine 4: unification et résolution
- unification
- résolution
Semaine 5: calcul des séquents
- calcul des séquent LK1
- correction
- recherche de preuve
- complétude
Semaine 6: perspectives
- clauses de Horn
- programmation logique
- conclusion: ouvertures
Prerequisite
Ce cours s'adresse à un public large désireux de découvrir la logique informatique: professeurs de mathématiques, étudiants en licence, ingénieurs, etc.
Il est fortement recommandé d'avoir suivi la première partie du MOOC de logique informatique avant de suivre cette deuxième partie.
Dans son ensemble, ce cours ne suppose aucune connaissance spécifique préalable, mais s'adresse cependant à un public ayant une pratique du raisonnement mathématique. Il est souhaitable d'avoir le niveau L2 en mathématiques. Il n'y a aucun pré-requis en informatique.
Instructors
David Baelde
Maître de conférences à l'ENS Cachan et chercheur en preuve formelle et sécurité des protocoles au Laboratoire Spécification et Vérification.
Hubert Comon
Professeur à l'ENS Cachan et chercheur en logique et sécurité des protocoles au Laboratoire Spécification et Vérification.
Etienne Lozes
Maître de conférences à l'ENS Cachan et chercheur en logique des programmes et parallélisme au Laboratoire Spécification et Vérification.
Editor
L’Université Paris-Saclay a été conçue en 2019 pour développer à un niveau inédit en France le continuum des connaissances depuis les sciences fondamentales jusqu’aux sciences appliquées, mettant l’accent sur l’interdisciplinarité et l’ouverture sur le monde. Elle est l’héritière de l’université Paris-Sud-XI, créée le 1er janvier 1971 et son objectif est de faire avancer la connaissance sur les grands enjeux de société grâce à une recherche au plus haut niveau international. L’Université Paris-Saclay offre ainsi aux étudiants un cadre et un contenu de formation tournés vers l’avenir. Les interactions permanentes entre laboratoires et acteurs socio-économiques permettent de transformer des résultats d’une recherche de pointe en innovations.
Les dix-neuf institutions fondatrices apportent à l’Université Paris-Saclay les forces qui font leur réputation : lien étroit entre formation et recherche, laboratoires et grands instruments de recherche aux standards internationaux, réputation internationale des formations d’ingénieurs et de managers, cursus diversifiés de haut niveau.
Ce programme, doté par l’IDEX Paris-Saclay en appui des moyens mis par les partenaires, accompagne la création de MOOC et celle de SPOC pour les étudiants de l’Université, ainsi que pour des usages de formation continue vers le monde socio-économique avec lequel les contacts sont déjà forts.
Platform
France Université Numérique est le diffuseur des cours en ligne des établissements d’enseignement supérieur français et de leurs partenaires.
Il opère plusieurs plateformes de diffusion, dont la plus connue, FUN MOOC, est la première plateforme académique francophone mondiale. Grâce à de nombreux établissements partenaires, cette plateforme propose un vaste catalogue de cours s’enrichissant de jour en jour avec des thématiques variées et d’actualité.
This content is rated 4.5 out of 5
(no review)This content is rated 4.5 out of 5
(no review)Complete this resource to write a review