UNIT

Sommaire

cours / présentation, autoévaluation, exercice, liste de références

Cours de logique

Ensemble de 5 cours de l'enseignement de logique du cursus de Licence Informatique de Sorbonne Universités. Cours 1 : Langages logiques Cours 2 : Règles de déduction sur les connecteurs Cours 3 : Interprétation : fonctions, prédicats et connecteurs Cours 4 : Règles de déduction sur les quantificate...

Date de création :

10.01.2020

Auteur(s) :

Mathieu JAUME, Isabelle Mounier

Accéder à la ressource :

Présentation

Informations pratiques

Langue du document : Français
Type : cours / présentation, autoévaluation, exercice, liste de références
Niveau : enseignement supérieur, licence
Langues : Français
Contenu : texte, image, son
Public(s) cible(s) : apprenant
Document : Document HTML
Droits d'auteur : libre de droits, gratuit
Attribution - Partage dans les mêmes conditions (CC BY-SA)

Description de la ressource

Résumé

Ensemble de 5 cours de l'enseignement de logique du cursus de Licence Informatique de Sorbonne Universités. Cours 1 : Langages logiques Cours 2 : Règles de déduction sur les connecteurs Cours 3 : Interprétation : fonctions, prédicats et connecteurs Cours 4 : Règles de déduction sur les quantificateurs Cours 5 : Interprétation : variables et quantificateurs

  • Granularité : module
  • Structure : collection

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

  • Logique mathématique (Logique symbolique) (511.3)
  • Logique (contrefactuels, logique des questions, modalité, négation, propositions, raisonnement, science du raisonnement, tables de vérité, vérité) (160)

Domaine(s)

  • Principes généraux
  • Généralités, philosophie, théorie des mathématiques
  • Mathématiques inductives déductives
  • 160

Intervenants, édition et diffusion

Édition

  • Sorbonne Université
  • UNIT

Diffusion

Cette ressource vous est proposée par :UNIT - accédez au site internetUNIT - accédez au site internet

Document(s) annexe(s)

Fiche technique

Identifiant de la fiche : http://ori.unit-c.fr/uid/unit-ori-wf-1-7377
Identifiant OAI-PMH : oai:www.unit.eu:unit-ori-wf-1-7377
Schéma de la métadonnée : oai:uved:Cemagref-Marine-Protected-Areas
Entrepôt d'origine : UNIT

Publication : 10.01.2020

langage logique
langage formel
langage de termes
formule atomique
quantificateur
règle de déduction
connecteur
interprétation d'une formule
expression booléenne

Voir aussi

UNIT
UNIT
10.01.2020
Interprétation : variables et quantificateurs
Description : Ce cours est la cinquième et dernière séquence d'une série de 5 cours de l'enseignement de logique du cursus de Licence Informatique de Sorbonne Universités. Il étend les notions présentées dans le troisième cours en présentant les schémas d'interprétation d'un langage logique avec variables et ...
  • interprétation d'un langage logique avec variables
  • règle d'introduction du quantificateur
  • interprétation des termes
  • schéma d'interprétation des formules
  • formule valide
  • relation de conséquences
UNIT
UNIT
10.01.2020
Interprétation : fonctions, prédicats et connecteurs
Description : Ce cours est le troisième d'une série de 5 cours de l'enseignement de logique du cursus de Licence Informatique de Sorbonne Universités. Il présente le schéma d'interprétation des formules logiques sans variables à partir de la signification donnée aux symboles de fonctions et de prédicats, ainsi ...
  • formule logique
  • interprétation d'une formule
  • formule atomique
  • expression booléenne
  • formule satisfiable
  • relation de conséquence sémantique
  • formule valide
  • formule prouvable