Ressource en auto-formation : Logique formelle et programmation logique

Cours présentant les éléments fondamentaux de la logique classique en vue de modéliser le raisonnement, de le formaliser et de l’automatiser. L’objectif de cet enseignement est de conduire l’élève à maîtriser le processus de démonstration automatique pour les problèmes résolubles dans ce cadre. Il s...
cours / présentation, exercice - Création : 04-02-2008
Par : Stéphane Lengrand
Partagez !

Présentation de: Logique formelle et programmation logique

Informations pratiques sur cette ressource

Langue du document : Français
Type : cours / présentation, exercice
Niveau : enseignement supérieur, licence, bac+3
Langues : Français
Contenu : texte, image
Public(s) cible(s) : apprenant
Document : Document HTML, Document PDF
Droits d'auteur : pas libre de droits, gratuit
Ressource libre d'accès, propriété conjointe de l'auteur et de l'établissement d'appartenance.

Description de la ressource en auto-formation

Résumé

Cours présentant les éléments fondamentaux de la logique classique en vue de modéliser le raisonnement, de le formaliser et de l’automatiser. L’objectif de cet enseignement est de conduire l’élève à maîtriser le processus de démonstration automatique pour les problèmes résolubles dans ce cadre. Il se présente donc comme un cours sur les fondements logiques de l’Intelligence Artificielle.

  • Granularité : cours
  • Structure : collection

"Domaine(s)" et indice(s) Dewey

  • Logic programming (005.115)

Domaine(s)

Informations pédagogiques

  • Activité induite : apprendre

Intervenants, édition et diffusion

Intervenants

Créateur(s) de la métadonnée : UNIT

Édition

  • École Supérieure Informatique Électronique Automatisme

Diffusion

Partagez !

AUTEUR(S)

  • Stéphane Lengrand
    ESIEA

DIFFUSION

Cette ressource en auto-formation vous est proposée par :
UNIT - accédez au site internet
Sur les réseaux sociaux :

ÉDITION

École Supérieure Informatique Électronique Automatisme

EN SAVOIR PLUS

  • Identifiant de la fiche
    http://ori.unit-c.fr/uid/unit-ori-wf-1-5123
  • Identifiant OAI-PMH
    oai:www.unit.eu:unit-ori-wf-1-5123
  • Schéma de la métadonnée
  • Entrepôt d'origine
    UNIT
  • Publication
    04-02-2008

Ressources en auto-formation sur les mêmes thèmes

Présentation de la ressource en auto-formation Du rêve à la réalité des preuves cours / présentation, démonstration
08/06/2012
Du rêve à la réalité des preuves
Auteur(s) : Delahaye Jean-Paul
Description : Les ordinateurs ne savent pas prouver seuls des théorèmes profonds. Cependant, grâce aux assistants de preuve, ils garantissent les démonstrations découvertes par les mathématiciens.
Présentation de la ressource en auto-formation La vérité et la machine cours / présentation, démonstration
30/09/2009
La vérité et la machine
Auteur(s) : Werner Benjamin
Description : Peut-on être sûr de la vérité d’une preuve ? Cette preuve de la preuve, comment l’obtenir en pratique ? La vérification formelle de démonstration est de plus en plus utilisée par les mathématiciens.