Ders Kataloğu
| 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 (ENGINEERING: / BASIC:) | ||||||||||||||||||||||||||||||||||
| Genel Kosullar : | ||||||||||||||||||||||||||||||||||