Langages logiques

Auteur(s) : Mathieu JAUME, Isabelle Mounier    2020-01-10,  2020-01-10  Éditeur(s) : Sorbonne Université   Sorbonne Université, UNIT   UNIT;     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 Accès à la ressource : http://www.unit.eu/cours/logique-SorbonneU/co/sequ... 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é : 3 Niveau : higher education, licence Public cible : learner Langue de l'apprenant : fre DONNEES TECHNIQUES Format : text/html

Exporter au format XML