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.
1
1
1
Bilişim bilimi içerisinde semantik
- Konuyu başlatan iGrand
- Başlangıç tarihi
- Cevaplar 0
- Görüntüleme 239