Get started with custom lists to organize and share courses.

Sign up

Class Central is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

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

Université Paris-Saclay via France Université Numerique

0 Reviews 8 students interested

Taken this course? Share your experience with other students. Write review

Overview

Ce MOOC est 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.

L'utilisation des ordinateurs a forcé à formaliser complètement les problèmes à résoudre; la logique joue un rôle central dans les problèmes de spécification et de vérification des programmes. Du fait d'un lien surprenant entre les preuves et les programmes, la logique est aussi la base de la compréhension des calculs. Plus concrètement, la logique a été à l'origine d'avancées technologiques comme les langages de requêtes dans les bases de données. Beaucoup d'autres liens fondamentaux peuvent être évoqués: avec les circuits, avec la complexité, avec les jeux, avec la linguistique, etc. La logique est omniprésente en informatique.

Après la première partie traitait de calcul propositionnel, cette seconde partie aborde la logique du premier ordre. Aussi appelé calcul des prédicats, c'est le langage dans lequel on exprime la plupart des mathématiques, mais aussi un grand nombre d'applications de la logique en informatique. Retrouvez l'équipe enseignante, ses puzzles favoris et le fameux entscheindungsproblem, pour découvrir la richesse de ce langage!

 

 

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

Taught by

Hubert Comon

Reviews for France Université Numerique's Introduction à la logique informatique - Partie 2 : calcul des prédicats
Based on 0 reviews

  • 5 star 0%
  • 4 star 0%
  • 3 star 0%
  • 2 star 0%
  • 1 star 0%

Did you take this course? Share your experience with other students.

Write a review

Class Central

Get personalized course recommendations, track subjects and courses with reminders, and more.

Sign up for free

Never stop learning Never Stop Learning!

Get personalized course recommendations, track subjects and courses with reminders, and more.