Veri Yapıları ve Algoritmalar
COMP2102
Algoritma analizi, bağlı liste, yığın, sıra, ağaç, özetleme, öncelikli sıra, sıralama, çizge veri yapıları ve çizge algoritmaları.
AKTS
6Kredi
4Saatler
(3 + 2 + 1 )Ayrık Matematik
MATH2103
Önerme mantığı. Doğruluk tabloları. Mantıksal denklikler. Önerme fonksiyonları ve niceleyiciler. Çıkarım kuralları. İspat yöntemleri ve stratejileri. Kümeler. Kümeler üzerinde işlemler. Fonksiyonlar. Diziler ve toplamlar. Bölünebilirlik. Modüler aritmetik. Tümevarım ve güçlü tümevarım. Özyinelemeli tanımlar ve yapısal tümevarım. Temel sayma teknikleri. Güvercin yuvası ilkesi. Permütasyonlar ve kombinasyonlar. Ekleme-çıkarma. Bağıntılar. Denklik bağıntıları. Çizgeler. Ağaçlar.
AKTS
6Kredi
3Saatler
(3 + 0 + 1 )Lineer Cebir
MATH2104
Karmaşık sayıların cebirsel özellikleri. Karmaşık sayıların kutupsal formu. DeMoivre formülü. Karmaşık kökler ve kuvvetler. Matris işlemlerinin cebirsel özellikleri. Özel matris türleri. Doğrusal denklem sistemlerin çözümü. Temel satır ve sütun işlemleri. Bir matrisin kademe formu. Gauss ve Gauss-Jordan yöntemleri. Temel matrisler. Determinant tanımı ve özellikleri. Eş çarpan genişlemesi. Eş çarpan ile ters bulma. Reel vektör uzayları. Alt uzay. Doğrusal bağımsızlık. Baz ve boyut. Koordinatlar. Öz değer ve öz vektör. Karakteristik polinom ve karakteristik denklem. Köşegenleştirme
AKTS
5Kredi
3Saatler
(3 + 0 + 0 )Yazılım Mühendisliğinin İlkeleri
SOFT2101
Yazılım mühendisliğine giriş. Yazılım geliştirme yaşam döngüsü modelleri. Gereksinim analizi. Nesneye dayalı sistem tasarımı, modelleme ve dokümantasyonu. Gerçekleştirilmesi. UML. Proje yönetimi. Konfigurasyon yönetimi. Yazılım kalite yönetimi.
AKTS
5Kredi
3Saatler
(3 + 0 + 0 )Mantık Devreleri Tasarımı
ELEC1401
Sayı sistemleri. Boole cebiri. Mantık devreleri ve devrelerin basitleştirilmesi. Kapılarla mantık devrelerinin tasarımı. MSI ve LSI teknolojileri. Birleşimsel devreler. Ardışıl devreler. Sayıcılar. Aritmetik mantık, bellek ve denetim birimleri.
AKTS
5Kredi
3Saatler
(3 + 0 + 1 )Mantık Devreleri Tasarımı Laboratuvarı
ELEC1402
Mantık kapılarının doğrulanması. Birleşimsel devrelere giriş. VHDL'ye giriş. İkili toplama devresi. İkili toplama-çıkarma devresi. Birleşimsel devre tasarımı. Çoklayıcılar (mux). Flip-floplar. Sayıcılar.
AKTS
2Kredi
1Saatler
(0 + 2 + 0 )Alan Seçmeli-I
SOFT-AE-I
Alan Seçmeli-I
AKTS
5Kredi
3Saatler
(3 + 0 + 0 )Etik
HUSS1002
Etik’teki (Ahlak Felsefesi) temel kuramlar. Bu kuramların mühendislik, tıp, farmakoloji, genetik, teknolojik inovasyon, yapay zeka ve robotoloji, işletme, pazarlama, uluslararası ilişkiler, kamu hizmeti, medya ve hukuk gibi mesleklerdeki ve alanlardaki pratik sonuçları. Erdemin ve değerlerin anlamı ve önemi. Belli mesleklerdeki ahlak ilkeleri ve onların Etik’teki temelleri.
AKTS
1Kredi
1Saatler
(1 + 0 + 0 )Yazılım Mimarisi
SOFT3205
Gereksinim Analizi, Alan Analizi, Yazılım Tasarım, Tasarım Kalıpları, Yazılım Sınama, Raporlama
AKTS
5Kredi
3Saatler
(3 + 0 + 0 )Gereklilikler Analizi
SOFT3501
COMP3104 (Eski CSE304) Emine COMP3105 (Eski CSE415) Emine COMP4102 (Eski CSE482) Emine SOFT2101 (Eski SE301) Emine SOFT3406 Software Verification and Validation, Emine SOFT3501 Requirements Analysis, Emine SOFT4304 (Eski SE304) Emine Yazılım Gereksinimleri ve Çeşitleri. Gereksinim Mühendisliği süreçleri. Problem analizi ve gereksinimlerin başlangıcı. Gereksinimlerin ortaya çıkarılması, analizi, belirtimi. Gereksinimler müzakere, önceliklendirme. Use-case modelleri. Gereksinim analizi dokümantasyonu.
AKTS
6Kredi
3Saatler
(3 + 0 + 0 )