Rechercher une ressource pédagogique : formule logique

Le moteur de recherche des ressources pédagogiques donne accès à un ensemble de documents mis à disposition par l'Université Numérique, les établissements d'enseignement supérieur et Canal U. Vous y trouverez des productions universitaires dans l'ensemble des domaines de formation.

FILTRES

2 résultats
section 1 sur 1
résultats 1 à 2
UNIT
UNIT
10.01.2020
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 ...
  • formule logique
  • interprétation d'une formule
  • formule atomique
  • expression booléenne
  • formule satisfiable
  • relation de conséquence sémantique
  • formule valide
  • formule prouvable
UNIT
UNIT
10.01.2020
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
  • langage logique
  • logique des propositions
  • calcul prédicat
  • langage sans variable
  • formule atomique
  • quantificateur
  • formule logique avec variables
  • substitution dans une formule