Hoşgeldiniz, Misafir . Oturum Aç . English
Neredeyim: Ninova / Dersler / Bilgisayar ve Bilişim Fakültesi / BLG 112 - Ayrık Matematik
 

BLG 112 - Ayrık Matematik

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ı

Önermeler, akıl yürütme 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.

Koordinatörleri
Sıla Özen Güçlü
Osman Kaan Erol
Dersin Dili
Türkçe
 
 
Dersler . Yardım . Hakkında
Ninova, İTÜ Bilgi İşlem Daire Başkanlığı ürünüdür. © 2017