3 résultats : langage formel

Recherche en cours

Par mots-clef = langage formel

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.

3 résultats

page 1 sur 1

résultats 1 à 3

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

Droits : Attribution - Partage dans les mêmes conditions (CC BY-SA)

Cours de logique

Ajouter à mon panier

Accéder au document

Introduction à la logique

Description : Ce cours a pour but d'introduire la notion de logique en programmation. Voici les notions abordées : * définition de la logique, * calcul des propositions (si ... et ... alors...), * les preuves, * le calcul des prédicats, * la logique intuitionniste * le lambda-calcul.

Mots clés : logique, langage formel, algèbre Boole, calcul proposition, algorithme de décision, preuve, calcul prédicat, logique intuitionniste, lambda calcul, fuscia

Date : 01-09-2009

Droits : Ressource en accès libre.

Introduction à la logique

Ajouter à mon panier

Accéder au document

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

Mots clés : théorie des langages, langage formel, compilation, langage de programmation, automate fini, grammaire syntagmatique, analyseur, calculabilité

Date : 01-09-2011

Droits : Ressource libre d'accès, propriété conjointe des auteurs et de l'établissement d'appartenance.

Rebondir