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
değiştir- 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.
![]() | Bilgisayar bilimi ile ilgili bu madde taslak seviyesindedir. Madde içeriğini genişleterek Vikipedi'ye katkı sağlayabilirsiniz. |
🔥 Top keywords: Anasayfa2024 Avrupa Futbol ŞampiyonasıÖzel:AraAvrupa Futbol ŞampiyonasıAişe2020 Avrupa Futbol ŞampiyonasıOktay Kaynarca2024 FIVB Kadınlar Voleybol Milletler LigiKylian MbappéSlovakyaTürkiye2024 Avrupa Futbol Şampiyonası elemeleriFIVB Dünya SıralamasıFIFA Dünya KupasıTürkiye millî futbol takımıMuhammed'in evlilikleriGibi bölümleri listesi2008 Avrupa Futbol ŞampiyonasıKurban BayramıVII. KleopatraGülse BirselRomelu LukakuOsmanlı padişahları listesiÖzel:SonDeğişikliklerMuhammedÜlkeler listesiAntoine Griezmann2026 FIFA Dünya KupasıVatan ŞaşmazII. MehmedOsmanlı İmparatorluğuFIFA Dünya Kupası finalleri listesiBurçlarSeks pozisyonlarıUsame bin LadinGheorghe HagiPrens (dizi)Muğla'nın ilçeleriSıla