3
résultats :
langage formel
Rechercher
Aide
Recherche avancée
Recherche en cours
Par mots-clef
=
langage formel
Affiner ma recherche
OK
1
1
Imprimer
Flux RSS
Titre
Titre
Date
Auteur
Afficher 10
Afficher 5
Afficher 10
Afficher 15
Afficher 20
Afficher 25
Afficher 30
Afficher 35
Afficher 40
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
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)
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.
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.
1
Rebondir