Interprétation : variables et quantificateurs (en Français)
URL d'accès :  http://www.unit.eu/cours/logique-SorbonneU/co/sequ... Identifiant de la fiche : http://ori.unit-c.fr/uid/unit-ori-wf-1-7387 Schéma de la métadonnée : LOMv1.0, LOMFRv1.0, SupLOMFRv1.0 Droits : libre de droits, gratuit Attribution - Partage dans les mêmes conditions (CC BY-SA) Auteur(s) : JAUME MATHIEU, MOUNIER ISABELLE Éditeur(s) : Sorbonne Université, UNIT 10-01-2020, 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 quantificateurs du premier ordre et définit l'ensemble des formules valides de ce langage. Mots-clés libres : 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 Structure : linéaire Classification UNIT :  Mathématiques > Fondamentaux Mathématiques > Mathématiques inductives déductives Classification :  Mathématiques et Sciences de la nature et de la matière > Mathématiques Philosophie et psychologie > Logique Indice(s) Dewey:   (511.3) Logique (contrefactuels, logique des questions, modalité, négation, propositions, raisonnement, science du raisonnement, tables de vérité, vérité) (160)	PEDAGOGIQUE Type pédagogique : cours / présentation, autoévaluation, exercice, liste de références Granularité : cours Niveau : enseignement supérieur, licence Public cible : apprenant Langue de l'apprenant : Français TECHNIQUE Type de contenu : texte, image, son Format : Document HTML RELATIONS Cette ressource fait partie de : Cours de logique
	Entrepôt d'origine :  Identifiant : oai:www.unit.eu:unit-ori-wf-1-7387 Type de ressource : Ressource pédagogique

Exporter au format XML