BİLGİSAYAR MÜHENDİSLİĞİ (İNGİLİZCE) BÖLÜMÜ DERS TANITIM VE UYGULAMA BİLGİLERİ
Ders Adı	Kodu	Yılı	Yarıyılı	Süresi (T+U)	Kredisi	AKTS Kredisi
DIGITAL LOGIC DESIGN II	COM316	3	6	3+0	3.0	6.0

Amaç ve İçeriği
Dersin Amacı	Ders, otomat teorisinde ve gramer, sonlu otomat, düzenli ifade, biçimsel dil, aşağı itmeli otomat ve Turing makinesi dahil olmak üzere biçimsel dillerdeki bazı temel kavramları tanıtır. Bu kavramlar, sadece temel hesaplama modellerini oluşturmakla kalmaz, aynı zamanda bilgisayar biliminin birçok dalının da temelini oluştururlar; derleyiciler, yazılım mühendisliği, eşzamanlı sistemler, vb.
Dersin İçeriği	Hesaplama modellerinin özellikleri incelenecek ve hem formalizm hem de örnekler kullanılarak bunları analiz etmek ve karşılaştırmak için çeşitli titiz teknikler tartışılacaktır.
Dersin Meslek Eğitimini Sağlamaya Yönelik Katkısı	Öğrenciler, bu kavramların temellerini öğrenerek ve hesaplama modellerini inceleyerek derleyiciler, yazılım mühendisliği ve eşzamanlı sistemler temelinde anlayış geliştireceklerdir.