Dersler

CENG 501 İstatistiksel Veri İşleme Giriş (3-0)3

Bilgisayar ve istatistik tekniklerinin veri işleme uyarlaması ve uygulanması. Kodlama hazırlığı, veri toplama (bilgisayarlı olan ve olmayan), eleme, özetleme, tablolama ve analiz, olasılık ve şans değişkenleri, istatistiksel tahminleme ve hipotez kontrolları, sayımla elde edilen verilerin analizi. Doğrusal modeller (regresyon, korelasyon, varyans analizi).

CENG 502 Sistem Modelleme ve Bilgisayarlı Benzetim (3-0)3

Giriş, Sistem kavramı, Sistem Modelleme, Monte Carlo tekniği, Sistem Girdi değişkenlerinin tanımlanması ve seçilmesi, şans sayıları türetimi ve incelenmesi, şans değişkenleri türetilmesi, ayrık sistem benzetimi, ayrık sistem benzetim yazılımları.

CENG 504 Eniyileme Yöntemleri (3-0)3

Doğrusal programlama, doğrusal olmayan programlama, sınama-yanılma yöntemleri ve dinamik programlama tanıtılarak özellikle optimal denetim problemlerine uygulanacak. Dinamik programlama yaklaşımından kesikli ve sürekli optimal düzenleyiciler türetilecek. Doğrusal gözlemci ve ayırma teoremleri geri beslemeli denetleyici uygulamaları için geliştirecek.

CENG 505 İleri Bilgisayar Ağları

Bilgisayar ağları, kablosuz ağlar, OSI katmanları, Internet modeli, TCP-UDP/IP, kablosuz TCP, mobil IP, Ipv6, tıkanma kontrolü, servis kalitesi hizmetleri, “multicast” yönlendirme, gerçek-zamanlı haberleşme için destekler ve protokoller, ağ güvenliği, gelecek kuşak ağlar.

CENG 503 Tıp ve Biyolojide Bilgisayar Uygulamaları (3-0)3

Hastane bilgi sistemlerinin analiz ve tasarımı. Biyolojik modelleme ve tıbbi görüntü işleme algoritmalarının matematiksel, fiziksel ve fizyolojik temelleri. Beyin, kalp, sinir sistemi ve duyu organları gibi organların bilgisayarda modellemesine ilişkin konular.

CENG 508 Sayısal Görüntü İşleme (3-0)3

Bu ders fotoğraf, uzaktan algılama, tarayıcılar gibi yollarla elde edilmiş görüntüleri işlemek ve zenginleştirmek için gerekli konuları kapsar. Transformasyon teknikleri, kayıtlar ve ayırım fonksiyonlarını içerir.

CENG 511 İleri Bilgi Kuramı (3-0)3

Bu ders, tiplere ait metodları ortaya koyarak başlayacaktır. Ardından çarpıklık oranı kuramı ele alınacaktır. Ayrıca çok sayıda-kullanıcı kanalları ve rastgele parametreli kanallar işlenecektir. Son olarak ilintili kaynak kodlaması kavramı verilecektir.

CENG 512 İleri Hesaplama Kuramı (3-0)3

Bu ders farklı biçimsel hesaplama modellerini ortaya koyarak başlayacaktır. Sonrasında Church-Turing tezi ele alınacaktır. Ayrıca karar verilebilirlik ve indirgenebilirlik konuları işlenecektir. Son olarak, karmaşıklık ve ilgili kavramlar hakkında ayrıntılı bilgi verilecektir.

CENG 513 Derleyici Tasarımı ve Gerçekleştirimi (3-0)3

Bu ders derleyici tasarımının teorisi ve uygulaması üzerine odaklanmaktadır. Tarama ve çözümleme konuları işlenecektir. Ayrıca semantik analiz de ele alınacaktır.

CENG 514 Bilgisayar Tabanlı Sayılar Teorisi (3-0)3

Temeller, Kongruans, Denklem ve Üstler İçin Algoritmalar, Euler’in Φ Fonksiyonu ve Kodlanması, İkinci Derece Kongruanslar, Asal Sayılar, Kuadratik Kalanlar, Sürekli Kesirler, Asal Sayı Testi Algoritmaları, Büyük Asal Sayı Bulma, Eliptik Eğriler, Faktörizasyon Algoritmaları, Tamsayı Faktörizasyonunda Üstel Metotlar İçin Algoritmalar, Subeksponansiyel Faktörizasyon Algoritmaları, Ayrık Logaritma Hesaplamaları.

CENG 515 Bilgisayar Bilimlerinde Çeşitli Konular (3-0)3

Bilgisayar Bilimlerinin ileri konularından seçilen çeşitli konular seminer ortamında kapsanacaktır.

CENG 516 İleri Programlama Dilleri (3-0)3

Yeni programlama dilleri tasarlamak ve geliştirmek, modern programlama dillerinin var olan özelliklerini incelemek ve kavramak, programlama dili tasarım kararlarının gerçekleştirimler üzerindeki etkisini anlamak.

