Cours de logique (en Français)
URL d'accès :  http://www.unit.eu/cours/logique-SorbonneU/... Identifiant de la fiche : http://ori.unit-c.fr/uid/unit-ori-wf-1-7377 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 : 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 quantificateurs Cours 5 : Interprétation : variables et quantificateurs Mots-clés libres : langage logique, langage formel, langage de termes, formule atomique, quantificateur, règle de déduction, connecteur, interprétation d'une formule, expression booléenne Structure : collection 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é : module 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 contient : Langages logiques Règles de déduction sur les connecteurs Interprétation : fonctions, prédicats et connecteurs Règles de déduction sur les quantificateurs Interprétation : variables et quantificateurs
	Entrepôt d'origine :  Identifiant : oai:www.unit.eu:unit-ori-wf-1-7377 Type de ressource : Ressource pédagogique

Exporter au format XML