Règles de déduction sur les quantificateurs (en Français)
URL d'accès :  http://www.unit.eu/cours/logique-SorbonneU/co/sequ... Droits : Attribution - Partage dans les mêmes conditions (CC BY-SA) Auteur(s) : Mathieu JAUME, Isabelle Mounier Éditeur(s) : Sorbonne Université, UNIT 10-01-2020 Description : Ce cours est le quatriè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 les règles de la déduction naturelle permettant de manipuler des formules contenant des quantificateurs. Mots-clés libres : système de la déduction naturelle, règle d'introduction du quantificateur, règle d'élimination, quantification universelle, quantification existentielle	TECHNIQUE Type : lecture, self assessment, exercise, liste de références Format : text/html
	Entrepôt d'origine :  Identifiant : oai:www.unit.eu:unit-ori-wf-1-7385 Type de ressource : Ressource documentaire

Exporter au format XML

Règles de déduction sur les 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-7385 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 le quatriè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 les règles de la déduction naturelle permettant de manipuler des formules contenant des quantificateurs. Mots-clés libres : système de la déduction naturelle, règle d'introduction du quantificateur, règle d'élimination, quantification universelle, quantification existentielle 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-7385 Type de ressource : Ressource pédagogique

Exporter au format XML