Mantık I(PH105)
| Ders Kodu | Dersin Adı | Yarıyıl | Teori | Uygulama | Lab | Kredisi | AKTS |
|---|---|---|---|---|---|---|---|
| PH105 | Mantık I | 1 | 3 | 0 | 0 | 3 | 6 |
| Ön Koşul | |
| Derse Kabul Koşulları |
| Dersin Dili | Fransızca |
| Türü | Zorunlu |
| Dersin Düzeyi | Lisans |
| Dersi Veren(ler) | |
| Dersin Yardımcıları | |
| Dersin Amacı | Önermeler mantığının terimlerini ve kavramlarını öğretmek |
| İçerik | Klasik Önermeler Mantığı |
| Dersin Öğrenme Çıktıları | P formel dilinin formüllerinin semantik analizinin yapılmasının ve PF formel sisteminin teoremlerinin ispat edilmesinin öğrenilmesi |
| Öğretim Yöntemleri | Derste konu işleme ve alıştırmalar. |
| Kaynaklar |
Introduction to Logic I, Yalçın Koç ,Boğaziçi University Publications,1980. Naive Set Theory, Paul Richard Halmos, D. Van Nostrand Company, Princeton, NJ, 1960. Introduction to Mathematical Logic, Eliot Mendelson, D. Van Norstand Company, Princeton NJ, 1964 Sembolik Mantık, Tarık Necati Ilgıcıoğlu, Anadolu Üniversitesi Yayınları, Ankara 2013. Introduction to Mathematical Logic, Church, A., Princeton University Press, Princeton NJ, 1956. Introduction to Logic, Suppes, P., D. Van Norstrand Company, Princeton NJ, 1957. Logique formelle et argumentation, Laurence Bouquiaux & Bruno Leclercq, De Boeck, Brüksel, 2009. |
Teori Konu Başlıkları
| Hafta | Konu Başlıkları |
|---|---|
| 1 | P formel dili : alfabe ve gramer |
| 2 | P formel dili için tanımsal tamlık |
| 3 | P formel dilinin semantiği : T :{d, y} kümesi üzerindeki booleen fonksiyonlar |
| 4 | T :{d, y} kümesi üzerindeki booleen fonksiyonların fonksiyonel tamlığı |
| 5 | P formel dilinin yorumu - LOGP |
| 6 | Semantik içerme ve dedüksiyon meta-teoremi |
| 7 | P formel dilinin formüllerinin semantik analizi |
| 8 | Ara Sınav |
| 9 | PF formel sistemi |
| 10 | PF formel sisteminde dedüksiyon |
| 11 | Sentaktik içerim |
| 12 | PF formel sistemi için dedüksiyon meta-teoremi |
| 13 | PF formel sistemi için tutarlılık ve tamlık meta-teoremleri |
| 14 | PF formel sisteminin mutlak ve basit tutarlılığı |
Uygulama Konu Başlıkları
| Hafta | Konu Başlıkları |
|---|
Başarı Notuna Etki Oranları
| Sayı | Katkı Payı | |
|---|---|---|
| Yarıyıl içi çalışmaların başarı notuna katkısı | 1 | 40 |
| Yarıyıl sonu çalışmaların başarı notuna katkısı | 1 | 60 |
| Toplam | 2 | 100 |
Yarıyıl İçi Çalışmaları
| 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 |
| 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; | |||||
| 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; | |||||
| 4 | Matematiksel fikirlerini yapılandırarak hem yazılı hem de sözlü ifade edebilir; | |||||
| 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; | |||||
| 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; | |||||
| 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; | |||||
| 10 | Yabancı bir ülkede okumak ve çalışmaya yetecek seviyede fransızcaya ve başka bir yabancı dile hakimdir. | X | ||||
| 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 | ||