Bilgisayar Bilimleri için Ayrık Matematik - Mantık ve Küme Teorisi

Bu kurs, bilgisayar bilimleri için temel olan ayrık matematiğin temel kavramlarını mantık, biçimsel akıl yürütme ve küme teorisine odaklanarak tanıtır. Ayrık matematik, sürekli olmayan ve sembolik yapıları inceleyerek hesaplamanın doğal matematiksel dilini oluşturur. Doğal dildeki ifadeleri kesin biçimsel ifadelere dönüştürme yeteneğini geliştirerek önermeler ve yüklemler mantığını öğrenerek başlayacaksınız. Kurs; mantıksal operatörleri, eşdeğerliği, niceleyicileri ve çıkarım kurallarını kapsayarak titiz argümanlar ve kanıtlar oluşturmak ve değerlendirmek için gereken araçları sağlar. Ardından kurs, bilgisayar bilimlerinde veri modelleme ve soyutlamanın belkemiğini oluşturan küme teorisi ve fonksiyonları tanıtır. Konular arasında küme işlemleri, ilişkiler, fonksiyonlar ve kardinalite ile bunların mantıksal akıl yürütmeyle olan yakın bağlantıları yer alır. Ezberlemek yerine anlamayı ve problem çözmeyi vurgulayan bu kurs, algoritma tasarımı, program doğruluğu ve uzmanlık alanındaki ileri düzey konular için gereken matematiksel olgunluğu oluşturur.