Dersin Bilgileri

Dersin Adı	Türkçe	Ayrık Matematik
	İngilizce	Discrete Mathematics
Dersin Kodu	BLG 112	Kredi	Ders (saat/hafta)	Uygulama (saat/hafta)	Labratuvar (saat/hafta)
Dönem	2	3	3	-	-
Dersin Dili		İngilizce
Dersin Koordinatörü		Ayşegül Yayımlı Hayri Turgut Uyar
Dersin Amaçları		Bilgisayar mühendisliğinin çalışma alanlarında gerekli olan temel matematiksel yapıları ve yöntemleri öğretmek. Matematiksel modelleme ve soyut düşünme yeteneğini geliştirmek. Biçimsel sistemlerin önemini ve uygulamalarını tanıtmak.
Dersin Tanımı		Sayma. Önermeler, çıkarsama kuralları, yüklemler, niceleyiciler, kümeler. Tanıtlama yöntemleri, çelişkiyle tanıtlama, tümevarım. Bağıntılar, fonksiyonlar, güvercin deliği ilkesi. Çizgeler, ağaçlar. Cebirsel yapılar, kısmı sıralı kümeler, kafesler.
Dersin Çıktıları		Öğrenciler var olan bir sistemi basit düzeyde biçimsel açıdan inceleyebilirler. Öğrenciler matematik açısından geçerli bir tanıt için gerekli akıl yürütme kurallarını ve tanıt yöntemlerini bilirler. Öğrenciler bağıntı ve fonksiyon kavramlarının bilgisayarcılıktaki uygulamalarını bilirler ve karşılaştıkları problemlere uygulayabilirler. Öğrenciler çizge kuramının temel problemlerini ve çözüm yöntemlerini bilirler ve karşılaştıkları problemlere uygulayabilirler.
Önkoşullar
Gereken Olanaklar
Diğer
Ders Kitabı		Ralph P. Grimaldi, "Discrete and Combinatorial Mathematics", Addison-Wesley, 2004, ISBN 9780321211033.
Diğer Referanslar		John O'Donnell, Cordelia Hall, Rex Page, "Discrete Mathematics Using a Computer", Springer, 2006. ISBN 978-1-84628-2 (İTÜ'de SpringerLink üzerinden erişilebilir).

Dersler

Yardım

Hakkında