Programa Kayıtlı Derslerin Listesi
Program Adı : Bilgisayar Mühendisliği Doktora
Ders Kodu Ders Adı Ders İçerik
BİL10 Yeterlik

BİL600 Özel Konular

BİL601 Seminer
Bilgisayar Bilimleri Mühendisliği İle İlgili Bir Konuda Kaynak Taraması Ve İnceleme Yapılması, Yazılı Bir Rapor Hazırlanması, Bölüm Öğretim Elemanları Ve Öğrenciler Önünde Konunun Sözlü Olarak Sunulup Tartışılması
BİL612 Özdevinirlerle Denetim
Özdevinirlerle Denetimin Genel Yapısı. Petri Ağları. Matematiksel Yaklaşım Ve Tanımlar,Fiziksel Yaklaşım.Petri Ağlarının Dizge Çözümlemede Kullanımı, Petri Ağlarıyla Çözümlenmiş Dizgelerin Denetiminin Gerçekleştirimi. Zamanuyumsuz Gerçekleştirim. Zamanuyumlu Gerçekleştirim. İzlencelenir Mantıksal Alanların Kullanımı. Grafcet Öğrenci Seminerleri. Bibliografya Tarama.
BİL613 Mikro İşleyicilerle Dizge Geliştirme
Bu Ders Lisans Düzeyinde Açılan Mikroişleyiciler Dersinin Devamıdır. Ders Kapsamında Mikroişleyicilere Dayalı Mikrobilgisayar Sistem Tasarımı, Daha Çok Giriş/Çıkış Ögeleri Ön Plana Çıkacak Biçimde İşlenir. Derse Kayıtlı Ö¤Renciler Özgün Donanım Ve Yazılım Tasarımı İçeren Bir Proje Yaparlar. Tasarlanan Dizgenin Gerçekleştirimi De Ö¤Renciden İstenir.
BİL614 Veri İletişim
Temel Donanım Öğeleri; Sinyal İletme Yöntemleri; Hat Denetim Yöntemleri; Burroughs B 6800 Veri İletişim Dizgesinin İncelenmesi; Hdlc Veri İletişim Protokolu; I.25 Arabirimi
BİL615 Bilgisayar Tasarımı I
Mantıksal Tasarım: Tasarım Algoritmaları, Zaman Çizene¤İ, Akış Çizgesi, Yazmaç-Aktarma İlişkileri, Boole İşlevlerinin Elde Edilmesi, Tasarım Örnekleri. İşlem Ve Saklama Yazmaçları: Yazmaçlararası Aktarma, Yazmaç İşlemleri, Yazmaç-Aktarma Dili, Bellek Birimi, Do¤Rudan Erişimli Bellek Örnekleri, Yazmaçlarda Veri Gösterimi. İkili Toplama Ve Birikeç Yazmaç: Paralel Toplama, Eldenin Yazılması. Seri Toplama, Birikeç Yazmaç Tasarımı, Birikeç Yazmaç İşlemleri. Bilgisayar Yapısı: Bellekte Saklı Program Kavramı, Basit Bir Bilgisayar Yapısı, Fiziksel Yapı, Mantıksal Yapı, Makine-Kodu Komutları, Genel Amaçlı Büyük Boy Bilgisayarlar, Veri İletişim, Mikro-Programlama, Makine Kodu Türleri, Adresleme Teknikleri. Bilgisayar Tasarım Örne¤İ: Sistem Konfigürasyonu, Makine Komutları, Zamanlama Ve Denetim, Komutların Uygulanması, Yazmaç İşlemleri, Boole İşlevlerinin Türetilmesi. Örnek Bilgisayarların Yapılarının İncelenmesi.
BİL616 Bilgisayar Ağları Ve Açık Sistemler
Koşut İşleme Genel Bakış: Donanım, Yazılım Ve Genel Tanım Ve Kavramlar. Koşut İşlem İçin Bilgisayar Yapıları: Koşut İşlem Dizgelerinin Sınıflandırılması: Sısm, Mısd, Sımd, Mımd Yapıları. "Pipeline", "Array", İşleyiciler. "Hypercube" Mimarisi, Veri Akış Makinaları. İndirgeme Makinaları. İşleyici A¤Ları. Örnek Mimariler.
BİL621 Bilgisayar Grafiği
Bilgisayar Grafiğine Giriş. Grafik Göstericilerinin Ve Güdüm Donanımlarının Çalışma İlkeleri, Çekirdek Grafik İşlevleri, Nokta-Çizgi Teknikleri, Doğru-Halka Çizim Teknikleri, İki Boyutlu Çizimler Ve Dönüşümler, Pencereleme Teknikleri, Kesme Ve Kesimleme, Üç Boyutlu Grafiğe Giriş Dönüşüm Teknikleri, Görünmeyen Çizgi Ve Alan Yokteme, Gölgeleme, Etkileşimli Grafik Donanımları, Yazılım Standartları.
BİL625 Bigisayar Ağları Ve Açık Sistemler
Veri İletiminde İmlerin Fiziksel Özellikleri; İletişim Ortamı Ve Arabirim Standartları, Bit, Damga, Çerçeve Zamanuyumu; Hata Ve Akış Denetimi; Damga Ve Bit Tabanlı Veri Bağlantı Protocolları; Bisync Ve Hdlc; Yerel Ağlar; Ortama Erişim Denetim Yöntemleri; Csma/Cd, Token Control Ve Slotted Ring Yöntemleri; Yaygın Kullanılan Ortama Erişim Denetim Yöntemleri: Ethernete, Token Ring, Token Bus; Hızlı Yerel Ağlar: Fddı, Dwdb; Köprülü Ağlar; Transparent Ve Source Routing Köprülür Konularının Pekiştirilmesi. Geniş Ağlar: Paket Ve Çevrim Anahtarlamalı Veri Ağları, Sayısal Bütünleşik Hizmet Ağları (Isdn) Özel Ağlar. Iso Referans Modeli 7 Katmanlı Mimarideki Ağ (Paket) Katmanı. Adresleme, Yol Belirleme Ve Tıkanıklık Denetimi. Ağlar Arası İletişim, Ip Ve Ip Yol Belirleme Algoritmalır. Taşıma Protokolları: Udp Ve Tcp. Taşıma Katmanı. Uygulama Destek Protokolları: Oturum Ve Sunuş Katmanları. Uygulamaya Özğl Protokollar Tcp/Ip Protokolları: Telnet, Ftp, Smtp, Snmp. Osı Protokolları: Vt, Vtam, Motıs, Cmıse, Mms, Jtm, Dtp.
BİL627 Bilişim Ağları Ve Dağıtımlı Dizgeler
Bilişim A¤Larının Birleşenleri. Taşıma İşlevi, Adlandırma, Adresleme Ve Yönlendirme. Protokoller Ve Standartlar. Iso Açık Dizge Ba¤Lantısının İncelenmesi. Da¤Itımlı Dizgelerin Özellikleri. Da¤Itımlı Dizgelerin Yapısı. Da¤Itımlı Dizgelerde Bütünlük Ve Güvenirli¤İn Sa¤Lanması.
BİL632 Derleyici Gerçekleştirimi II
Yanlış Dönüş Yöntemleri. Programlama Dili Yapılarının Anlamsal Tanımlama Yöntemleri. Kod Enuygunlaştırma Yöntemleri: Yerel En Uygunlaştırma, Döngü En Uygunlaştırma, Çerçeve İçinde En Uygunlaştırma. Veri-Akışı Çözümlemesi. Derleyici Yazımı İçin Uygun Bazı Dillerin İncelenmesi. Pascalt, Pılot, C, Edıson. Bir Başka Bilgisayar İçin Kod Üretme. Ders Uygulama-Yoğun Olarak İşlenecek Öğrenciye Derleyici Gerçekleştiriminde Proje Verilecektir
BİL635 Nesneye Yönelik Programlama Dilleri
Nesneye Yönelik Programlamanın Temellerinin İncelenmesi, Sınıf, Nesne, İleti Ve Yöntem Kavramları, Nesneye Yönelik Programlama İle Yazılım Geliştirme. Yazılım Geliştirmenin Tasarım Ve Gerçekleştirimi Aşamalarına Nesneye Yönelik Yaklaşımın Getirdiği Yeniliklerin İrdelenmesi. Nesneye Yönelik Programlama Dillerinin Ve Özellikleri Small Talk'un İncelenmesi.
BİL636 Modüler Ve Gerçek Zamanlı Yazılım Geliştirme
Veri, Tür Ve Altprogramların Paketlenmesini Sa¤Layan Modüler Yapı, Konut Çalışan Süreçleri Gerçekleştirmeyi Sa¤Layan Gerçek Zamanlı Programlama Olanakları, Aykırı Durumların Ele Alınışı, Dizgeye Ba¤Imlı Özellikler İle Verilerin Tutuluş Biçimleri Üzerinde Tam Denetim Sa¤Layıcı Dizge Programlama Olanakları İçeren Algoritmik Bir Dil İle Modüler Ve Koşut Süreçli Yazılımların Geliştirilmesindeki Konular Ve Dayanılan Yapıların Rolleri. Nesneye Dayalı Algoritmik Dillerin Nesneye Yönelik Bir Dil Olmamalarına Karşılık, Özellikle Modüler Yapıları Gibi, Nesneye Yönelik Programlamaya Yatkın Yönlerinin İncelenmesi.
BİL637 Nesneye Yönelik Yazılım
Terimler, Nesneye Yönelik Çözümleme Ve Tasarım. Soyut Sınıfların Gerçekleştirimi. Sınıf Yapısı Tanımlama. Nesneye Yönelik Yazılım Mühendisliği. Nesneye Yönelik Yazılım Geliştirmede Grafiksel Gösterimler Ve Metodoloji. Yeniden Kullanılabilir Tasarım. Verimlilik Ve İlgili Konular.
BİL638 Programlama Dili Tasarım Ve Gerçekleştirme

