Rechercher une ressource pédagogique : relation de conséquences

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
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 ...
  • 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