LİSANSÜSTÜ PROGRAMI

Lisansüstü programlarına, Bilgisayar Mühendisliği A.B.D.’nın belirlediği koşulları sağlayan Bilgisayar Mühendisliği Bölümü ve diğer disiplinlerden mezun olanlar kabul edilirler. Diğer disiplinlerden mezun olan adayların normalde bir lisans tamamlama programını  bitirmeleri gerekir. 

YÜKSEK LİSANS PROGRAMI

Bilgisayar Mühendisliği Programı

BM 500 Yüksek Lisans Tezi (Kredisiz)

BM 501 Nesneye-Yönelik Programlama Dilleri ve Sistemleri (3-0-0)

BM 511 Ayrık Matematik (3-0-0)

EZ  501 Araştırma Yöntemleri (3+0+0) 

BM 590 Yüksek Lisans Semineri (Kredisiz)

5 seçmeli ders 

Toplam minimum kredi : 24

Kredili ders sayısı (min.) : 8 

DOKTORA PROGRAMI

BM 502 Algoritma Analizi (3-0-0)

BM 512 Olasılık Teorisi ve Rassal Süreçler (3-0-0)

EZ  501 Araştırma Yöntemleri (3+0+0) (Yüksek Lisansta Alınmamış ise Alınacaktır)

BM 690 BM’nde Araştırma Konuları (Kredisiz)

BM 600 Doktora Tezi (Kredisiz)

5 seçmeli ders 

Toplam minimum kredi : 24

Kredili ders sayısı (min.) : 8

DERS İÇERİKLERİ

BM 500 Yüksek Lisans Tezi (M.S. Thesis)

Yüksek Lisans derecesi alabilmek için öğrenci ve öğretim üyesi arasında düzenlenen araştırma programı. Öğrenciler bu derse üçüncü sömestirden itibaren tez araştırmasının ve yazımının gerçekleştirildiği bütün dönemler için kayıt olurlar. 

BM 501 Nesneye-Yönelik Programlama Dilleri ve Sistemleri (Object-Oriented Programming Languages and Systems)                                                                                   (3+0+0) 3

Nesneye-Yönelimin avantajları, Nesneye-Yönelik programlama  dillerine giriş, Sınıf, Nesne, Metot, Varlıklar, Çevreleme, Mesaj iletimi, Miras yapısı, Çoklu miras yapısı, ve Polimorfizm. Smalltalk ile programlama, C++ ile programlama, Java ile programlama.  

BM 502 Algoritma Analizi (Analysis of Algorithms)                                          (3+0+0) 3

Algoritmaların temel kavramları. Matematiksel gereksinimler. Rekürsif eşitlikler ve eşitsizlikler. Karmaşıklık ölçüleri; O, o ve diğer notasyonlar. Çeşitli alanlardaki klasik algoritmaların karmaşıklık analizleri. Sıralama, arama, çizgeler, eşleme, matris işlemleri, dönüşümler. NP-C Karmaşıklığına giriş.  

BM 503 Programlama Dilleri (Programming Languages)                                   (3+0+0) 3

Tarihsel perspektifin özeti. Bağlama kavramı, Pascal benzeri dillerin çalışma-zamanı yapıları. Parametre aktarımı. Tip yapıcılar, Soyut veri tipleri, Çevreleme, Tip uyumluluğu, Tip kontrolü, Polimorfizm. Bildirim-seviyesi kontrol yapıları. Ünite-seviyesi kontrol yapıları. Korutineler, İstisnai durumlar, Eşzamanlı üniteler. Mevcut araştırma konuları. 

BM 504 Gerçek Zamanlı Programlama (Real-Time Programming)                    (3+0+0) 3

Gerçek zamanlı yazılımın doğası. Gerçek zamanlı işletim sistemleri. Gerçek zamanlı haberleşme. İş dağıtma ve Özkaynak yönetimi. Formel yöntemler. Programlama dilleri ve araçlan. Gerçek zamanlı çekirdekler: Tempo, PSOS+, RT kernel. Çekirdek kullanarak gerçek zamanda programlama. Tasarım çalışmaları.  

