Hesaplamanın Matematiksel Temellerinde Yaz Kursu
Stanford Summer Session
Anahtar bilgi
kampüs konumu
Stanford, Amerika Birleşik Devletleri
Diller
Ingilizce
çalışma formatı
Kampüste
Süre
8 haftalar
Adımlamak
Tam zamanlı
Öğrenim ücretleri
Bilgi talebi
Son başvuru tarihi
Bilgi talebi
En erken başlama tarihi
Bilgi talebi
Tanıtım
Hesaplamanın Matematiksel Temellerinde Yaz Kursu
Bilgi işlem gücünün teorik sınırları nelerdir? Bilgisayarlarla hangi sorunlar çözülebilir? Hangileri olamaz? Ve bu soruların cevapları hakkında matematiksel kesinlikle nasıl akıl yürütebiliriz? Bu ders, bu soruların cevaplarını araştırır ve ayrık matematik, hesaplanabilirlik teorisi ve karmaşıklık teorisine giriş niteliğindedir. Kursun sonunda öğrenciler, matematiksel ispatlar yazarken, ayrık yapılar hakkında akıl yürütürken, birinci dereceden mantıkta ifadeleri okuyup yazarken ve bilgi işlem cihazlarının matematiksel modelleriyle çalışırken kendilerini rahat hissedeceklerdir. Kurs boyunca öğrenciler, on dokuzuncu yüzyılın sonları ve yirminci yüzyılın en heyecan verici matematiksel ve felsefi fikirlerinden bazılarına maruz kalacaklar. İşlenen belirli konular arasında resmi matematiksel düzeltme yazımı, önermeler ve birinci dereceden mantık, küme teorisi, ikili ilişkiler, fonksiyonlar (enjeksiyonlar, surjections ve bijections), kardinalite, temel grafik teorisi, güvercin deliği ilkesi, matematiksel tümevarım, sonlu otomatlar, düzenli ifadeler, Myhill-Nerode teoremi, bağlamdan bağımsız gramerler, Turing makineleri, karar verilebilir ve tanınabilir diller, kendine referans ve karar verilemezlik, doğrulayıcılar ve P'ye karşı NP sorusu. Önemli düzeltme yazma deneyimi olan öğrencilerin bunun yerine CS154'ü almaları önerilir. Ekstra pratik yapmak ve kursla ilgili destek almak isteyen öğrencilerin eş zamanlı olarak CS103A'ya kaydolmaları önerilir. Ön koşul: CS106B veya eşdeğeri. CS106B, CS103 ile eş zamanlı olarak alınabilir.