Doktora Yeterlilik Yazılı Sınav Konuları
| Ders | Konu Başlıkları | Kitap Önerisi | |
| 1 | Algoritma Analizi |
Özyineli fonksiyonlar
Yerine koyma metodu Master teorem Böl- Yönet Yaklaşımı Sıralama, Arama, Dizi İşleme Tam Kapsamlı Arama, Dal ve Sınır, Geri İzleme Strassen matris çarpma algoritması Geometrik Algoritmalar Hızlı Fourier dönüşümü Graflar Sırt çantası problemi En kısa yolları bulma problemi Dinamik Programlama Metodu 0/1 Sırt çantası problemi Dizi benzetme problemi Alt Sınır teorisi Problem Karmaşıklık Sınıfları 2-3-SAT Problemi Kararlı evlilik problemi |
Cormen, Leiserton, Rivest, Introduction to Algorithms,, MIT Press, 1992.
|
| 2 | İşletim Sistemleri | İşletim Sistemleri Yapıları Süreçler, İzlekler ve Yönetimleri Süreç ve İşlemci Çizelgeleme Süreç Senkronizasyonu Süreçler Arası İletişim Kilitlenmeler Bellek Yönetimi Sanal bellek yaklaşımı Depolama Yönetimi Dağıtık Sistemler Güvenlik Kabuk Programlama |
Operating System Concepts, Abraham Silberschatz, Peter B. Galvin, Greg Gagne, ISBN-10: 0470128720
|
| 3 | Veri Yapıları | Listeler Yığınlar Kuyruklar Ağaçlar Öncelik Kuyruğu Özyineleme Hashing Çizgeler Dengeli Ağaçlar Sıralama |
Richard F. Gilberg & Behrouz A. Forouzan, Data Structures: A Pseudocode Approach with C, (2nd ed.), Course Technology
|
| 4 | Ayrık Matematik | Mantıksal Önermeler ve İspatlar Yüklem Mantığı Kümeler ve Fonksiyonlar Tamsayılar Tümevarım ve Özyineleme Sayma Bağıntılar ve İşlemler Çizgeler ve Ağaçlar Graf Teorisi |
R. Garnier and J. Taylor Discrete Mathematics for New Technology, Adam Hilgher publishing 1992
|
| 5 |
Biçimsel Diller ve Otomatlar
|
Matrisler Özel Matrisler Determinantlar Sarrus kuralı Lineer Denklem Sistemleri Cramer yöntemi Vektörler Vektör Uzayları Germe kavramı Taban ve boyut kavramı Koordinatlar ve geçiş matrisleri Öz değer ve Öz vektörler Özyinelemeli tanımlamalar Düzenli ifadeler Sonlu otomatlar Geçiş çizgeleri Kleene kuramı Düzenli ve düzensiz diller Karar verebilirlik Bağlamdan bağımsız söz dizimi Pushdown otomata Bağlamdan bağımsız diller Turing makineleri |
Harrison, M.A.: Introduction to Formal Language Theory. Addison–Wesley
|
| 6 | Programlama Dilleri | Bilgisayar programlamaya giriş Algoritma kurma teknikleri C programlama dilinin temelleri Atama ve Giriş/ Çıkış komutları Program kontrol deyimleri Döngüler Diziler ve Matrisler Fonksiyonlar ve Prototip tanımları Özyinelemeli fonksiyonlar Göstergeler Dizgiler Nesneye Yönelik Programlama Temel Tasarım Örüntüleri |
Programming Langauages: Principles and Practices, by Kenneth C. Louden and Lambert
Language Pragmatics, Third Edition, Morgan Kaufmann, 2009. (ISBN 978-0-12-374514-9) |
| 7 | Mantık Devreleri | Sayı Sistemleri-Kodlar, Boole Cebri ve Lojik Kapılar, Mantıksal Fonksiyonlar ve Sadeleştirme Teknikleri, Kombinasyonel Lojik Devreler, Aritmetik İşlemler-Devreleri, Kod Dönüştürücüler-Kodlayıcılar, MUX ve DEMUX Devreleri, Flip-Flop’lar-Data Kaydediciler, Senkron Sayıcı Devreleri, Asenkron Sayıcı Devreleri, Özel Sayıcı Devreleri, Sayıcı Devreleri-Uygulamaları, Kaydırıcı Kaydediciler |
Mano, M.M., “Digital Design”, Prentice Hall, 2002, William Kleitz, “Digital Electronics”, Prentice Hall, 1996, Garrod & Borns, “Digital Logic”, Saunders College Publishing, 1991 Hüseyin Ekiz, Mantık Devreleri (Sayısal elektronik) |
|
8
|
Bilgisayar Mimarisi | Bilgisayar Tasarımının Temelleri Bilgisayar Organizasyonu Komut Seti Karakteristikleri Paralelizm Zaman Planlama Çoklu İşlemciler Bellek Hiyerarşi Tasarımı Sanal Hafıza ve Sanal Makineler Depolama Sistemleri Djital Devreler (Flip-Flop, Shift) |
William Stallings, Computer Organization and Architecture, (8th ed.) Printice Hall
|
