DERS BİLGİ PAKETİ · PH105
Mantık I
Zorunlu · Fransızca
Bu sayfada
İçerik Konu Başlıkları Değerlendirme Sistemi Yeterlilik İlişkisi AKTS - İş Yükü Tablosu
Dersi Veren(ler)
T.necati ILGICIOĞLU
nilgicioglu@gsu.edu.tr
nilgicioglu@gsu.edu.tr
İçerik
Dersin Amacı
Mantıkın temel kavramlarının (geçerlilik, önerme, özne, yüklem, kanıt, vb.) öğrenilmesi ve uygulanması.
Dersin İçeriği
Önermeler mantıkı.
Dersin Öğrenme Çıktıları
Önermeler mantıkında doğruluk tabloları, doğruluk şemaları ve doğal tümdengelim kanıtlarını yapabilmek. Geçerli argümanla geçersiz argümanı ayırt edebilmek.
Öğretim Yöntemleri
Derste konu işleme ve alıştırmalar, ev ödevleri.
Kaynaklar
Logique formelle et argumentation, Laurence Bouquiaux & Bruno Leclercq, De Boeck, Brüksel, 2009.
Konu Başlıkları
| Hafta | Konu Başlıkları |
|---|---|
| 1 | Mantık |
| 2 | Özne yüklem |
| 3 | Önerme |
| 4 | Kanıt |
| 5 | Geçerlilik |
| 6 | Doğruluk tablosu |
| 7 | Doğruluk tablosu |
| 8 | Doğruluk şeması |
| 9 | Doğruluk şeması |
| 10 | Doğruluk şeması |
| 11 | Doğal tümdengelim kanıtları |
| 12 | Doğal tümdengelim kanıtları |
| 13 | Doğal tümdengelim kanıtları |
| 14 | Tekrar |
Değerlendirme Sistemi
| Etkinlikler | Sayı | Katkı Payı |
|---|---|---|
| Yarıyıl içi çalışmaların başarı notuna katkısı | 1 | 60 |
| Yarıyıl sonu çalışmaların başarı notuna katkısı | 1 | 40 |
| Toplam | 2 | 100 |
| Etkinlikler | Sayı | Katkı Payı |
|---|---|---|
| Ödevler | 15 | 15 |
| Sunum | 0 | 0 |
| Arasınavlar (Hazırlık Süresi Dahil) | 1 | 30 |
| Proje | 0 | 0 |
| Laboratuar | 0 | 0 |
| Diğer Uygulamalar | 0 | 0 |
| Kısa Sınavlar | 0 | 0 |
| Dönem Ödevi / Projesi | 0 | 0 |
| Portfolyo Çalışmaları | 0 | 0 |
| Raporlar | 0 | 0 |
| Öğrenme Günlükleri | 0 | 0 |
| Bitirme Tezi/Projesi | 0 | 0 |
| Seminer | 0 | 0 |
| Diğer | 15 | 15 |
| Toplam | 31 | 60 |
Yeterlilik İlişkisi
| Numara | Program Yeterlilikleri | Puan | ||||
|---|---|---|---|---|---|---|
| 1 | 2 | 3 | 4 | 5 | ||
| 1 | Çıkarım yaparak muhakeme yapmanın ilkelerini anlar; ürettiği ya da karşılaştığı matematiksel ifadenin doğruluğunu ve uygunluğunu sistematik şekilde sorgulayabilir; | X | ||||
| 2 | Temel matematik netice ve kavramlarını doğru şekilde bilir ve kullanır; | X | ||||
| 3 | Sık kullanılan hesap tekniklerine ve algoritmalara hakimdir; bunları hayata geçirmek için iyi bir hesap becerisine sahiptir; bir problemin çözümü için bildiği araçlar arasından ilgili aleti tespit edip kullanabilir ve bu aletlere sahip olup olmadığını muhakeme edebilir; | X | ||||
| 4 | Matematiksel fikirlerini yapılandırarak hem yazılı hem de sözlü ifade edebilir; | X | ||||
| 5 | Bildiği matematiksel kavram ve neticeler arasındaki bağlantıları idrak eder, matematik nesnelerinin temsil biçimlerinin (şekiller, formüller, ifadeler, tahminler, örnek kümeleri , ...) birinden diğerine geçiş yapabilir; | X | ||||
| 6 | Rehber gözetiminde özerk bir öğrenme tecrübesi geçirmiş ve karmaşık bir problemin çözümünün anlaşılması için stratejiler geliştirmiştir; | X | ||||
| 7 | Bilgisayar biliminin teori ve uygulamaları hakkında, bir programlama dili öğrenmeye devam etmeye yetecek temellere sahiptir; | |||||
| 8 | Matematik modellerinin uygunluğunu ve matematik aletlerinin doğa bilimlerinde ve iş dünyasında kullanımını sorgulamıştır; matematik kavramlarının tarihi evriminin farkındadır; | |||||
| 9 | Bir akademik serbestlik atmosferi içinde matematik içi veya dışı bir konuya adım atma fırsatına sahip olmuştur, eğitimde yolunu kendi başına çizmeyi ve sorumluluk almayı öğrenmiştir; | X | ||||
| 10 | Yabancı bir ülkede okumak ve çalışmaya yetecek seviyede fransızcaya ve başka bir yabancı dile hakimdir. | X | ||||
AKTS - İş Yükü Tablosu
| Etkinlikler | Sayı | Süre | Toplam İş Yükü |
|---|---|---|---|
| Ders Süresi | 0 | 42 | 0 |
| Sınıf Dışı Çalışma Süresi | 0 | 15 | 0 |
| Ödevler | 0 | 15 | 0 |
| Arasınavlar (Hazırlık Süresi Dahil) | 0 | 10 | 0 |
| Yarıyıl Sonu Sınavı (Hazırlık Süresi Dahil) | 0 | 10 | 0 |
| Kısa Sınavlar | 0 | 8 | 0 |
| Toplam İş Yükü | 0 | ||
| Toplam İş Yükü / 25 | 0.00 | ||
| Dersin AKTS Kredisi | 0 | ||