|
|<
<< Page précédente
1
Page suivante >>
>|
|
documents par page
|
Tri :
Date
Editeur
Auteur
Titre
|
|
Cours de logique
/ Sorbonne Université, UNIT
/ 10-01-2020
/
JAUME Mathieu, Mounier Isabelle
Voir le résumé
Voir le résumé
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 Mot(s) clés libre(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
|
Accéder à la ressource
|
|
Interprétation : variables et quantificateurs
/ Sorbonne Université, UNIT
/ 10-01-2020
/
JAUME Mathieu, Mounier Isabelle
Voir le résumé
Voir le résumé
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 quantificateurs du premier ordre et définit l'ensemble des formules valides de ce langage. Mot(s) clés libre(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
|
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
|
|
Règles de déduction sur les connecteurs
/ Sorbonne Université, UNIT
/ 10-01-2020
/
JAUME Mathieu, Mounier Isabelle
Voir le résumé
Voir le résumé
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 Mot(s) clés libre(s) : langage logique, représentation des preuves, axiome, règle d'affaiblissement, connecteur, logique classique, raisonnement par l'absurde
|
Accéder à la ressource
|
|
|<
<< Page précédente
1
Page suivante >>
>|
|
documents par page
|
|