BM 505 Yazılım Mühendisliğinde İleri Konular (Advanced Topics in                                Software Engineering)                                                                                         (3+0+0) 3

Proje kavramı, Projenin tanımlaması, Proje işlemleri. Modelleme, Sistem mühendisliği prensipleri. Proje yönetim teknikleri; Planlama, Organizasyon, Kontrol, Değerlendirme, Raporlama ve Sonlandırma. Maliyet/fayda analizi, Risk analizi. Proje planlama yöntemleri; İş tanımlama ve planlama, Ağ planlama ve PERT, Kritik yol yöntemi, Kaynak analizi, Proje boyutunun takdir edilmesi, Takvim ve maliyet, Olasılık planlama. Proje kontrol yöntemleri; Kontrol noktaları, Teftiş, Kontrol değişikliği, Raporlama, Konu yönetimi. Yazılım için bakım kavramı; Düzeltici, Adapte edici, ve Tam bakım. Yaşam çevrimi bakımı. CASE araçları.  

BM 511 Diskrit Matematik (Discrete Mathematics)                                             (3+0+0) 3

Asallar. Göreli asallık. "mod" kongrüans bağıntısı. Fermat ve Çinli kalanlar teoremi. Üreteç Fonksiyonlar: Rekürans bağıntılan ve çözüm yöntemleri. Konvolüsyonlar.Üste1 üreteç fonksiyonlar. Cebirsel yapılar: Gruplar. Yapı benzerlikleri. Grup Kodlan. Polya sayma yöntemi. Halkalar. Moduler aritmetik. Galois cisimleri. Graflar ve Ağaçlar: Bağlantılılık. Euler ve Hamilton Çevreleri. Çevresiz graflar. Ağaçlarda arama ve sıralama. Minimal kapsayan ağaç algoritmaları. Ulaşım ağları. En yüksek akı- en küçük kesit teoremi. Eşleşme yöntemleri. 

BM 512 Olasılık Teorisi ve Rassal Süreçler (Probability Theory and                               Stochastic Processes)                                                                                            (3+0+0) 3

Olasılık uzayı ve rassal süreçlerin sınıflandırılması. Ayrık ve sürekli parameter uzayında Markov ve yarı-Markov zincirleri. Yenilenme Teorisine giriş. Doğum ve ölüm süreçleri ve kuyruk teorisine uygulanması. 

BM 521 Veri Tabanı Yönetim Sistemleri (Database Management Systems)        (3+0+0) 3

Veri tabanı kavramına giriş, İlişkisel veri tabanı modelinin teorisi, Anlamsal veri tabanı modelleri. Genişletilmiş ilişkisel veri modeli, Öğretici veri tabanı sistemleri, Dağıtılmış veri tabanı sistemleri, Nesneye-Yönelik veri tabanı sistemleri  ve uzman veri tabanı sistemleri. Veri tabanı sistemlerinde belirsizlik. Diğer yeni çalışma konuları. 

BM 522 Nesneye-Yönelik Veri Tabanı Sistemleri (Object-Oriented                                   Database Systems)                                                                                                  (3+0+0) 3

Nesneye-Yönelik veri tabanı sistemlerine giriş. Nesneye-Yönelik veri tabanı sistemlerinin yapısı. Toplu depolama yöneticisi. ORION Nesneye-Yönelik veri tabanı yönetim sistemi. O2 Nesneye-Yönelik veri tabanı yönetim sistemi. R ağaçları, R+ ağaçları ve R* ağaçları. Nesneye-Yönelik veri tabanı sistemleri için gerçekleme konuları. 

BM 523 Dağıtılmış Veri Tabanı Sistemleri (Distributed Database Systems)          (3+0+0) 3

Veri tabanı sistemlerine genel bir bakış, Dağıtılmış veri tabanı sistemlerine genel bir bakış, Merkezi veri tabanı sistemlerinde eşzamanlılık kontrolü, Dağıtılmış veri tabanı sistemlerinde eşzamanlılık kontrolü, Serileştirilebilme teorisi, İki-fazlı kilitleme, Zaman-pulu atama serileştirmesi, graf kontrolü, Zaman-arası tekniği, İyimser yöntemler, Kopyalanmış verilerin halli, Çoklu-versiyonlu veri, Dağıtılmış veri tabanı tasarımı, Dağitilmiş veri tabanı yönetim sistemlerinde geri-kazanım sorgulama işlemi. 

