Genel seçmeli dersler Koç Üniversitesinde açılan tüm dersler içinden alınır.

COMP 491 / BİTİRME PROJESİ I
Sınıf: Kredi: 4Önkoşul: (COMP. 202 and COMP. 302) or consent of the instructor

Öğrencilerin fen ve mühendislik bilgilerini bir bilgisayar mühendisliği projesinde uyguladıkları bir tasarım dersi. Gerçekçi koşullar ve kısıtlar altında bir grup projesinin geliştirilmesi, tasarımı, uygulaması ve yönetimi. İletişim, takım çalışması ve sunum becerilerine de ağırlık verilir.

COMP 492 / BİTİRME PROJESİ II
Sınıf: Kredi: 3Önkoşul:

Bilgisayar Mühendisliği alanında edinilen bilgilerin endüstri uygulaması olan bir proje çerçevesinde hayat geçirilmesi. Proje çalışması bir öğretim üyesi danışmanlığında olmak koşulu ile bireysel olarak yapılabileceği gibi grup olarak da yapılabilir.

COMP 504 / SAYISAL KONUŞMA VE SES İŞLEME
Sınıf: Kredi: 3Önkoşul: ELEC. 201 or consent of the instructor

Ses ve konuşma sistemleri, fonetik ve fonoloji bilgisi, konuşma işareti özellikleri ve tanımları, perde ve formantların rolu, perde ölçekli ve zaman ölçekli konuşma değiştirmeleri, konuşma kodlama yöntemleri ve internet üzerinden konuşma iletişimi (VoIP) sistemleri, örgü ve konuşma tanıma ana yöntemleri, konuşma tanıma için arama algoritmaları.

COMP 506 / SAYISAL İMGE VE VİDEO İŞLEME
Sınıf: Kredi: 3Önkoşul: ELEC. 303 or consent of the instructor

Çok boyutlu örnekleme teoreminin, örtüşmenin ve nicemlemenin tekrarı. Rengin, insan görme sisteminin, 2-D öbek dönüşümünün, DFT, DCT ve dalgacık, imge süzgeçleme, ayrıt sezimi, iyileştirme ve onarımın temelleri. Temel video dosyası biçimleri, değişik sayısal video uygulamaları için çözünürlükler ve bit hızları. 2D ve 3D modeller kullanılarak devinim çözümlemesi ve kestirimi. Gürültünün çıkarılması, binişmenin kaldırılması ve çözünürlük iyileştirmesi için devinimi dengelenmiş süzgeçleme yöntemleri. JPEG/JPEG2000 ve MPEG1/2 ve 4 ü de içeren sayısal imge ve video sıkıştırma yöntemleri ve standartları. İçeriğe bağlı imge ve video indeksleme ve MPEG-7.

COMP 508 / BİLGİSAYARLA GÖRME VE GÖRÜNTÜ TANIMA
Sınıf: Kredi: 3Önkoşul:

Bilgisayar sistemlerinde hesaba dayalı görsel algılama modelleri ve bunların gerçekleştirimi. İmge oluşumu; kenar, köşe ve sınır çıkarımı; bölütleme, eşleştirme, örüntü tanıma ve sınıflandırma teknikleri; üç boyutlu görme: izdüşüm geometrisi, kamera kalibrasyonu, stereo/silüet/tonlama bilgisinden şekil, model tabanlı 3B nesne tanıma; renk, doku, radyometri ve BDRF; devinim analizi.

COMP 510 / BİLGİSAYAR GRAFİĞİ
Sınıf: Kredi: 3Önkoşul: COMP. 202 or consent of the instructor

Üç boyutlu bilgisayar grafiği kuramı ve uygulamaları. Grafik sistemleri ve modelleri; geometrik gösterimler ve dönüşümler; grafik programlama; girdi ve etkileşim; bakma ve izdüşüm; bileştirme ve karıştırma; ışıklandırma ve renk modelleri; tonlama; doku yapıştırma; canlandırma; görsel gerçekleme; sıradüzensel ve nesne yönelimli modelleme; sahne çizgeleri; 3B geriçatım ve modelleme

COMP 513 / BİLİŞİM KURAMI
Sınıf: Kredi: 3Önkoşul:

Entropi, bağıl entropi ve karşılıklı bilgi miktarı; sonuşurda eşbölüntü kuramı; rastgele bir sürecin entropi hızları; veri sıkıştırma; Kolmogorov karmaşıklığı; kanal sığımı; ayrımsal entropi; Gauss kanalı; en yüksek entropi ve spektral kestirim; hız bozulum kuramı, ağ bilişim kuramı.

