6 résultats : MOUNIER ISABELLE

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
6 résultats
page 1 sur 1
résultats 1 à 6
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 : langage logique, logique des propositions, calcul prédicat, langage sans variable, formule atomique, quantificateur, formule logique avec variables, substitution dans une formule
Date : 10-01-2020
Droits : Attribution - Partage dans les mêmes conditions (CC BY-SA)
UNIT
Description : Ce cours est le deuxiè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 un ensemble de règles de déduction sur les connecteurs logiques permettant de prouver des formules
Mots clés : langage logique, représentation des preuves, axiome, règle d'affaiblissement, connecteur, logique classique, raisonnement par l'absurde
Date : 10-01-2020
Droits : Attribution - Partage dans les mêmes conditions (CC BY-SA)
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 quantifi ...
Mots clés : langage logique, langage formel, langage de termes, formule atomique, quantificateur, règle de déduction, connecteur, interprétation d'une formule, expression booléenne
Date : 10-01-2020
Droits : Attribution - Partage dans les mêmes conditions (CC BY-SA)
UNIT
Description : 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 ...
Mots clé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
Date : 10-01-2020
Droits : Attribution - Partage dans les mêmes conditions (CC BY-SA)
UNIT
Description : Ce cours est le quatriè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 les règles de la déduction naturelle permettant de manipuler des formules contenant des quantificateurs.
Mots clés : système de la déduction naturelle, règle d'introduction du quantificateur, règle d'élimination, quantification universelle, quantification existentielle
Date : 10-01-2020
Droits : Attribution - Partage dans les mêmes conditions (CC BY-SA)
UNIT
Description : Ce cours est la cinquième et dernière séquence d'une série de 5 cours de l'enseignement de logique du cursus de Licence Informatique de Sorbonne Universités. Il étend les notions présentées dans le troisième cours en présentant les schémas d'interprétation d'un langage logique avec variables et ...
Mots clés : interprétation d'un langage logique avec variables, règle d'introduction du quantificateur, interprétation des termes, schéma d'interprétation des formules, formule valide, relation de conséquences
Date : 10-01-2020
Droits : Attribution - Partage dans les mêmes conditions (CC BY-SA)