Marmara Üniversitesi
Marmara Üniversitesi Eğitim-Öğretim Bilgi Sistemi

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.

-

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.

Sunum,Soru ve Cevap,Problem Çözümü

Yok

Türkçe

Ralph P. Grimaldi, "Discrete and Combinatorial Mathematics", Addison-Wesley, 2004, ISBN 9780321211033. 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).

Yok

• Öğ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.