COMP 515 / DAĞITIK BİLGİSAYAR SİSTEMLERİ
Sınıf: Kredi: 3Önkoşul: COMP. 304 or consent of the instructor

Dağıtık bilgisayar ve işletim sistemleri, tasarım kavramları, süreç eşzamanlaması ve kilitlenme, çoklu kullanım, iletişim protokolleri, dağıtık sistemlerde eşzamanlama, zaman yönetimi, mantıksal zamanlama, tutarlı genel durumlar, seçim algoritmaları, karar ve eşgüdüm protokolleri, çoğa dağıtım modeli, koşutzaman denetimi, kayıp kurtarımı, hata toleransı, güvenlik.

COMP 528 / HABERLEŞME AĞLARI
Sınıf: Kredi: 3Önkoşul:

Yeni nesil haberleşme sistemleri, kablosuz hücresel ağlar, makineden makineye haberleşme, Nesnelerin Interneti, yazılım tanımlı ağlar, fiziksel katman veri iletimi, kanal yayılım özellikleri, modülasyon, demodülasyon, ortam erişim kontrol katmanı, veri bağlantı katmanı, ileri ve geri hata kontrol, yönlendirme katmanı, optimal yönlendirme, taşıma katmanı, akış kontrolü, tıkanıklık kontrolü

COMP 529 / PARALEL PROGRAMLAMA
Sınıf: Kredi: 3Önkoşul:

Temel koşut-zaman kavramları, gerekirci olmamak, bölünmezlik, yarış durumları, eşzamanlama, birbirini dışlama. Paralel mimariler, çok çekirdekli işlemciler, dağıtık bellek mimariler. Paralel programlama modelleri ve dilleri, çok-örgülü, mesaj geçirme, veri güdümlü, veri paralel programlama. Paralel program tasarımı, ayrışma, tanesellik ölçüsü, yerellik, iletişim, yük dağılımı. Paralel programlama desenleri, yapısal, işlemsel, strateji, koşut-zamanlı yürütme desenleri. Başarım modelleme, paralelleştirmenin getirdiği ek yükler.

COMP 532 / MULTIMEDIA COMMUNICATIONS
Sınıf: Kredi: 3Önkoşul: ELEC. 406 or consent of the instructor

Çokluortam (resim, video ve ses) kaynak kodlama ve sıkıştırma teknikleri ve standartları (MPEG, JPEG, H26X) özeti; Haberleşme ve ağ mimarilerinin özeti; Servis kalitesi, gecikme, seğirme, hız kontrolü, çizelgeleme, ve gerçek-zamanlı çokluortam iletimi için trafik mühendisliği; Gerçek zamanlı haberleşme teknikleri ve protokolleri, RTP/RTCP, IntServ, DiffServ, MPLS; İnternet, kablosuz kanallar, mobil hücresel ağlar, GSM, 3G, 4G kablosuz sistemler ve uydu ağlarında çokluortam gönderimi; Mevcut ve gelecek çokluortam haberleşme uygulamaları, VoIP, İnternet video konferans, SIP, IMS, video-on-demand, sayısal video yayın sistemleri, gerçek-zamanlı 3DTV iletimi; Çokluortam haberleşme üzerine araştırmaların mevcut durumu ve gelecek vizyonlar.

COMP 534 / BİLGİSAYAR VE AĞ GÜVENLİĞİ
Sınıf: Kredi: 3Önkoşul:

Bilgisayar güvenliği teknikleri, geleneksel şifreleme, açık anahtarlı şifreleme sistemi, anahtar yönetimi, ileti doğrulama, kıyım fonksiyonu ve algoritmaları, sayısal imza, doğrulama protokolleri, erişim denetim mekanizmaları, ağ güvenlik pratiği, TCP/IP güvenliği, Web güvenliği, SSL, hizmeti-engelleme saldırıları, izinsiz giriş sezme, virüsler.

COMP 537 / AKILLI KULLANIM BİLGİSAYAR ARAYÜZLERİ
Sınıf: Kredi: 3Önkoşul: (COMP. 130 or COMP. 131) or consent of the instructor

