Hoşgeldiniz, Misafir . Oturum Aç . English
Neredeyim: Ninova / Dersler / Bilgisayar ve Bilişim Fakültesi / BLG 112 / Dersin Bilgileri
 

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
Ninova, İTÜ Bilgi İşlem Daire Başkanlığı ürünüdür. © 2020