LCF


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 — 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

  • LCF — Latidos cardiacos fetales …   Diccionario de siglas médicas y otras abreviaturas

  • lcf — Canadian Slang Look Cool Factor. Used in reference to the look of a piece of equipment and its affect on fashion …   English dialects glossary

  • lcf — ISO 639 3 Code of Language ISO 639 2/B Code : ISO 639 2/T Code : ISO 639 1 Code : Scope : Individual Language Type : Living Language Name : Lubu …   Names of Languages ISO 639-3

  • LCF — [1] Logic for Computable Functions Theorembeweiser, Grundlage für die Computersprache ML [2] bei Lichtwellenleiter: Low Cost Fiber [3] Launch Complex Equipment [4] Language Central Facility [5] LAN Configuration Facility [6] Local Cycle Fatigü (… …   Acronyms von A bis Z


Compartir el artículo y extractos

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

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.