Akıllı İnsan-Bilgisayar Arayüzleri'nin bilgisayarlı görme, öğrenme, örüntü tanıma, yapay zeka teknolojileri kullanarak tasarımı, gerçekleştirimi, test edilmesi. Destekleyici metodlar (sınıflandırma, regresyon, çok kipli bilgi birleştirme, nesne tanıma); teknolojiler (bakış takibi, hareket tanıma); donanımlar (dokunsal araçlar, kalem temelli bilgi giriş araçları, kamera ve mikrofon dizileri).

COMP 540 / BİLGİ ERİŞİMİ
Sınıf: Kredi: 3Önkoşul:

Temel ve ileri düzey bilgi erişim sistemleri. Metinlerin işlenmesi, indislenmesi, sorgulanması, erişimi. Modern arama motorlarının çalışma teknikleri. Gerçek uygulamalar için arama motoru geliştirilmesi.

COMP 541 / DERİN ÖĞRENME
Sınıf: Kredi: 3Önkoşul:

Sınıflandırma ve regresyon için temel doğrusal modeller; stokastik gradyan takibi yaparak öğrenme; çok katmanlı yapay sinir ağları, katlamalı sinir ağları ve özyinelemeli sinir ağları; alandaki güncel gelişmeler; makine çevirisinden ve bilgisayar görmesinden pratik örnekler; derin öğrenme modellerini programlama, eğitme, değerlendirme ve kıyaslama konusunda pratik deneyim.

COMP 542 / DOĞAL DİL İŞLEME
Sınıf: Kredi: 3Önkoşul:

Doğal dil işlemede temel kavramlar ve güncel araştırmalar. Dil verilerini işleyen algoritmalar. İnsan dilinin bilişimsel özellikleri. Bicımbirimsel, sözdizimsel ve anlamsal seviyelerde analiz. Büyük derlem kullanımı, istatistiksel analiz ve öğrenme algoritmaları gibi modern sayısal tekniklerin öğrenme, anlam belirsizliği, cümle çözümleme gibi problemlere uygulanması. Otomatik tercüme ve soru cevaplama gibi uygulamalar.

COMP 543 / ÇAĞDAŞ KRİPTOLOJİ
Sınıf: Kredi: 3Önkoşul: COMP. 106 or consent of the instructor

Kriptolojik sistemlere giriş. Simetrik şifreleme, açık anahtar mucizesi, tek-yönlü fonksiyonlar, kıyım fonksiyonları, rastgele sayılar, sayısal imzalar, sıfır-bilgi ile kanıtlama, çağdaş kriptosistemler, çok-ortaklı hesaplama. Kriptoloji uygulamaları, internette alışveriş, BitTorrent görevdeş dosya paylaşım sistemi, bazı eski şifreleme algoritmalarını kırılması.

COMP 546 / ALGORİTMA TASARIMI VE İNCELEMESİ
Sınıf: Kredi: 3Önkoşul: COMP. 202 or consent of the instructor

Veri yapıları, algoritmalar ve ilgili hesaplama karmaşıklıkları.Sönüşür (asimtotik) karmaşıklık ölçütleri. Çizge gösterimleri ve algoritmaları. Çizgelerde dolaşma ve arama. Yönlü çizgeler ve topolojik sıra. Ormanlar ve ağaçlar. Minimum kapsayan ağaç. İki-kısımlı uydurma. Birleşim-aramalı veri yapıları. Yığıtlar. Kıyım algoritmaları. Amortize edilmiş karmaşıklık analizi. Eniyileme algoritmaları. Dinamik programlama. Fırsatçı algoritmalar. En kısa yol algoritmaları. Ağ akışı. Rasgele algoritmalar. Doğrusal programlamaya giriş. NP-completeness kavramına giriş. Karar-verme problemleri. Doğal NP-complete problemler ve yaklaşım algoritmaları. Matris gösterimleri ve algoritmaları.

COMP 570 / BİOİNFORMATİK VE BİLİŞİMSEL BİOLOJİ ALGORİTMALARI
Sınıf: Kredi: 3Önkoşul:

Biyolojik sistemlerin incelenmesi icin algoritmalar, modeller, veritabanlari. Sekans analizi, karsilastirmalar, veri tabanlarinda benzerlik eslestirmeleri. Filogenetik soy agaclari. Protein dizilerinde kaliplar bulma. Protein uc boyutlu yapi tayini. Homoloji modellemesi, protein katlanma problemi. Simulasyon yontemleri. Proteinler arasi etkilesmeler. Network cesitleri. Sinyal networkleri icin veri tabanlari ve modellemeler. Sinyal netorkleri icin veru madenciligi.

