Course Catalog
CS 500 Bilgisayar Biliminde Mantık | 3 SU Kredi | ||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Önermeler ve birinci-basamak mantığı (doğruluk ve tamlık, eksiklik, kararlaştırılamazlık, vs.). Bilgisayar biliminde mantıksal meseleler (karar yordamları, biçimsel sistemler, tanımlanabilirlik, vs.). | |||||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||||
Onkosul: __ | |||||||||||||||||||||||||||||||
Yankosul: __ | |||||||||||||||||||||||||||||||
ECTS Kredi: 10 ECTS (10 ECTS for students admitted before 2013-14 Academic Year) | |||||||||||||||||||||||||||||||
Genel Kosullar : | |||||||||||||||||||||||||||||||