BİL639 İleri Algoritma Çözümleme
Temel Matematiksel Ve İstatistiksel Kavramlar; Seri Formülleri, Serileri Sınırlandırma, Olasılık, Kesikli Rasgele Değişkenler, Asimtotik Gösterimler, Özyineli İlişkilerin Çözümü Homojen Ve Homojen Olmayan Özyineli İlişkiler. En Kötü, Ortalama, En İyi Durulu Ve Amotize Edilmiş Analiz. Algoritma Tasarımında Genel Teknikler (Böl Ve Yönet, Geri İzleme, Dinamik Programlama). Sıralama Algoritmaları. 'greedy' Algoritmalır. Çizge Algoritmaları, Olalısılıksal Algoritmalar. Dizgi Eşleme Algoritmaları. Bilimsel Geometri Algoritmalarına Giriş. Koşul Algoritmalar. Np'de Tamamlanmaya Giriş.
BİL641 Koşut Bilgisayarlar İçin Yazılım Geliştirme
Koşut Bilgisayar Mimarilerine Giriş. Koşut Bilgisayarlarda Veri İletişimi. Program Geliştirme Süreci. Koşut İşlem Gerektiren Yaygın Sorunlar Ve Çözüm Türleri. Koşut Programlama Hata Bulma Yöntemleri. Koşut Programlarda Etkinlik Özleme, Görüntüleme Ve Çözümleme Yöntem Ve Araçları.
BİL643 Dizge Çözümleme
Dizge Çözümleme Ve Tasarıma Genel Bakış, Sorun Tanım Ve Seçim, Ön İn-Celeme Ve Olurluk Çalışmaları, Dizge Tanımı Ve Çözümleme, Dizge Tasarım, Dizge Planlama, Uygulama, Hata Arama Ve Deneme, Dizge Dönüştürüm Ve İzleme, Dizge De¤Erlendirme Ve Yeniden Gözden Geçirme, Dizgede De¤İşiklik Ve Yaşatılabilirlik
BİL645 Yazılım Belirtim Ve Sağlamada Biçimsel Yöntemler
Yazılım Belirtim Ve Sağlama Niçin Gereklidir? Açık/Dağıtılmış İşlem Ve Tek İşleyicili İşlem Yazılımlarında Sınama Farklılıkları. Ağıtılmış Ve Açık Sistemler İçin Biçimsel Tanılama Yöntemleri: İletişim Yapan Fsm'ler, Petri Ağları, Zaan Boyutlu Mantık, İşlem Cebri, Yööntemleri: Doğruluk Katılama, Dağıtılmış Sistemlerin Genel Özelliklerinin Doğrulanması, Çözümlümü Ve Serbest Bırakma Stratejileri, Sınama Yöntemleri: Sınama (Verisi) Seçim Ölçütü. Sınama İzi Seçimi. Sınama Verisi Seçimi. Sınama Yapıları.
BİL646 Yazılım Mühendisliği
Yazılım Geliştirme İçin Takım Kurma Ve Küçük Bir Çalışma Grubunun Sosyo-Psikolojik Çözümlemesi. Program Güçlü¤Ü Ölçüm Ve Önkestirim Teknikleri, Programcı Üretkenli¤İ, Çok Amaçlı, Esnek, Güvenilir Kullanıcı Arabirimi, İki Dilde Çalışan Profesyonel Yazılım İçin Tasarım İlkeleri.
BİL649 Yazılım Mühendisliğinde Özel Konular

