Ayyıldız2 | 2008 TR Yapısı • 1-99 Orta Emek Destan • Oto Avsız • 10 Temmuz 21:00 HEMEN TIKLA!
Bilişim bilimi içerisinde semantik, mantıksal semantiğin uygulamasıdır. Burada biçimsel programlama dilleri için söz diziminin yanı sıra biçimsel bir semantik tanımlanmaktadır. Bu semantik öngörülebilirlik (hesaplanabilirlik) kuramı, hesap karmaşıklığı kuramı ve özellikle de bilgisayar programlarının doğrulanması (kusursuzluk) alanlarındaki kullanımlarda bulunmaktadır.
