Logic for Computable Functions

Logic for Computable Functions (LCF), Edinburgh ve Stanford araştırmacıları tarafından geliştirilmiş bir otomatik teorem kanıtlama aracıdır. 1972'de Robin Milner'ın önderlik ettiği çalışmayla temelleri atılmış olup ML programlama dili yardımıyla özelleştirilebilir bir yapıya kavuşmuştur. Bu işlem "theorem" adlı soyut veri tipi aracılığıyla yapılabilmektedir.

Kaynakça

  • Gordon, Michael J. C. (2000). "From LCF to HOL: a short history". Proof, language, and interaction. Cambridge, MA: MIT Press. ss. 169-185. ISBN 0-262-16188-5. 5 Eylül 2016 tarihinde kaynağından arşivlendi. Erişim tarihi: 1 Ocak 2018. 
Taslak simgesiBilgisayar bilimi ile ilgili bu madde taslak seviyesindedir. Madde içeriğini genişleterek Vikipedi'ye katkı sağlayabilirsiniz.