LEGO (logiciel)
- LEGO (logiciel)
-
LEGO (1994) est un assistant de preuve interactif, implémenté par Randy Pollack.
Il implémente plusieurs systèmes de types :
- le Logical Framework d'Edimbourg
- le calcul des constructions
- le calcul des constructions généralisé
- la théorie unifiée des types dépendants
Les preuves sont développées dans le style de la déduction naturelle. La synthèse d'argument et le polymorphisme permettent de rendre la formalisation proche des mathématiques informelles.
Liens et documents externes
Wikimedia Foundation.
2010.
Contenu soumis à la licence CC-BY-SA. Source : Article LEGO (logiciel) de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
Lego Digital Designer — Développeur Lego Group (Lego Design by Me) Dernière version … Wikipédia en Français
Lego (homonymie) — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. LEGO (logiciel) est un assistant de preuve. LEGO est une société danoise fabriquant des jeux dont la ligne de produits la mieux connue est fondée sur des… … Wikipédia en Français
Lego Mindstorms NXT — est un jeu de construction et de robotique présenté par Lego en 2006. Il succède à la gamme Lego Mindstorms RCX. En 2010, Mindsorms NXT en est à sa version 2.0. Sommaire … Wikipédia en Français
LEGO Mindstorms — Le RCX version 1.0 Les Lego Mindstorms sont un projet du groupe Lego basé sur la brique « RCX » (Robotics Command System). La première brique RCX a été commercialisée en 1998. En 2006, Lego a annoncé une seconde génération de Lego… … Wikipédia en Français
LEGO — Pour les articles homonymes, voir lego (homonymie). Logo de Lego Création … Wikipédia en Français
LEGO Mindstorms™ NXT — Lego Mindstorms NXT Le Mindstorm NXT Le NXT est la seconde version du robot Mindstorms fabriqué par Lego. La première version étant le Lego Mindstorms RCX. La particularité de ce robot est qu il est accessible à tous et que sa programmation est… … Wikipédia en Français
Lego Mindstorm NXT — Lego Mindstorms NXT Le Mindstorm NXT Le NXT est la seconde version du robot Mindstorms fabriqué par Lego. La première version étant le Lego Mindstorms RCX. La particularité de ce robot est qu il est accessible à tous et que sa programmation est… … Wikipédia en Français
Lego Mindstorms™ NXT — Lego Mindstorms NXT Le Mindstorm NXT Le NXT est la seconde version du robot Mindstorms fabriqué par Lego. La première version étant le Lego Mindstorms RCX. La particularité de ce robot est qu il est accessible à tous et que sa programmation est… … Wikipédia en Français
Lego Mindstorms — La brique RCX version 1.5 La brique NXT … Wikipédia en Français
Liste d'extensions de fichiers — Sommaire 1 A 2 B 3 C 4 D 5 E 6 … Wikipédia en Français
Pour les articles homonymes, voir lego (homonymie).
