Açıklama
Bilgisayar biliminde biçimsel mantığın uygulamaları. Klasik predikat hesapçığı gibi sembolik mantıklar, alan bilgisini temsil etmek, hesaplama problemlerini modellemek ve bunları otomatik çıkarıcılar aracılığıyla çözmek için kullanılır. Uygulamalar arasında yapay zeka, yazılım mühendisliği, veri yönetimi ve donanım doğrulama yer alır.
Önkoşullar
- Önkoşul(lar): COMP 2804.
Şartlar ve koşullar
- Önkoşul(lar): COMP 2804.
- Haftada üç saat ders.
Kaynak metin orijinal dilinde
Applications of formal logic in computer science. Symbolic logics such as classical predicate calculus are used to represent domain knowledge, to model computational problems and to solve them by means of automated reasoners. Applications include artificial intelligence, software engineering, data management and hardware verification.
- Prerequisite(s): COMP 2804 .
- Lectures three hours a week.
Kaynaklar ve referanslar
Tarih ve kaynaklar bilgileri doğrulamanıza yardımcı olmak için saklanır. Okumayı kolaylaştırmak için çeviriler sunulmuştur; koşullar ve gereksinimler için resmi kaynak esas alınır.
Kaynak referans : https://calendar.carleton.ca/undergrad/courses/COMP/