Langages logiques (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-7379 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 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 Mots-clés libres : langage logique, logique des propositions, calcul prédicat, langage sans variable, formule atomique, quantificateur, formule logique avec variables, substitution dans une formule 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-7379 Type de ressource : Ressource pédagogique

Exporter au format XML