Cours de logique

Auteur(s) : Mathieu JAUME, Isabelle Mounier    2020-01-10,  2020-01-10  Éditeur(s) : Sorbonne Université   Sorbonne Université, UNIT   UNIT;     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 Accès à la ressource : http://www.unit.eu/cours/logique-SorbonneU/... Conditions d'utilisation : Attribution - Partage dans les mêmes conditions (CC BY-SA)

DONNEES PEDAGOGIQUES Type pédagogique : lecture, self assessment, exercise, liste de références Granularité : 4 Niveau : higher education, licence Public cible : learner Langue de l'apprenant : fre DONNEES TECHNIQUES Format : text/html

Exporter au format XML