BAHÇEŞEHİR ÜNİVERSİTESİ BİLGİ PAKETİ / DERS KATALOĞU
| BİLGİSAYAR PROGRAMCILIĞI (TÜRKÇE) | |||||
| Önlisans | TYYÇ: 5. Düzey | QF-EHEA: Kısa Düzey | EQF-LLL: 5. Düzey | ||
Ders Tanıtım Bilgileri
| Ders Kodu | Ders Adı | Yarıyıl | Teorik | Pratik | Kredi | AKTS |
| GEP1824 | Modern Mantık | Güz Bahar |
3 | 0 | 3 | 5 |
| Bu katalog bilgi amaçlıdır, dersin açılma durumu, ilgili bölüm tarafından yarıyıl başında belirlenir. |
Temel Bilgiler
| Öğretim Dili: | Türkçe |
| Dersin Türü: | GE-Elective |
| Dersin Seviyesi: | ÖNLİSANS |
| Dersin Veriliş Şekli: | Yüz yüze |
| Dersin Koordinatörü: | Dr. BURCU ALARSLAN ULUDAŞ |
| Opsiyonel Program Bileşenleri: | Yok |
| Dersin Amacı: | Öğrencilerin modern mantık konu ve kavramlarını tanıması, bu konu ve kavramlara dair düşünüş özelliklerini öğrenmesi |
Öğrenme Kazanımları
|
Bu dersi başarıyla tamamlayabilen öğrenciler; Modern mantığın problemlerini tanır Modern mantık ile diğer ilimler arasındaki ilişkiyi kavrar. Modern mantık ile klasik mantık arasındaki farkı anlatır. Mantık ile matematik arasında bağ kurar Önerme ve akıl yürütmeleri sembollerle anlatır |
Dersin İçeriği
| Modern mantık, doğruluk foksiyonu mantığı, formel çıkarım yöntemi, niceleme mantığı, mantık felsefesi |
Haftalık Ayrıntılı Ders İçeriği
| Hafta | Konu | Ön Hazırlık |
| 1) | Giriş | |
| 2) | Modern Mantığa Geçiş | Ders Notları |
| 3) | Doğruluk Fonksiyonu Mantığı | Ders Notları |
| 4) | Doğruluk Fonksiyonu Mantığı | Ders Notları |
| 5) | Doğruluk Fonksiyonu Mantığı | Ders Notları |
| 6) | Formel Çıkarım Yöntemi | Ders Notları |
| 7) | Formel Çıkarım Yöntemi | Ders Notları |
| 8) | Niceleme Mantığı | Ders Notları |
| 9) | Niceleme Mantığı | Ders Notları |
| 10) | Aksiyomatik Yöntem | Ders Notları |
| 11) | Aksiyomatik Yöntem | Ders Notları |
| 12) | Mantıkla İlgili Sorunlar | Ders Notları |
| 13) | Felsefe, Bilim ve Mantık | Ders Notları |
| 14) | Mantık Felsefesi | Ders Notları |
Kaynaklar
| Ders Notları / Kitaplar: | |
| Diğer Kaynaklar: | Doğan Özlem, Mantık, İstanbul 1996 Cemal Yıldırım, Mantık ‘Doğru Düşünme Yöntemi’ Bilgi yayınevi Teo Grunberg, Sembolik Mantık, El Kitabı, ODTÜ Geliştirme Vakfı Yayıncılık |
Değerlendirme Sistemi
| Yarıyıl İçi Çalışmaları | Aktivite Sayısı | Katkı Payı |
| Devam | 14 | % 10 |
| Ödev | 2 | % 20 |
| Ara Sınavlar | 1 | % 20 |
| Final | 1 | % 50 |
| Toplam | % 100 | |
| YARIYIL İÇİ ÇALIŞMALARININ BAŞARI NOTU KATKISI | % 50 | |
| YARIYIL SONU ÇALIŞMALARININ BAŞARI NOTUNA KATKISI | % 50 | |
| Toplam | % 100 | |
AKTS / İş Yükü Tablosu
| Aktiviteler | Aktivite Sayısı | Süre (Saat) | İş Yükü |
| Ders Saati | 14 | 3 | 42 |
| Ödevler | 2 | 10 | 20 |
| Ara Sınavlar | 1 | 15 | 15 |
| Final | 1 | 20 | 20 |
| Toplam İş Yükü | 97 | ||
Program ve Öğrenme Kazanımları İlişkisi
| Etkisi Yok | 1 En Düşük | 2 Düşük | 3 Orta | 4 Yüksek | 5 En Yüksek |
| Dersin Program Kazanımlarına Etkisi | Katkı Payı | |
| 1) | Temel matematiksel ve fiziksel konularda bilgi sahibi olmak, | |
| 2) | Ofis ortamında gerekli yazılım ve donanım bilgisine sahip olmak | |
| 3) | Yazılım ile ilgili temel kavramları, ilke ve esasları açıklayabilmek ve geliştirmek | |
| 4) | Bilgisayar alanındaki alet, makine ve araç gereci tanıma ve kullanabilme bilgi ve becerisine sahip olarak gerekli durumlarda sistem kurulum ve bakımını yapabilmek | |
| 5) | Türk dilini iyi kullanarak etkili iletişim kurabilmek ve meslektaşları ve müşterileriyle iletişim kurabilecek düzeyde yabancı dil bilmek, | 3 |
| 6) | Yazılımda gerekli veritabanı kurulum, bakım, kontrollerini yapabilmek, | |
| 7) | Masaüstü ve internet programcılığında grafiksel ve animasyon tasarımlar gerçekleştirme bilgi ve becerisine sahip olmak, | |
| 8) | Internet projeleri geliştirme, sürdürme ve kontrol bilgisine sahip olmak | |
| 9) | Proje geliştirme, ekip çalışması, yazılım ve donanım geliştirme bilgi ve becerisine sahip olmak | |
| 10) | İşletim ve ağ sistemleri hakkında temel bilgi ve beceriye sahip olmak, kurulum, bakım ve onarım yapabilmek |