Ressource pédagogique : Interprétation : variables et quantificateurs
Mots-clés :
cours / présentation, autoévaluation, exercice, liste de références - Date de création : 10-01-2020
Présentation de: Interprétation : variables et quantificateurs
Informations pratiques sur cette ressource
Langue du document : Français
Type pédagogique : cours / présentation, autoévaluation, exercice, liste de références
Niveau : enseignement supérieur, licence
Langue de l'apprenant : 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 pédagogique
Description (résumé)
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 quantificateurs du premier ordre et définit l'ensemble des formules valides de ce langage.
- 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)
Thème(s)
Intervenants, édition et diffusion
Éditeur(s)
-
Sorbonne Université
Voir toutes les ressources pédagogiques -
UNIT
Voir toutes les ressources pédagogiques
Diffusion
Document(s) annexe(s) - Interprétation : variables et quantificateurs
- Cette ressource fait partie de
AUTEUR(S)
-
Mathieu JAUME
Sorbonne Université -
Isabelle Mounier
Sorbonne Université
ÉDITION
Sorbonne Université
UNIT
EN SAVOIR PLUS
-
Identifiant de la fiche
http://ori.unit-c.fr/uid/unit-ori-wf-1-7387 -
Identifiant
oai:www.unit.eu:unit-ori-wf-1-7387 -
Schéma de la métadonnée
- LOMv1.0
- LOMFRv1.0
- SupLOMFRv1.0
- Voir la fiche XML
-
Entrepôt d'origine
-
Date de publication
10-01-2020