Course Catalog
| CS 400 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: MATH 204 - Lisans - En Az D | |||||||||||||||||||||||||||||||
| Yankosul: __ | |||||||||||||||||||||||||||||||
| ECTS Kredi: 6 ECTS (6 ECTS for students admitted before 2013-14 Academic Year) | |||||||||||||||||||||||||||||||
| Genel Kosullar : | |||||||||||||||||||||||||||||||