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

Langages logiques

Ce cours est le premier d'une série de 5 cours de l'enseignement de logique du cursus de Licence Informatique de Sorbonne Universités. Il présente les aspects syntaxiques des langages logiques ...

Date de création :

10.01.2020

Auteur(s) :

Mathieu JAUME, Isabelle Mounier

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é

Ce cours est le premier d'une série de 5 cours de l'enseignement de logique du cursus de Licence Informatique de Sorbonne Universités. Il présente les aspects syntaxiques des langages logiques

  • Granularité : cours
  • Structure : linéaire

"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-7379
Identifiant OAI-PMH : oai:www.unit.eu:unit-ori-wf-1-7379
Schéma de la métadonnée : oai:uved:Cemagref-Marine-Protected-Areas
Entrepôt d'origine : UNIT

Voir aussi

UNIT
UNIT
10.01.2020
Description : 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 quantifi ...
  • langage logique
  • langage formel
  • langage de termes
  • formule atomique
  • quantificateur
  • règle de déduction
  • connecteur
  • interprétation d'une formule
  • expression booléenne
UNIT
UNIT
10.01.2020
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