BİL650 Uzman Dizgeler

BİL652 Gelecek Kuşak Veri Tabanı Yönetim Dizgeleri
İlişkisel Veri Tabanı Dizgelerine Yeni Veri Türlerinin Eklenmesi Genişletilmiş Veri Tabanı İşlevleri: Veri Yönetimi, Nesne Yönetimi Ve Bilgi (Knowledge) Yönetimi. Nesneye Yönelik Veri Modelleri, Veri Tabanı Yönetim Dizgeleri Ve Sorgu Dilleri. Kural (Rules) Tanımları Ve Kural Yönetimi. Veri Tabanlarında Zaman Boyutu, Uyarlama (Version) Kavramı. Çok Ortamlı Veri Tabanları.
BİL653 Veri Tabanı Yönetim Dizgeleri
Modeller Ve Diller: Örgüt Yapısı Ve Bilgi Yapısı, Bilginin Mantıksal Yapısı, Bilgiye Erişim, Veri Modeli, Erişim Modeli, Primitif İşlemler, Veri Tanımlama Dili, Veri İşleme Dili, Sorgu Dili; Erişim Modelinin Gerçekleştirilmesi: Veri Öğeleri, Nesneler, İlişkiler Ve Türleri, İç Şemalar Ve İç Gösterimler, Primitif İşlemlerin Gerçekleştirilmesi; Veri Tanımlama Dili Derleyicisi, Veri İşleme Dili Derleyicisi, Görevler Arası İletişim, Sorgu Dili Yorumlayıcısı; Denetleyici Program Kullanan Çizelgeler, Çizelge Yönetimi, Bellek Atama Ve Bellek Yönetimi, İletişim Yastıkları Ve Yönetimi, Denetleyici Modülleri; Güvenlik Ve Yeniden Başlatma, Veri Tabanının Yeniden Düzenlenmesi, Yardımcı Programlar Ve Yordamlar
BİL654 Veri Tabanı Yön Diz Gerç

