Course Catalog
| CS 504 Bilgi Gösterimi ve Akıl Yürütme | 3 SU Kredi | |||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Bilgi gösterimi ve akıl yürütme biçimselciliklerinin matematiksel temelleri (örn., klasik mantık, çözüm kümesi programlama, hareket dilleri, durum hesabı, tanımlama mantığı, kısıt programlama), ve bunların bilgisayar bilimi ve diğer bilim alanlarındaki uygulamaları (örn., sağduyusal bilgi gösterimi, düşünce/kuram yenileme/güncelleme, anlamsal ağ, çizge kuramı, planlama, teşhis etme, VLSI tasarımı, tarihsel dilbilimi, hesaplamalı biyoloji, biyomedikal bilişim). | ||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||
| Onkosul: __ | ||||||||||||||||||||||||||||
| Yankosul: __ | ||||||||||||||||||||||||||||
| ECTS Kredi: 10 ECTS (10 ECTS for students admitted before 2013-14 Academic Year) | ||||||||||||||||||||||||||||
| Genel Kosullar : | ||||||||||||||||||||||||||||