Rechercher une ressource pédagogique : langage 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

4 résultats
section 1 sur 1
résultats 1 à 4
UNIT
UNIT
10.01.2020
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 ...
  • langage logique
  • langage formel
  • langage de termes
  • formule atomique
  • quantificateur
  • règle de déduction
  • connecteur
  • interprétation d'une formule
  • expression booléenne
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
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
UNIT
UNIT
10.01.2020
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
  • langage logique
  • représentation des preuves
  • axiome
  • règle d'affaiblissement
  • connecteur
  • logique classique
  • raisonnement par l'absurde