BM 531 Yüksek Kapasiteli Ağlar (High Capacity Networks)                     (3+0+0) 3

Yüksek kapasiteli yerel alan ve metropolitan alan ağları: Hızlı Ethernet. FDDI. DQDB. Genişband-ISDN ve ATM'ye giriş: B-ISDN ATM protokol referans modeli. ATM anahtarlama: Anahtarlama teknikleri. Tek-seviyeli, çok seviyeli anahtarlar. Anahtarlarda başarım iyileştirme yöntemleri. Trafık yönetimi: Farklı kaynak tipleri için trafık modelleme. Servis kalitesi. Trafık ve tıkamklık kontrolu, ve bantgenişliği yonetimi. ATM ağ yönetimi: İşletim ve yönetim teknikleri.  

BM 532 Bilgisayar Ağlarında Temel Protokoller (Basic Protocols in                                 Computer Networks)                                                                                   (3+0+0) 3

Yünlendirme: Optimallik ilkesi, en kısa yol bulma. Taşkın yöntemi. Uzaklık vektörü; ve bağ durumu algoritmalan. Akış ve tıkanıklık denetimi: Kredili ve eşikli akış düzenleme. Trafık şekillendirme. Tıkanıklık önleme. Ağların birlikte hizmet vermeleri : Köprüler, yönlendirici geçitler, tünelleme. Internet'te yönlendirme: OSPF ve BGF protokolları. Uçtan uca ulaşım: Ulaşım hizmetleri. Bağlantı yönetimi ve akış denetimi. Çoğullama. TCP protokolu. Yönetim: OSI' de yönetim. ASNI notasyonu. CMIP protokolu. INTERNET'te yönetim, SNMP protokolu. Ağda Güvenlik: Kriptografı ilkeleri. Açık ve kapalı anahtar yöntemleri. Asıllama. Sayısal imza.  

BM 533 Bilgisayar Ağlarında Veri Güvenliği ve Koruma (Data Security and Protection in Computer Networks)                                                                                     (3+0+0) 3

Klasik ve modern Simetrik şifreler, Veri Şifreleme Standardı (DES), Gerçekliğini doğrulama, Anahtar yönetimi, asimetrik (genel anahtar) şifreler, dijital imzalar.  

BM 534 Kriptografi (Cryptograpy)                                                                  (3+0+0) 3

Giriş, tarihçe, klasik yöntemler. Simetrik algoritmalar ve DES. Enformasyon teorik analiz. Sayılar teorisinden seçme konular. Aritmetik algoritmalar, RSA, El Gamal, dijital imza, DSS, protokollar. Uygulamalar. 

BM 541 Görüntü İşleme (Image Processing)                                                  (3+0+0) 3

Giriş, Görüntü iyileştirme; Kontrast ve dinamik sınır değişimi, Yumuşatma; Görüntü onarma; Gürültü ve bulanıklaşmanın azaltılması; Görüntü kodlama; Nicemleme, Kayıpsız kodlama yöntemleri, Huffman kodlama, Öngörüsel kodlama, Kayıplı kodlama yöntemleri: Dönüşüm kodlama, Karma dönüşüm kodlama, Çerçeve arası kodlama, Modele dayalı kodlama, Piramit kodlama, Görüntü ayrıştırma: Eşikleme, Ayrıt saptama, Ayrıt bağlama, Bölgelere ayırma, Projeksiyonlardan görüntü kurma, Fourier-Dilim teoremi, Filtrelenip geri yansıtma yöntemi, Cebirsel görüntü kurma. İkili görüntü işleme ve paralel algoritmalar; Görüntü anlama, Fourier tanımlayıcıları, Momentler, Geometrik tanımlayıcılar, Model uydurma.  

BM 542 Bilgisayarla Görme (Computer Vision)                                               (3+0+0) 3

