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 0 sur 1

résultats -9 à -8

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.

Théorie des langages

Ajouter à mon panier

Accéder au document

Rebondir