Sommaire
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.2020Auteur(s) :
Mathieu JAUME, Isabelle MounierAccé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)
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 :
Document(s) annexe(s)
- Cette ressource fait partie de
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
- LOMv1.0
- LOMFRv1.0
- SupLOMFRv1.0
- Voir la fiche XML
Entrepôt d'origine : UNIT
Voir aussi
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
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