Recherche en cours
Par mots-clef
=
langage formel
Affiner ma recherche
Imprimer
Flux RSS
Titre
Titre
Date
Auteur
Afficher 12
Afficher 12
Afficher 24
Afficher 36
Afficher 48
Afficher 60
Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
3
résultats
section 1-1
sur 1
résultats
1 à 3
Canal-u.fr
CoNeCo: Concurrency, Networks and Coinduction
Description
:
In recent years, concurrent Kleene algebra (CKA), an extension of Kleene Algebra (KA) that includes concurrent composition as a first-class citizen, has been proposed by Hoare et al. as a setting to study the algebraic properties of concurrent composition as an operator on programs. Orthogonally, b ...
Date
:
16-05-2019
Format
:
video/mp4
Auteur
:
Silva Alexandra
Thème
:
Mathématiques, Informatique
Type de la ressource pédagogique
:
cours / présentation
Niveau
:
master, doctorat
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 quantificate ...
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
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 : com ...
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
Afficher section
2
sur 1