Introduction à la logique informatique - Partie 2 : calcul des prédicats - ENS Cachan - Université Paris Saclay

Formation

En Ligne

Gratuit

Appeler le centre

Avez-vous besoin d'un coach de formation?

Il vous aidera à comparer différents cours et à trouver la solution la plus abordable.

Description

  • Typologie

    Formation

  • Méthodologie

    En ligne

  • Dates de début

    Dates au choix

Ce MOOC est la suite de Logique informatique, partie 1. Le centre France Université Numerique présente le programme suivant pour améliorer vos compétences et vous permettre de réaliser vos objectifs. Au cours de cette formation vous pourrez voir différents modules et acquérir de nouvelles connaissances sur les différentes thématiques proposées. Inscrivez-vous afin de pouvoir accéder aux matières suivantes.

Les sites et dates disponibles

Lieu

Date de début

En ligne

Date de début

Dates au choixInscriptions ouvertes

À propos de cette formation

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.

Questions / Réponses

Ajoutez votre question

Nos conseillers et autres utilisateurs pourront vous répondre

À qui souhaitez-vous addresser votre question?

Saisissez vos coordonnées pour recevoir une réponse

Nous ne publierons que votre nom et votre question

Les Avis

Les exploits du centre

Ce centre a démontré ses qualités sur Emagister
7 ans avec Emagister

Les matières

  • Logique
  • Calcul
  • Syntaxe
  • F-algèbres
  • Sémantique

Le programme

Plan du cours

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

Appeler le centre

Avez-vous besoin d'un coach de formation?

Il vous aidera à comparer différents cours et à trouver la solution la plus abordable.

Introduction à la logique informatique - Partie 2 : calcul des prédicats - ENS Cachan - Université Paris Saclay

Gratuit