6 résultats : JAUME MATHIEU

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
Langages logiques
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
Format : Document HTML
Auteur : JAUME Mathieu, Mounier Isabelle
Thème : Mathématiques, Logique
Type de la ressource pédagogique : cours / présentation, autoévaluation, exercice, liste de références
Niveau : enseignement supérieur, licence
Public : apprenant
Droits : Attribution - Partage dans les mêmes conditions (CC BY-SA)
UNIT
Règles de déduction sur les connecteurs
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
Format : Document HTML
Auteur : JAUME Mathieu, Mounier Isabelle
Thème : Mathématiques, Logique
Type de la ressource pédagogique : cours / présentation, autoévaluation, exercice, liste de références
Niveau : enseignement supérieur, licence
Public : apprenant
Droits : Attribution - Partage dans les mêmes conditions (CC BY-SA)
UNIT
Cours de logique
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
Format : Document HTML
Auteur : JAUME Mathieu, Mounier Isabelle
Thème : Mathématiques, Logique
Type de la ressource pédagogique : cours / présentation, autoévaluation, exercice, liste de références
Niveau : enseignement supérieur, licence
Public : apprenant
Droits : Attribution - Partage dans les mêmes conditions (CC BY-SA)
UNIT
Interprétation : fonctions, prédicats et connecteurs
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
Format : Document HTML
Auteur : JAUME Mathieu, Mounier Isabelle
Thème : Mathématiques, Logique
Type de la ressource pédagogique : cours / présentation, autoévaluation, exercice, liste de références
Niveau : enseignement supérieur, licence
Public : apprenant
Droits : Attribution - Partage dans les mêmes conditions (CC BY-SA)
UNIT
Règles de déduction sur les quantificateurs
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
Format : Document HTML
Auteur : JAUME Mathieu, Mounier Isabelle
Thème : Mathématiques, Logique
Type de la ressource pédagogique : cours / présentation, autoévaluation, exercice, liste de références
Niveau : enseignement supérieur, licence
Public : apprenant
Droits : Attribution - Partage dans les mêmes conditions (CC BY-SA)
UNIT
Interprétation : variables et quantificateurs
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
Format : Document HTML
Auteur : JAUME Mathieu, Mounier Isabelle
Thème : Mathématiques, Logique
Type de la ressource pédagogique : cours / présentation, autoévaluation, exercice, liste de références
Niveau : enseignement supérieur, licence
Public : apprenant
Droits : Attribution - Partage dans les mêmes conditions (CC BY-SA)