• contact@mooc-francophone.com

Introduction à la logique informatique – Partie 2 : calcul des prédicats

Introduction à la logique informatique - Partie 2 : calcul des prédicats

Le MOOC Introduction à la logique informatique – Partie 2 : calcul des prédicatsest la suite de Logique informatique, partie 1.

La logique servait surtout la philosophie et la théologie jusqu’au 19ème siècle. Elle est apparue de manière brutale et cruciale au tournant du 20ème siècle en mathématiques, avec les paradoxes et la question des fondements. Après le théorème de Gödel et la faillite du programme de Hilbert, la logique mathématique est devenue une partie spécialisée des mathématiques pures. Mais l’âge d’or de la logique arrive ensuite avec le développement de l’informatique.

Organisateur :

ENS Cachan

* MOOC Francophone est un service de mise en relation sans inscription et sans intermédiaire. Nous n’organisons aucun cours, le lien « Suivre le cours » vous redirige vers la page web des organisateurs. Les participants peuvent également évaluer ce cours en cliquant ici
  • icon

    Intervenant

    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.

  • icon

    Durée

    6  semaines
    Du 01 février au 28 mars 2016

  • icon

    Prérequis

    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.

  • icon

    Charge de travail

    2 heures / semaine

  • icon

    Coût

    Gratuit

  • icon

    Certification

    L’attestation de suivi avec succès FUN sera uniquement basée sur les réponses aux quizz.

  • icon

    Déroulement

    Ce cours se déroule sur six semaines. Chaque semaine, nous vous proposons:

    – environ quarante-cinq minutes de vidéos, découpées en deux à quatre segments ;
    – des quizz ;
    – des notes de cours, incluant des exercices d’approfondissement.

  • icon

    Programme

    Ce cours comportera à terme trois parties. Cette seconde partie portera sur la logique du premier ordre, et la troisième sur les théories axiomatiques.

    Semaine 1: introduction, syntaxe et F-algèbres

    1. introduction du cours
    2. syntaxe
    3. F-algèbres

    Semaine 2: sémantique

    1. (F-P)-structures
    2. axiomes de l’égalité
    3. exemples de satisfaction

    Semaine 3: Skolem et Herbrand

    1. forme prénexe
    2. skolémisation
    3. forme clausale
    4. théorème de Herbrand

    Semaine 4: unification et résolution

    1. unification
    2. résolution

    Semaine 5: calcul des séquents

    1. calcul des séquent LK1
    2. correction
    3. recherche de preuve
    4. complétude

    Semaine 6: perspectives

    1. clauses de Horn
    2. programmation logique
    3. conclusion: ouvertures
  • icon

    Plateforme

    France Université Numérique (FUN)
    Plate-forme nationale française et propriété du Ministère de l’Enseignement Supérieur et de la Recherche. Elle est basée sur la technologie Open edX du MIT et de Harvard.

Evaluer ce cours !

Votre avis participe à une dynamique constructive pour les prochains sessions

0 50 100 1
50%
Moyenne des votes Je participe !
fermer

Merci pour votre contribution. Votre avis est en attente de modération avant publication. Après validation, vos données seront anonymisées.

fermer

Taux de satisfaction

Votre perception du cours doit rester constructive. Nous encourageons un débat sain et constructif entre concepteurs de MOOC et utilisateurs. Les avis sont modérés avant publication et les données sont anonymisées après contrôle. Pour évaluer ce cours, cliquez sur le lien bleu - Je participe ! - et validez votre accord avec chacune des affirmations sur une échelle de 1 à 100. Merci de votre compréhension !

  • La durée des modules et le rythme de travail sont conformes à mes attentes.
    50%
  • Les ressources sont utiles et le contenu des modules est pertinent.
    50%
  • Les activités proposées facilitent la compréhension du cours
    50%
  • Les évaluations permettent de mesurer votre progression dans ce cours
    50%
  • Les échanges avec l’équipe pédagogique correspondent à vos besoins
    50%
  • Les interactions entre utilisateurs représentent une véritable valeur ajoutée
    50%
  • L’accès à la plateforme est simple, sa prise en main intuitive et la navigation facile
    50%

Pin It on Pinterest

Share This