3 résultats : 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
UNIT
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
Format : Document HTML
Auteur : JAUME Mathieu, Mounier Isabelle
Thème : Mathématiques, Logique
Type de la ressource pédagogique : cours / présentation, autoévaluation, exercice, liste de références
Niveau : enseignement supérieur, licence
Public : apprenant
Droits : Attribution - Partage dans les mêmes conditions (CC BY-SA)
UNIT
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
Format : Document HTML
Auteur : Pottier Loïc
Thème : Mathématiques
Type de la ressource pédagogique : cours / présentation
Niveau : enseignement supérieur, licence
Public : apprenant
Droits : Ressource en accès libre.
UNIT
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
Format : Document PDF
Auteur : Yvon François, Demaille Akim
Thème : Mathématiques, Informatique
Type de la ressource pédagogique : cours / présentation, exercice
Niveau : enseignement supérieur, licence
Public : apprenant, enseignant
Droits : Ressource libre d'accès, propriété conjointe des auteurs et de l'établissement d'appartenance.