COMP 589 / YAZILIM GÜVENİLİRLİĞİ: BELİRTİM, SINAMA VE DOĞRULAMA
Sınıf: Kredi: 3Önkoşul:

Yazılım güvenilirliğini sağlama amaçlı araç ve teknikler. Belirtim yöntemleri ve dilleri. Modelleme araçları ve dilleri. Birim ve birleştirme sınamaları. Otomatik sınama ve doğrulama araçları ve algoritmaları. Programların ve koşturmaların matematiksel temsili. Hoare mantığı. Modüler kontratlar ile belirtim yazma: İlk- ve son-durum belirtimleri, döngü ve nesne değişmezleri. Sahiplik sistemleri. Otomatik sınama senaryosu üretimi. Model-tabanlı sınama. Sınama yeterliği için kapsama ölçütleri. Güvenilir yazılım için tip ve etki sistemleri. Yazılım model sınayıcılar. Durağan çözümleme. Koşut-zamanlı/çok-örgülü programlar. Koşut-zamanlı programlar için doğruluk kriterleri: yarış durumları, bölünmezlik, sıralanabilirlik ve dizilebilirlik. Koşut-zamanlı programlar için sınama, doğrulama ve hata ayıklama araçları.

ELEC 100 / ELEKTRİK VE ELEKTRONİK MÜHENDİSLİĞİNE GİRİŞ
Sınıf: Kredi: 3Önkoşul:

Elektrik ve Elektronik (EE) Mühendisliğinin kısa tarihçesi, EE ders programının ve tanıtımı, EE'de uzmanlık alanlarının kısa tanıtımı, EEM'nde bazı güncel uygulamaların uzmanlık alanları ile örtüşümü, sinyal ve frekans kavramlarının tanıtımı, Uzmanlık alanlarından Sinyal İşleme, Elektronik, Haberleşme, Elektromanyetik ve Optik konularının ve bunların doğal uzantıları olan Mikro-Elektro-Mekanik sistemler, Ağ, Görüntü ve Video işleme, Lazerler ve Fotonik sistemler ve Biyomedikal gibi konuların uzmanları tarafından daha detaylı tanıtımları, Matlab Programlama Dili.

ELEC 201 / İŞARETLER VE SİSTEMLER
Sınıf: Kredi: 4Önkoşul: MATH 107 & MATH 106

Ayrık ve sürekli zamanlı işaretler ve sistemlere giriş. Zaman alanlı işaret gösterimi, doğrusal zaman değişimsiz (LTI) sistemlerin dürtüsel tepkisi ve evrişim. Sıklık alanlı işaret gösterimi, LTI sistemlerin sıklık tepkisi ve Fourier çözümlemesi. Sürekli ve ayrık zamanlı işaretlerin süzgeçlenmesi. Analog işaretlerin örneklenmesi ve ayrık zamanlı işlenmesi. Sürekli zamanlı LTI sistemlerin Laplace-dönüşüm alanlı çözümlenmesi. MATLAB ile alıştırmalar.

ELEC 202 / DEVRELER
Sınıf: Kredi: 4Önkoşul: MATH 106 & MATH 107

DC Devreler, Temel Kavramlar, Temel Kanunlar, Analiz Metotları, Devre Teoremleri, İşlevsel Amplifikatörler, Kapasitörler ve İndüktörler, Birinci Derece Devreler, AC Devreler, Sinusoidler ve Fazörler, Sinusoidal Durağan Durum Analizi; AC Güç Analizi; Mıknatıslı Bağlaşma Devreleri; Laplace Dönüşümü Uygulamaları; Frekans Tepkisi; Bode çizimleri.

ELEC 204 / SAYISAL SİSTEMLERİN TASARIMI
Sınıf: Kredi: 4Önkoşul:

Bilgisayar donanım teknolojisi, sayısal donanım, Boole cebri, mantık fonksiyonları ve kapılar;,doğal biçimler, Boole fonksiyonlarının basitleştirilmesi, Karnaugh haritalar, sayı sistemleri ve dönüşümleri, tümleyen aritmetik, toplayıcıla;, giriş yol seçiciler, üç-durumlu çıkışlar, kodlayıcılar; çözücüler; ardışık mantık; iki durumlu elemanlar, ardışık devre analizleri, ardışık devre tasarımı, saklayıcılar ve sayıcılar, bellek ve programlanabilir mantık, merkezi işlem birimi, tasarım projesi.