Logique et Formalisation du Raisonnement cours de DEA partie II -Logiques Non Classiques - IMAG Accéder directement au contenu
Cours Année : 1998

Logique et Formalisation du Raisonnement cours de DEA partie II -Logiques Non Classiques

Résumé

Cette partie du cours "Logique et Formalisation du Raisonnement" du D.E.A. Informatique, Systèmes et Communications de l'ENSIMAG et de l'Université Joseph Fourier (1998/1999) présente différentes logiques qui modélisent des aspects particuliers du raisonnement. Par oppositionà la logique classique (du premier ou du second ordre) qui prétend davantageà l'universalité (et cela a un coût, par exemple l'indécidabilité), les logiques non-classiques qui seront présentées ontété conçues pour un type d'applications bien défini. Dans la suite on supposera connue la sémantique de la logique classique du premier ordre et du calcul propositionnel. Diverses références bibliographiques sont fournies le long du cours. Il n'est absolumment pas nécessaire de les consulter car le cours aété conçu pourêtre auto-suffisant. Cependant, pour ceux qui désirent quelques approfondissements ou qui préfèrent comprendre le coursà partir d'autres sources, consulter les références peut s'avérer utile. 1. p ⇒ q est toujours vrai si p est insatisfaisable;
Fichier principal
Vignette du fichier
DEA9899.pdf (275.6 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03201332 , version 1 (18-04-2021)

Identifiants

  • HAL Id : hal-03201332 , version 1

Citer

Stéphane Demri. Logique et Formalisation du Raisonnement cours de DEA partie II -Logiques Non Classiques. Master. Logique et Formalisation du Raisonnement, Grenoble, France. 1998, pp.27. ⟨hal-03201332⟩

Collections

UGA IMAG CNRS
69 Consultations
218 Téléchargements

Partager

Gmail Facebook X LinkedIn More