Rechercher une ressource pédagogique : langage formel

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
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
01.09.2011
Théorie des langages
Description : Ce cours vise à définir de façon rigoureuse ce que sont les langages, à trouver des moyens de les spécifier et des techniques pour reconnaître si un mot appartient à un langage, ainsi qu'éventuellement sa structure. Ces techniques sont utilisées dans les outils les plus courants du programmeur : ...
  • théorie des langages
  • langage formel
  • compilation
  • langage de programmation
  • automate fini
  • grammaire syntagmatique
  • analyseur
  • calculabilité