Menu
Mon panier
1
Naviguer par :
Menu
Accueil
Nos ressources
Recherche avancée
Par thème
Par compétence
Par auteur
Toutes les ressources
Vous êtes ici :
Accueil
Par auteur
M
MOUNIER ISABELLE
Déposer une
ressource
6
résultats :
MOUNIER ISABELLE
Rechercher
Aide
Recherche avancée
Recherche en cours
Par auteur
=
MOUNIER ISABELLE
Affiner ma recherche
OK
1
1
Retour
Imprimer
Flux RSS
Titre
Titre
Date
Auteur
Afficher 10
Afficher 5
Afficher 10
Afficher 15
Afficher 20
Afficher 25
Afficher 30
Afficher 35
Afficher 40
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
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
Droits
:
Attribution - Partage dans les mêmes conditions (CC BY-SA)
En savoir plus
Description complète
Langages logiques
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Ajouter à mon panier
Accéder au document
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
Droits
:
Attribution - Partage dans les mêmes conditions (CC BY-SA)
En savoir plus
Description complète
Règles de déduction sur les connecteurs
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Ajouter à mon panier
Accéder au document
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
Droits
:
Attribution - Partage dans les mêmes conditions (CC BY-SA)
En savoir plus
Description complète
Cours de logique
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Ajouter à mon panier
Accéder au document
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
Droits
:
Attribution - Partage dans les mêmes conditions (CC BY-SA)
En savoir plus
Description complète
Interprétation : fonctions, prédicats et connecteurs
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Ajouter à mon panier
Accéder au document
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
Droits
:
Attribution - Partage dans les mêmes conditions (CC BY-SA)
En savoir plus
Description complète
Règles de déduction sur les quantificateurs
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Ajouter à mon panier
Accéder au document
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
Droits
:
Attribution - Partage dans les mêmes conditions (CC BY-SA)
En savoir plus
Description complète
Interprétation : variables et quantificateurs
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Ajouter à mon panier
Accéder au document
1
Rebondir