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

Bu derste öğrenci bilgisayar bilimi için çok önemli olan ayrık hesaplama yapılarını öğrenecektir. Ders sonunda öğrencinin ispat yöntemlerini kullanarak hipotezleri ispatlamayı, sayı teorisi kavramlarını ve sayma tekniklerini bilmesi, özyinelemeli ilişkileri çözmeyi, çizge kuramı ve ağaçlarla ilgili problemleri tanımlayabilmesi beklenmektedir.

-

Ders mantık ve kümeler konularıyla başlayarak fonksiyonlarla devam eder. Sonrasında ispat yöntemleri indüksiyon da dahil edilerek detaylıca işlenir. Özyinelemeli ilişkiler, sayı teorisi, sayma teknikleri, çizge teorisi ve ilgili ortaya çıkan problemler ve bilinen ilgili algoritmalar işlenen diğer konulardır.

Ders konuları tahtaya yazarak anlatılır. Öğrenimi pekiştirmek için ders sırasında örnek sorular çözülür. Birinci ara sınav sınav haftasında sınıfta yapılır. Problem setleri tahtaya yazarak çözülür. Laboratuvarda deney yapılır ve rapor hazırlanır, ya da derste öğrenilen teorik konular ile ilgili bilgisayar ortamında uygulama yapılır. Ders sırasında öğrencilere belli sorular yöneltilir, cevapları tahmin etmeleri teşvik edilir. (Not: Akran eğitimi bu kategoriye giriyor.) Okul dışı etkinliklere katılınır. Ara sınav haftasında ara sınav uygulanır. Final haftalarında final sınavı uygulanır.

-

İngilizce

Discrete Mathematics and Its Applications 7th edition, Kenneth H. Rosen, McGraw Hill

http://mimoza.marmara.edu.tr/~falkaya/cse223

• Mantık problemlerini cebir kuralları dahilinde çözebilmek. İspat yöntemlerini kullanarak hipotezleri ispatlayabilmek. Sayı teorisi kavramlarını ve sayma tekniklerini ifade edebilmek. Özyinelemeli ilişkileri çözebilmek. Çizge kuramı ve ağaçlarla ilgili problemleri tanımlayarak ilgili algoritmaları uygulayabilmek. Bağıntılar ve özelliklerini ifade edebilir. Mantık problemlerini cebir kuralları dahilinde çözebilmek.
• İspat yöntemlerini kullanarak hipotezleri ispatlayabilmek.
• Sayı teorisi kavramlarını ve sayma tekniklerini ifade edebilmek.
• Özyinelemeli ilişkileri çözebilmek.
• Çizge kuramı ve ağaçlarla ilgili problemleri tanımlayarak ilgili algoritmaları uygulayabilmek. Bağıntılar ve özelliklerini ifade edebilir.
• Bağıntılar ve özelliklerini ifade edebilir.