Hoş Geldiniz,
Misafir
.
Oturum Aç
.
English
NİNOVA
DERSLER
YARDIM
HAKKINDA
Neredeyim:
Ninova
/
Dersler
/
Bilgisayar ve Bilişim Fakültesi
/
BLG 112
/
Dersin Bilgileri
Fakülteye dön
Ana Sayfa
Dersin Bilgileri
Dersin Haftalık Planı
Değerlendirme Kriterleri
Dersin Kaynakları
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. © 2024