BİL664 Yazılım Müh.

BİL673 Benzetim Teknikleri
Sistemler, Kararlar, Modeller, Benzetim Ve Dinamik Sistemlerin Sembolik Modelleri, Benzetim Metodolojisi, Model Kurma Ve Kullanım, Benzetim Modeli Ve Programı Geliştirme, Benzetim Dilleri, Model Tasarım, Benzetim Sonuçlarını Çözümleme, Deneysel Optimizasyon, Model Geçerlili¤İ Gpss, Dynamo Ve Larsım İle Uygulamalar.
BİL681 Bilgi Erişim Dizgeleri
Giriş: Bilimsel Ve Teknik Bilginin Ço¤Alması Ve Bilgi Erişim Sorunu Birinci Bölüm: Özdevimli Bilgi Erişim. Adlandırma: Bilgi Erişim (Be) Terimi; Bilgi Bilimi, Be Kavramları Arasında İlişkiler. Bilgi Erişim Dizgesi Kavramı: Kuramsal Temeller: Ö¤Eler: Yaklaşımlar. Özdevimli Metin İşleme: Özdevinimli Do¤Al Dil Çözümleme, Mekanik Sözlük, Özdevmili Özetleme. Dizinleme Dili Ve Gömü Kavramı: Tanım Ve Yapısal İlişkiler; Terim Seçimi, Anma Ve Duyarlık Aygıtları; Eşanlamlılar Denetimi; Sözcük Biçimleri Denetim; Terim Sınıflama; Birleşik Terim Ve Deyimler; Görev Ve Roller; Terim A¤Irlıklama. Özdevimli Sınıflama Yaklaşımları; Belge Tanımlayıcı Vektörler; Bel-Geler Arasında Benzerlik Ölçümü, Kümeler Yaklaşımları. Bugünkü Durum Ve E¤İlimler: Gerçekleştirilmiş Be Dizgelerinden Örnekler, Smart, Pascal, Inspec, Rıt Medlars (Medlıne); Uluslararası Ve Ulusal Yaklaşımlar, Unısıst Ve Natıs Kavramları; Gelişmekte Olan Bir Ülke Olarak Türkiye'de Durum. İkinci Bölüm: Türder Türkçe Belge Dizinleme Ve Erişim Dizgesi'nin Tasarım Ve Gerçekleştirilmesi; Bu Dizge Üzerinde Uygulamalı Çalışmalar. Başarı De¤Erleme Yöntemleri.
BİL682 Yapay Anlayış
Gösterimler Ve Gösterimin Seçilmesi. Üretim Sistemleri, Arama Stratejileri Ve Buluşsal Fonksiyonlar. Uzman Sistemlere Genel Bakış. Ö¤Renen Sistemler Ve Ö¤Renme Türleri. Yapay Anlayış İçinde Önermeler Mantı¤I. Problem Çözme, Teorem Kanıtlama İçin Bilgi Gösterim Yöntemleri. Plan Üreten Sistemler.
BİL683 Bilişimsel Dilbilim
Do¤Al Dillerin Bigisayarla İncelenmesinde Amaçları İlk Uygulamalardan Bugüne, Araştırmaların Geliştirme Çizgisi. Başlıca Uygulama Alanları: Özdevimli Çeviri, Yüksek Nitelikli Özdevimli Çeviri Bigi Erişim Ve Soru Yanıtlama Dizgeleri, Özdevimli Özetleme, Dilbilgisel Modeller, Biçim İncelemeleri, Sözcükçülük, Sayılamalı Dilbilim. Dilbilim Kavramlarını Gözden Geçirme: Ses Bilgisi, Biçimsel Bigi Sözdizim, Anlambilim, Yüzeysel Ve Derin Yapılar. Chomaky'nin Sözdizimsel Yapıları, Dönüşümsel Üretici Dilbilgisi. Dillerin Sınıflanması. Do¤Al Dil Çalışmalarında Kullanılan Simge İşleme Ve Liste İşleme Dil-Leri (Lısp, Ipl-V) Ve Başka Yazılım Olanakları. Gerçekleştirilmiş Çalışmalar Üzerinde Karşılaştırmalı Yöntem Çalışmaları, Sayılamalı Dilbilim, Biçimbilgisel Modelleme, Özdevimli Özetleme, Özdevimli Çeviri, Winograd Türü Soru Yanıtlama Dizgeleri. Uygulamalı Çamışma: Her Ö¤Rencinin Ödev Olarak Bilgisayar Uygulamalı Bir Çalışma Yapması İstenir.
BİL684 Nöron Ağları
Küme Üyeli¤İnin Kestiriminde Bayes Yaklaşımı, Yarıbelirli Kümeler (Fuzzy Sets), Sayısal Olmayan Özellikler İle Belirlenen Örüntüler, Küme Üyeli¤İnin Ayıraçlarının (Discriminant) Ö¤Renilmesinde Genel Amaçlı Birim Algılayıcı (Perception) Yöntemi, Paralel Yapılı (Associative) Bellek Yapıları, Örüntü Tanıma İçin Sinir A¤Ları (Neural Nets) Yöntemlerinin İlişkileri, Uyarlanabilir Örüntü Tanımada Yöntemler.
BİL692 Bilişim Kuramı
Olasılık Kuramı, Koşullu Olasılıklar, Raslantı De¤İşkenleri Ve Bu De¤İşkenlerin Olasılık İşlevleri. Bilgi Ölçüsü: Belirsizlik Ölçüsü, Belirsizlik İşlevi Ve Özellikleri, Bilgi Ölçüsü, Entropi. Gürültüsüz Kodlama: Tek Çözülebilir Kodlar, Anında Çözülebilir Kodlar, Gürültüsüz Kodlama Kuramı, En İyi Kodlar, Huffman Kodu. Kesikli Belleksiz Kanallar; İletişim Kanalları İçin Modeller, Kanal Sı¤Ası, Kanalların Sınıflandırılması, Bilişim Kuramının Temel Önermesi. Yanlış Düzelten Kodlar: En Küçük-Uzaklık İlkesine Göre Kod Çözme, Eşlik Denetimli Kodlama, Dönüşlü Kodlar. Bilgi Kaynakları: Bilgi Kaynakları İçin Matematiksel Model, Sonlu Markov Zincirleri, Kayna¤In Belirsizli¤İ, Sonlu Bellekli Kaynaklar Ve Kayna¤In Derecesi. Kesikli Bellekli Kanallar, Sonlu-Durumlu Kanallar, Sonlu Durumlu Düzgün Kanallar İçin Kodlama Kuramı, Kanal Sı¤Ası. Sürekli Kanallar: Kesikli-Zaman Gauss Kanalı, Sürekli Zaman Gauss Kanalı, Kuşa¤I Sınırlı Kanallar.
BİL694 Çizge Kuramı
Çizge Tanımı, "Yürüyüş","Yol","Döngü" Vb. Kavramlar, Çeşitli Çizge Türleri: Yönlü Çizge, İkiye Ayrılır Çizge, Tam İkiye Ayrılır Çizge, K.Dereceden Düzenli Çizge, Bitişik Çizge, Döngülü Çizge, Döngüsüz Çizge, Eşbiçimli Çizge, Çizge Gösterimleri, Eşbiçimlilik, Alt Çizgeler, Bir Çizgenin Tümleyeni, Aular Çizgesi, Haliton Çizgesi, Erişilebilirlilik. Çizge Uygulamaları: Minimum Yayılımlı Aşaç, Maksimum Akış Sorunu, En Kısa Yol Sorunu, Düşüm Boyama Sorunu. Cizgeye Dayalı Çeşitli Teoremler.
BİL697 Bilişim Ve Bilgisayar Bilimleri Özel Konul.

BİL705 Sistem Yazılımında Bilgi Y.

BİL714 Bilgisayar Yapısı Ve İşletim Dizgeleri

BİL718 Bilgisayar Yapımı Ve İşletim Dizgesi

BİL721 Minibilgisayar Lab.

BİL729 Veri İletimi Teknikleri

BİL743 Dizge Çözümleme

BİL802 İleri Dizge Programlama

BİL804 Benzetim Kuramı

BİL808 Bilgi Erişim Dizgeleri

BİL810 İşletim Dizgesi Laboratuvarı

BİL900 Özel Konular