Bilgisayarla görmeye giriş, Görüntü oluşumu, Görüntünün modellenmesi, Görüntü elde etme düzenleri, Alçak seviye problemeri: Yumuşatma, Ayrıt saptama, Ayrıt bağlama, Çok ölçekli yaklaşımlar, Orta seviye problemleri: Yüzey kurma, Tonlamadan, Hareketten, ve Stereo'dan şekil elde etme, Range görüntüleri, Yüksek seviye problemleri: Modele dayalı görü, Kavramsal ağlar, Genelleştirilmiş silindirler ve Hough dönüşümü.  

BM 543 Şekil Tanıma (Pattern Recognation)                                                  (3+0+0) 3

Makina tanımasına giriş, iki veya daha çok boyutlu şekiller. İstatistiksel ve dilsel yaklaşımlar. Uygulama alanlarının incelenmesi. Bayes karar teorisi, Karar sınırları, sınıflayıcılar ve diskriminant fonksiyonları. Parametrelerin atanması. Kümeleme. Özellik seçimi. PR için yapısal yaklaşımlar. Sinir ağı tanıyıcıları. Uygulamalar. 

BM 551 Paralel Bilgi İşleme ve Çok İşlemcili Sistemler (Parallel Processing and Multiprocessor Systems)                                                                                   (3+0+0) 3

Paralel işleme giriş. Flynn'in sınıflandırnıası. Başanm parametreleri. UMA, NUMA, COMA modelleri. Vektör süperbilgisayar ve SIMD modelleri. Pram ve VLSI modelleri. Sistem arabağlaşım mimarileri: Ortak yol, Çok kapılı bellek, Crossbar, Anahtar modülü, Çok katlı arabağlaşım ağı, Dönen ağ. Cep tutarlılığı problemi. Gözetlemeli yol protokolleri. Rehber tabanlı protokollar. Donanım tabanlı senkronizasyon mekanizmalan. Çok bilgisayarlı yapılar. Mesaj geçirme mekanizmalan. Programlardaki paralellik. Program bölmeleme ve iş sıralama. Program akış mekanizmaları. Vektör işlem ilkeleri. Çok vektörlü çoklu işlemciler. Zincirli vektör işlem. SIMD düzeni. Gecikme gizleme teknikleri. Çok lifli çalışma ilkeleri. İnce taneli çoklu bilgisayarlar. Ölçeklenebilir ve çok lifli mimariler. Veri akış mimarisi. 

BM 552 Paralel Programlama (Parallel Programming)                                     (3+0+0) 3

Paralel programlamanın tanıtımı. Uygulama alanları. Paralel algoritmalara ilişkin problemler: Senkronizasyon, Haberleşme, Kritik bölümler. Senkronizasyon mekanizmaları: Semaforlar, Monitörler ve diğerleri. Gerçekleme yollan ve uygulama örnekleri. Mesaj aktarımına dayalı haberleşme ilkelleri. Randezvous yapısı. İşletim sistemlerinde paralel programlama yöntemleri. Paralel programlama dilleri: CSP, OCCAM, ADA ve diğerleri. Klasik paralel programlama algoritma örneklerinin tasarımı ve incelenmesi. 

BM 553 Dağıtılmış Bilgi İşleme (Distributed Computing)                                   (3+0+0) 3

Dağıtılmış dosya hizmetleri, disk hizmeti, hareket hizmeti, adlandırma ve katalog hizmeti, OSI dosya hizmeti. Dağıtılmış sistemlerde ölümcül kilitlenme, merkezi ve dağıtılmış ölümcül kilitlenme sezme algoritmaları, ölümcül kilitlenme çözme. Özkaynak korurrıası, erişim denetleme yaklaşımları, erişim matrisi modeli, bilgi akışı modeli, güvenlik çekirdeği mekanizması, dağıtılmış matris erişim denetimi, dağıtılmış güvenlik çekirdeği gerçekleme. Haberleşme güvenliği ve kullanıcı asıllama, dağıtılmış bilgisayar sistemlerinde süreçler arası haberleşmede güvenlik konulan, sayısal imzalar, dağıtılmış sistemlerde güvenlik hizmetleri ve mekanizmalan, ISO/OSI modelinde güvenlik hizmetleri.  