CENG 517 Bilgisayar Bilimleri Klasikleri (3-0)3

Gödel karar verilemezlik teoremi, hesaplanabilirlik, oyun kuramı üzerine görüşler, bilgi kuramı temelleri, çizgeler, bilgisayar ağları, kriptografide yeni yönelimler, Antikythera mekanizması, “declarative” programlama, ilişkisel veritabanı modeli, makineler ve zeka, hesaplama karmaşıklığı.

CENG 521 İleri İşletim Sistemleri (3-0)3

İşletim sistemleri, süreç senkkronizasyonu, dağıtık sistemler iletişimi, dağıtık sistemlerde senkronizasyon, dağıtık algoritmalar, dağıtık sistemlerde statik ve dinamik iş dağıtımı, grup iletişimi, hata toleransı, dağıtık gerçek-zamanlı sistemler.

CENG 522 İleri Gömülü Sistem Tasarımı (3-0)3

Gömülü sistemler, bilgisayar mühendisliğindeki rolü; özel ve genel amaçlı mikroişlemci tasarımı, mikrodenetleyiciler, gömülü yazılım; gerçek-zamanlı sistemler, planlama ve zamanlama problemleri; test ve performans; güvenilirlik; tasarım metodolojileri, yazılım geliştirme ortamları; süreklilik ve güncelleme problemleri;uygulamaya özel entegre devre tasarımına giriş, VHDL.

CENG 523 Gerçek-Zamanlı Sistemlerde İleri Konular (3-0)3

Gerçek-Zamanlı yazılım tasarımı konuları, gerçek-zamanlı işletim sistemleri, gerçek-zamanlı görev planlama algoritmaları, yazılım spesifikasyonlarında kullanılan formal metotlar, zaman otomatlarını kullanarak modelleme ve doğrulama, yazılım tasarımı, programlama dilleri, test, performans çözümlemesi ve eniyilemesi, belgeleme, yazılımın yeniden kullanımı, hataya dayanıklılık.

CENG 524 İleri Bilgisayar Mimarisi (3-0)3

Mikroişlemci tasarımının temelleri, komut seti mimarisi, “pipelining”, ileri bellek hiyerarşilerinin tasarımı, “multithreading”, proses seviyesinde ve komut seviyesinde parallelleştirme, işlemciler arası haberleşme modelleri, çoklu işemciler, gelecekte beklenen gelişmeler.

CENG 531 Yapay Us (3-0)3

Yapay us yaklaşımları; yüksek düzenli mantık; tasarlama; uzman dizgeler; yapay us dizgelerin çevresi; yapay us dizgelerde esnek hesaplama; simgesel olmayan öğrenme; doğal dil işleme; akıllı aracı; çoklu aracı dizgesi; anlamsal örgü; robot bilimi.

CENG 532 Uzman Sistemler ve Bilgi Mühendisliği (3-0)3

Uzman sistem geliştirilmesindeki çeşitli tekniklere giriş. Bilgi tanıtma yöntemleri, üretim sistemleri, yorum yöntemleri, belirsizlik ve ipucu kombinasyonları, uzman sistem mimarisi ve kontrolu, bilgi edinme, uzman sistem programlama dilleri, çeşitli durum analizleri.

CENG 533 Olasılıksal Çıkarsama (3-0)3

Akıllı bilgisayar etmenlerinin karmaşık, belirsizlik içeren ve dinamik ortamlarda hedeflerine yönelik davranışları göstermeleri beklenmektedir. Bu bağlamda, karmaşık problemlere atanan etmenlerin belirsizlik altında karar verebilme yetisine sahip olmaları gerekmektedir. Etmenin doğru kararları verebilmesi için bulunduğu ortam hakkında sahip olduğu bilginin yanında ortam üzerinde değişikliğe neden olabilecek hareketlerinin, hedeflerinin ve tercihlerinin iyi tanımlanmış olması gerekmektedir. Bu ders kapsamında belirsizliğin modellenmesi ve belirsizlik altında karar verme sürecinde karşılaşılan sorunlarda kullanılabilecek olasılıksal çıkarsamaya dayalı çözüm yaklaşımları tartışılmaktadır.

CENG 541 İleri Veritabanı Yönetim Sistemleri (3-0)3

İlişkisel kuramı ve uzantıları: ilişkisel hesap, ilişkisel cebir, üst dereceli normal biçimler; ileri veri taban yönetim dizge kavramları: bütünlük, kurtulma, koşul zamanlı, güvenlik, sorgu eniyileştirme; nesneye dayalı veritabanları; dağıtık veri tabanları, ilgili uygulamalar ve tutanaklar: veri çoklama, veri parçalama, eşgüdümleme, yük dağılımı; koşut veritabanları; çıkarsamalı veritabanları; birleştirilmiş veritabanları ve türdeş/türdeş olmayan.

CENG 542 Stratejik Bilgi Çıkarımı (3-0)3

