Introduction à la logique informatique - Partie 2 : calcul des prédicats - ENS Cachan - Université Paris Saclay
Formation
En Ligne
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
Date de début
À 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.
Les Avis
Les exploits du centre
Les matières
- Logique
- Calcul
- Syntaxe
- F-algèbres
- Sémantique
Le programme
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
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