LCF

LCF
Commons-emblem-question book orange.svg
 Este artículo o sección necesita referencias que aparezcan en una publicación acreditada, como revistas especializadas, monografías, prensa diaria o páginas de Internet fidedignas.
Puedes añadirlas así o avisar al autor principal del artículo en su página de discusión pegando: {{subst:Aviso referencias|LCF}} ~~~~

LCF es un Demostración automática de teoremas interactivo desarrollado en la Universidad de Edimburgo y la Universidad de Stanford por Robin Milner y otros.

LCF introdujo el lenguaje de programación ML para permitir al usuario escribir tácticas de demostración. Los teoremas en LCF son proposiciones del tipo de dato abstracto teorema. El sistema de tipos de ML garantiza que solo proposiciones demostradas basadas en axiomas y reglas de inferencia tengan el tipo teorema.

Entre los sucesores de LCF están los demostradores de teoremas HOL e Isabelle.


Wikimedia foundation. 2010.

Игры ⚽ Поможем сделать НИР

Mira otros diccionarios:

  • LCF — es un demostrador de teoremas interactivo desarrollado en la Universidad de Edimburgo y la Universidad de Stanford por Robin Milner y otros. LCF introdujo el lenguaje de programación ML para permitir al usuario escribir tácticas de demostración.… …   Enciclopedia Universal

  • LCF — The term LCF may refer to:* Boeing 747 Large Cargo Freighter * Log control function * Longitudinal center of flotation * Launch control facility * Logic of Computable Functions * London College of Fashion * Low cycle fatigue * LCF theorem prover… …   Wikipedia

  • LCF — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. LCF est un sigle signifiant : En français: Ligue canadienne de football Ligue costumée francophone La chaîne du futur, télévision généraliste privée… …   Wikipédia en Français

  • LCF (télévision) — Création 2008 Langue Français, Éwé, Kabiyé Pays  Togo Statut …   Wikipédia en Français

  • LCF (theorem prover) — LCF (Logic for Computable Functions) is an interactive automated theorem prover developed at the universities of Edinburgh and Stanford by Robin Milner and others. LCF introduced the general purpose programming language ML to allow users to write …   Wikipedia

  • LCF-Notation — Der Foster Graph: Bezeichnet man den obersten Knoten mit v0, dann ist 90, [17, 9,37, 37,9, 17], 15 eine zugehörige LCF Notation. In der Kombinatorik als Teilgebiet der diskreten Mathematik ist die Lederberg Coxeter Fruchte Notation (kurz LCF)… …   Deutsch Wikipedia

  • LCF Rothschild — Banque Privée Edmond de Rothschild SA Unternehmensform Aktiengesellschaft ISIN …   Deutsch Wikipedia

  • LCF — Lincoln Community Foundation (Community » Non Profit Organizations) **** Low Cab Forward (Governmental » Transportation) ** Lemur Conservation Foundation (Community » Non Profit Organizations) ** Linker Control File (Norton Guides compiler)… …   Abbreviations dictionary

  • LCF — least common factor; left circumflex [coronary artery]; lymphocyte culture fluid …   Medical dictionary

  • LCF — • Logic for Computable Functions Theorembeweiser, Grundlage für die Computersprache ML • bei Lichtwellenleiter: Low Cost Fiber • Launch Complex Equipment • Language Central Facility • LAN Configuration Facility • Local Cycle Fatigü ( > IEEE… …   Acronyms

Compartir el artículo y extractos

Link directo
… Do a right-click on the link above
and select “Copy Link”