BM 554 Dağıtılmış İşletim Sistemleri (Distributed Operating Systems)             (3+0+0) 3

Dağıtılmış sistemlere giriş, dağıtılmış sistemlerde haberleşme, istekçi-hizmetli modeli, uzaktan yordam çağırma, dağıtılmış sistemlerde senkronizasyon, saat senkronizasyonu, dağıtılmış sistemlerde karşılıklı dışlama, Lamport algoritması, Ricart ve Agrawala algoritması, Goscinski dağıtılmış senkronizasyon algoritmaları, dağıtılmış sistem modelleri, adlandıı-ma hizmetleri, adlar, güzergahlar, adresler, dağıtılmış sistemlerde si.ireç yönetimi, süreçler üzerinde uzaktan işlemler, süreçlerin göç ettirilmesi, Demos/MP'de süreç göç ettirme mekanizması özkaynak atama, özkaynak yöneticileri, yük paylaşma algoritmaları, yük dengeleme algoritmaları, örnek dağıtılmış işletim sistemleri.  

BM 561 Yapay Zeka (Artificial Intelligence)                                                        (3+0+0) 3

Giriş. Programlama Dili LISP: dizi, ağaç, küme, kuyruk ve tablo yapılan. Bilgi gösterimi: Üretim kuralları, içerme hiyeyarşileri, önermesel ve yargısal hesap, çıkarım kurallan, çerçeveler, anlamsal ağlar, kısıtlamalar ve dizgesel yaklaşımlar. Arama: Hipotez ve test etme, derinlik öncelikli arama, genişlik öncelikli arama, sezgisel arama, optimal arama, oyun ağaçlan ve dönüşüklü arama, minimax arama, alpha-beta indirgeme. Öğrenme: betimleme ağaçlara, yapay sinir ağlan, Perceptronlar, genetik algoritmalar. Uzman sistemler, Doğal dil işlem, Konuşma tanıma, Bilgisayarla görü. 

BM 562 Uzman Sistemler (Expert Systems)                                                         (3+0+0) 3

Temel kavramlar: çıkarsama makinesi, bilgi tabanı, bilgi edinimi, bilgi temsili ve kontrolü, otomatik muhakeme (uslamlama), belirsizlik temsili, pratik problem çözme. Uzman sistemlerinin pratik ve teorisinin gelişimi. Bilinen uzman sistem örnekleri. Uzman sistem tasarımı için yazılım araçları ve mimarileri. Bir uzman sistem tasarımı.  

BM 563 Yapay Sinir Ağları (Artificial Neural Networks)                                      (3+0+0) 3

Yapay sinir ağlarının uygulama alanları, lineer algılayıcılar, çok-katmanlı algılayıcılar, vektör nicilendiriciler, Radyal-temelli fonksiyon ağları, Uzmanların karışımı, Çoklu öğrenicilerin birleştirilmesi, Sınıflandırıcı algoritmaların karşılaştırılması, Genetik algoritmalar.  

BM 571 Bilgi Sistemlerinin Nesneye-Yönelik Analiz ve Tasarımı (Object-Oriented Analysis    and Design of the Information Systems)                                                               (3+0+0) 3

Bilgi sistemlerinin analiz ve tasarımı. Nesneye-yönelim. Coad-Yourdon’ın nesneye-yönelik analiz ve tasarımı. OOD kriterinin uygulanması. Diğer yaklaşımların gözden geçirilmesi; Booch, Rumbaugh, Shlaer-Mellor ve Jacobsen yaklaşımları. 

BM 581 Simülasyon, Modelleme ve Analiz (Simulation Modelling and Analysis)  (3+0+0) 3

Ayrık simülasyonun teorik kavramı. Bir simülasyon dilinin yapısı. Analog bilgisayar simülasyonlarına genel bakış. Temel istatistik ve olasılık konularına genel bakış. Seçilen giriş olasılık dağılımı, rastgele sayı üreteçleri, tekil bir sistem için çıkış veri analizi, alternatif sistemlerin karşılaştırmaları için istatistiksel teknikler, imülasyon dilleri ve GPSS. 

