«formal-systems» etiketlenmiş sorular

Biçimsel yöntemlerin önemli bir amacı, sistemlerin doğruluğunu otomatik veya insana yönelik yöntemlerle kanıtlamaktır. Bununla birlikte, doğruluk kanıtı verebilseniz bile, sistemin başarısız olmayacağını garanti edemeyebilirsiniz. Örneğin: Spesifikasyon sistemi doğru bir şekilde modelleyemeyebilir veya bir üretim sistemi modele göre çok karmaşık olabilir veya sistem çelişkili gereksinimler nedeniyle doğası gereği kusurlu olabilir. Bir …

20 lo.logic  pl.programming-languages  formal-systems  formal-methods 

Programlama dilleri teorisinde yeniyim ve programlama dillerinin biçimsel semantiği için bir kaynak üzerinde iyi bir kaynak arıyorum. Özellikle yapısal operasyonel semantik aramak. Kitap önerileri aldım. Ama daha tanıtım seviyesinde bir kaynak arıyorum. Özellikle eğiticiler, web sitesi ve ücretsiz kitap önerileri memnuniyetle karşılanmaktadır.

17 reference-request  pl.programming-languages  semantics  formal-systems 

Sistem "F" ve Sistem "T" adlarının nereden geldiğini bilen var mı? Bu isimleri kimin tanıttığını sormuyorum (Girard System F ve Gödel System T), ancak "F" ve "T" nin ne anlama geldiğini.

9 ho.history-overview  type-systems  formal-systems