|
|<
<< Page précédente
1
Page suivante >>
>|
|
documents par page
|
Tri :
Date
Editeur
Auteur
Titre
|
|
Interprétation : fonctions, prédicats et connecteurs
/ Sorbonne Université, UNIT
/ 10-01-2020
/
JAUME Mathieu, Mounier Isabelle
Voir le résumé
Voir le résumé
Ce cours est le troisiè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 le schéma d'interprétation des formules logiques sans variables à partir de la signification donnée aux symboles de fonctions et de prédicats, ainsi qu'aux connecteurs logiques. Mot(s) clés libre(s) : formule logique, interprétation d'une formule, formule atomique, expression booléenne, formule satisfiable, relation de conséquence sémantique, formule valide, formule prouvable
|
Accéder à la ressource
|
|
Langages logiques
/ Sorbonne Université, UNIT
/ 10-01-2020
/
JAUME Mathieu, Mounier Isabelle
Voir le résumé
Voir le résumé
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 Mot(s) clés libre(s) : langage logique, logique des propositions, calcul prédicat, langage sans variable, formule atomique, quantificateur, formule logique avec variables, substitution dans une formule
|
Accéder à la ressource
|
|
|<
<< Page précédente
1
Page suivante >>
>|
|
documents par page
|