EZ  501 Araştırma Yöntemleri                                                                                ( 3+0+0 ) 3 

Bu ders ile, öğrencilerin bilimsel düşünebilme ve çalışabilme yeteneklerinin geliştirilmesi, çalışma ve araştırmalarında her türlü ön yargıdan uzak durarak, bilimsel yöntemi kullanabilmeleri amaçlanmıştır. Bu amaçla da bir araştırmayı bilimsel disiplin içerisinde sürdürüp ve sonuca ulaşabilecek yöntem bilgisi verilmektedir. Bu kapsamda; Bilgi ve Kaynağı, Bilimin Tanımı, İşlevi ve Türleri, Bilimsel Yöntemin Tanımı ve Temel Nitelikleri, Araştırmanın  Tanımı, Türleri, Nitelikleri, Araştırma Önerisi ve Rapor Hazırlama konuları işlenmektedir. Araştırma konusu ayrıca detaylı olarak ele alınıp, Araştırmanın Süreç ve Teknikleri  başlığı altında;Giriş, Yöntem, Bulgular ve Yorum, Özet, Yargı ve Öneriler olarak incelenmektedir. Giriş bölümünde; Problem, Amaç, Önem, Varsayımlar, Sınırlılıklar ve Tanımlar, Yöntem bölümünde; Araştırma Modeli, Evren ve Örneklem, Veriler ve Toplanması, Verilerin İşlenmesi, Çözümü ve Yorumlanması yer almaktadır. Bir araştırmada Bulgular ve Yorum, Özet, Yargı ve Öneriler’in içeriği ve nasıl yazılması gerektiği işlenmektedir. Kaynakça Oluşturma, Kaynak Gösterme ve Alıntı Yapma Teknikleri incelenmektedir. Öğrenciler tarafından hazırlanacak bir Araştırma Önerisinin ve  bir Tez Önerisi’nin tartışılması. Bilimsel bir makalede; Başlık, Yazarlar ve Adresleri, Giriş, Kısa Özet, Malzeme ve Yöntem, Sonuçlar, Tartışma, Teşekkür’ün yazılması, Kaynakçanın Oluşturulması ve Kaynaklara Atıf yapılması işlenmektedir. Tarama/Değerlendirme Makalesinin nasıl yazılacağı incelenmektedir.

BM 590 Seminer (Graduate Seminar)                                                                      Kredisiz

Bu seminer, Bilgisayar Mühendisliği’nin farklı alanlarında araştırma yapma ilgilerini artırmak için düzenlenmiştir. Yüksek lisans öğrencileri bu dersi almak ve gereklerini yerine getirmek zorundadır. 

BM 600 Doktora Tezi (Ph.D. Thesis)                                                                        Kredisiz

Yüksek Lisans derecesi alabilmek için öğrenci ve öğretim üyesi arasında düzenlenen araştırma programı. Öğrenciler bu derse beşinci sömestirden itibaren tez araştırmasının ve yazımının gerçekleştirildiği bütün dönemler için kayıt olurlar. 

BM 690 BM’de Araştırma Konuları (Research Topics in CS)                                     Kredisiz

Bilgisayar Mühendisliği’nin farklı alanlarında araştırma yapma ilgilerini artırmak için düzenlenmiştir. Doktora öğrencileri bu dersi almak ve gereklerini yerine getirmek zorundadır. 

BM 8XX Bilgisayar Mühendisliğinde Özel Çalışmalar (Special Studies in CS )          Kredisiz

Yüksek Lisans öğrencisinin bir öğretim üyesinin (danışmanın) gözetiminde seçtiği bir özel konu ile ilgili olarak yürüttüğü çalışma. 

BM 8XX Bilgisayar Mühendisliğinde İleri Çalışmalar (Advanced Studies in CS )      Kredisiz

Doktora öğrencilerinden oluşan bir grup veya tek bir öğrencinin bir öğretim üyesinin (danışmanın) gözetiminde seçtiği bir ileri konu ile ilgili olarak yürüttüğü çalışma.