Facebook
DİNLE

Ders Kataloğu

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).

Acilan Donemler Ders Ismi SU Kredi
Bahar 2019-2020 Bilgi Gösterimi ve Akıl Yürütme 3
Güz 2017-2018 Bilgi Gösterimi ve Akıl Yürütme 3
Güz 2015-2016 Bilgi Gösterimi ve Akıl Yürütme 3
Güz 2011-2012 Bilgi Gösterimi ve Akıl Yürütme 3
Güz 2010-2011 Bilgi Gösterimi ve Akıl Yürütme 3
Güz 2008-2009 Bilgi Gösterimi ve Akıl Yürütme 3
Güz 2007-2008 Bilgi Gösterimi ve Akıl Yürütme 3

Onkosul: __
Yankosul: __
ECTS Kredi: 10 ECTS (10 ECTS for students admitted before 2013-14 Academic Year)
Genel Kosullar :