BAHÇEŞEHİR ÜNİVERSİTESİ BİLGİ PAKETİ / DERS KATALOĞU
| MATEMATİK BİLGİSAYAR | |||||
| Lisans | TYYÇ: 6. Düzey | QF-EHEA: 1. Düzey | EQF-LLL: 6. Düzey | ||
Ders Tanıtım Bilgileri
| Ders Kodu | Ders Adı | Yarıyıl | Teorik | Pratik | Kredi | AKTS |
| GEP1824 | Modern Mantık | 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: | LİSANS |
| Dersin Veriliş Şekli: | E-Öğrenme |
| 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. Derste kullanılan öğretim yöntem ve teknikleri: anlatım, okuma, bireysel çalışma, örnek inceleme, problem çözme ve tartışma yapmaktır. |
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) | Ara Sınav Haftası | 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 | 13 | 3 | 39 |
| Sınıf Dışı Ders Çalışması | 13 | 3 | 39 |
| Ödevler | 2 | 17 | 34 |
| Ara Sınavlar | 1 | 2 | 2 |
| Final | 1 | 2 | 2 |
| Toplam İş Yükü | 116 | ||
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 matematik, uygulamalı matematik ve bilgisayar bilimi teori ve uygulamalarını kavramış olmak | |
| 2) | Matematiksel ispatları anlamak ve onlara erişebilmek ve uygun ispatları inşa edebilmek ve ayrıca, problemleri tanımlayabilmek, onları analiz edebilmek ve problemlere bilimsel metotlara dayalı çözümler bulmak | |
| 3) | Matematik ve bilgisayar bilimlerini, disiplinler arası bir yaklaşım ile gerçek hayata uygulayabilmek ve bunların etkin potansiyelini keşfetmek | |
| 4) | Kendisini geliştirmek ve matematiğin kullanıldığı alanlarda modelleme yapabilecek seviyede gerekli bilgi birikimini elde etmek | |
| 5) | Teorik ve teknik bilgileri detaylı bir biçimde uzmanlara, basit ve anlaşılabilir bir biçimde uzman olmayanlara anlatabilmek | |
| 6) | Matematik ve bilgisayar bilimleri alanında kullanılan bilgisayar programlarına aşina olmak ve bunlardan en az birini İleri Düzey Avrupa Bilgisayar Ehliyeti(the European Computer Driving Licence Advanced Level) seviyesinde kullanmak | |
| 7) | Görev aldığı projelerin her adımında sosyal, bilimsel ve etik değerlere uygun davranmak ve çevre katılımı kapsamında proje tanıtımı ve uygulamaları yapabilmek | 4 |
| 8) | Evrensel anlamda bir entelektüel birikime sahip olarak tüm süreçleri etkin bir biçimde değerlendirmek ve kalite yönetimi hakkında yeterli farkında lığa sahip olmak | 4 |
| 9) | Soyut düşünme yeteneğine sahip bir biçimde somut olaylar arasında ilgi kurmak, çözümleri aktarmak, deneyler tasarlamak, veri toplamak ve sonuçları bilimsel metotlarla analiz etmek ve müdahil olmak | 4 |
| 10) | Yaşam boyu öğrenme hakkında bilinçli olarak, program boyunca edinilen bilgi, beceri ve yeteneklerini yenileyerek yaşam boyu öğrenmenin devamını sağlamak | 4 |
| 11) | Cebir, analiz, sayılar teorisi, mantık, geometri ve topoloji gibi matematik alanlarında kazandığı bilgiyi ortaöğretim seviyesine uyarlamak ve aktarmak | |
| 12) | Yalnız veya bir ekibin elemanı olarak araştırma yapmak, bir projenin ilgili her adımında etkili olmak, karar verme süreçlerine katılmak, zamanı etkili kullanarak proje planlamak ve yürütmek |