2
résultats :
expression booléenne
Rechercher
Aide
Recherche avancée
Recherche en cours
Par mots-clef
=
expression booléenne
Affiner ma recherche
OK
1
1
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.
2
résultats
page 1
sur 1
résultats
1 à 2
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)
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)
1
Rebondir