Bilgi keşfi ve veri madenciliği, veri ambarcılığı, veri hazırlama ve veri madenciliği ilkelleri, kavram tanımlama, ilişki kuralları madenciliği, sınıflandırma ve tahminleme, küme analizi, web madenciliği, veri madenciliği uygulamaları.

CENG 551 İleri Yazılım Mühendisliği (3-0)3

Bu ders yazılım mühendisliği kavramını ortaya koyarak başlayacaktır. Ardından yazılım geliştirme süreci anlatılacaktır. Ders kapsamında yazılım gereksinimleri, yazılım spesifikasyonu, yazılım analizi ve biçimsel analiz konuları işlenecektir. Ayrıca kalite yönetimi, ürün metrikleri, süreç metrikleri, COTS ve yazılım psikolojisi konuları da ele alınacaktır.

CENG 552 Yazılım Sınama (3-0)3

Yazılım sınamanın temelleri, yazılım sınama süreci ve sürekli kalite arttırımı, sonlu durum modelleri ile sınama olgularının oluşturulması, beyaz kutu ve siyah kutu yaklaşımları ile sınama yeterliliği değerlendirmesi, model temelli yazılım sınama.

CENG 561 İleri Bilgi Güvenliği (3-0)3

Veri güvenliği ile ilgili kavramlar ve uygulamalar, risk ve zayıflıkların analizi, politika oluşturma, kontrol ve koruma metotları, veritabanı güvenliği, kimlik denetleme teknolojileri, hukuk ve mahremiyet gibi konular ders kapsamında incelenecektir.

CENG 562 İnternet Güvenliği (3-0) 3

İnternet güvenliğine giriş, Temel şifreleme teknikleri, TCP/IP güvenliği, Elektronik posta güvenliği, Web güvenliği, Ağ yönetim güvenliği, Güvenlik duvarları, Saldırı tespit sistemleri, İnternet güvenlik yönetim araçları.

CENG 563 Veritabanı ve Yazılım Güvenliği (3-0)3

Güvenli veritabanları ve güvenli yazılım uygulamaları konuları, geliştirim yöntemleri ve araştırma alanları. Veritabanları ve yazılımlar için güvenlik modelleri, temelleri ve pratikleri.

CENG 564 Bilgi Sistemleri Politika, Yönetim ve Organizasyonu (3-0)3

Strateji, Güvenlik, Ulusal/Uluslararası Kripto Strateji ve Politikası, Kripto Cihazları İthalat/İhracat Rejimleri, Bilgi Yönetimi ve Politikası Geliştirme, Bilgi Sistemleri Stratejisi/Güvenliği Standart ve Politikaları, Bilgisayar Güvenliği Acil Durum Kurumları (CERTs), Süreklilik Planlaması, Beklenmeyen Durum ve Sonrası Standart ve Politikalarının Belirlenmesi, Organizasyonlar, NGO-Think Tanks, Bilgi Sistemleri ve Açık Kaynak İstihbaratı, Strateji/Politika Belirleyici Yazılımlar-Simülatörler, Elektronik Ticaret, Onay Kurumları, Elektronik Noter, Elektronik Para.

CENG 565 C4I ve Bilgi Savaşları (3-0)3

Kavramlar, Terminoloji, Komuta-Kontrol-İletişim-Bilgisayar ve İstihbarat ( Command-Control-Communications-Computers and Intelligence – C4I ) Yapısı, Hedefler ve Tehditler, Siber Uzayda Saldırı ve Önlemler, Ekonomik – Psikolojik ve İstihbarat Savaşları, Bilgi Savaşları Stratejisi, Siber Uzayda İstihbarat ve İstihbarata Karşı Koyma, Siber Terörizm.

CENG 590 Seminer (0-2)

Bu seminer dersi, lisansüstü tezi konusunda çalışan tüm yüksek lisans öğrencileri tarafından alınmak zorundadır. Dersi alan öğrenciler, tez hakkında sunum yapmak ve gelişme ve sonuç raporları hazırlamak zorundadır.

CENG 500 Yüksek Lisans Tezi (0-1) Kredisiz

Yüksek Lisans derecesi için araştırma yönetimi programı, öğrenci ve fakülte üyesi arasında ayarlanmaktadır. Tez araştırmasını veya tezin yazımını başlamasının ikinci döneminden itibaren her dönem öğrenciler bu dersi alır.

CENG 8XX Uzmanlık Alanı Dersi (4-0)Kredisiz

Yüksek lisans öğrencileri belli bir konu seçip genelinde kendi tez danışmanları olan bir öğretim üyesinin yönlendirmesiyle o konuyu inceler.

CENG 9XX Uzmanlık Alanı Dersi (4-0)Kredisiz

Lisansüstü öğrencileri bir grup halinde ya da bir doktora öğrencisinin ileri araştırma konuları seçip genelinde kendi tez danışmanları olan bir öğretim üyesinin yönlendirmesiyle seçilen konuları inceler.