| Ders Adı | Kodu | Yerel Kredi | AKTS | Ders (saat/hafta) | Uygulama (saat/hafta) | Laboratuar (saat/hafta) |
|---|---|---|---|---|---|---|
| Matematik Lojik | MTM3661 | 3 | 6 | 3 | 0 | 0 |
| Önkoşullar | Yok |
|---|
| Yarıyıl | Bahar |
|---|
| Dersin Dili | İngilizce, Türkçe |
|---|---|
| Dersin Seviyesi | Lisans |
| Dersin Türü | Zorunlu @ Matematik Mühendisliği Lisans Programı (İngilizce) |
| Ders Kategorisi | Temel Meslek Dersleri |
| Dersin Veriliş Şekli | Yüz yüze |
| Dersi Sunan Akademik Birim | Matematik Mühendisliği Bölümü |
|---|---|
| Dersin Koordinatörü | |
| Dersi Veren(ler) | Kevser Köklü, Müslüm Özışık |
| Asistan(lar)ı |
| Dersin Amacı | Matematik kavramları mantığa uygulamak, Bilgisayarların otomasyonu ve elektronik sanayinin gelişimimin temelini oluşturan yapıları öğrenme, İspat yöntemlerini öğrenme. |
|---|---|
| Dersin İçeriği | Klasik Mantık, Önermeler Mantığı, Mantık kanunları, Doğruluk değeri analizi, Dönüştürmeler, Niceleme Mantığı, Usavurma(Akıl Yürütme), Boole Cebri, Lojik Devreler, Bulanık Mantığa giriş ve uygulamaları. |
| Ders Kitabı / Malzemesi / Önerilen Kaynaklar |
|
| Opsiyonel Program Bileşenleri | Yok |
Ders Öğrenim Çıktıları
- Aristo’dan günümüze mantık konusunun gelişimini öğreneceklerdir
- Konuşma dilini matematiksel bir yapıya dönüştürüp, bu yapıyı yorumlayabileceklerdir
- Fuzyy-Lojik konusunun varlığı ve bu konuda nelerin yapıldığı veya yapılabileceği konusunda bilgilendirileceklerdir
- Modelleme yeteneği kazanacaktır.
Ders Öğrenim Çıktısı & Program Çıktısı Matrisi
| DÖÇ-1 | DÖÇ-2 | DÖÇ-3 | DÖÇ-4 | |
| PÇ-1 | - | - | - | - |
| PÇ-2 | - | - | - | - |
| PÇ-3 | - | - | - | - |
| PÇ-4 | - | - | - | - |
| PÇ-5 | - | - | - | - |
| PÇ-6 | - | - | - | - |
| PÇ-7 | - | - | - | - |
| PÇ-8 | - | - | - | - |
| PÇ-9 | - | - | - | - |
| PÇ-10 | - | - | - | - |
| PÇ-11 | - | - | - | - |
| PÇ-12 | - | - | - | - |
| PÇ-13 | - | - | - | - |
| PÇ-14 | - | - | - | - |
| PÇ-15 | - | - | - | - |
| PÇ-16 | - | - | - | - |
| PÇ-17 | - | - | - | - |
| PÇ-18 | - | - | - | - |
| PÇ-19 | - | - | - | - |
| PÇ-20 | - | - | - | - |
| PÇ-21 | - | - | - | - |
| PÇ-22 | - | - | - | - |
| PÇ-23 | - | - | - | - |
| PÇ-24 | - | - | - | - |
| PÇ-25 | - | - | - | - |
| PÇ-26 | - | - | - | - |
| PÇ-27 | - | - | - | - |
| PÇ-28 | - | - | - | - |
| PÇ-29 | - | - | - | - |
| PÇ-30 | - | - | - | - |
Haftalık Konular ve İlgili Ön Hazırlık Çalışmaları
| Hafta | Konular | Ön Hazırlık |
|---|---|---|
| 1 | Lojiğe giriş, Önermeler Mantığı | Kaynaklardaki ilgili bölüm |
| 2 | Bağlaçlar (VE bağlacı ve özellikleri, VEYA bağlacı ve özellikleri, YA DA bağlacı ve özellikleri, koşulluönerme(gerektirme), karşılıklı koşullu önerme(çift gerektirme))/ | Kaynaklardaki ilgili bölüm |
| 3 | Doğruluk değeri analizi (Önerme polinomu, geçerli önerme polinomu(totoloji), geçersiz önermepolinomu(çelişme), tutarlı-tutarsız standart biçim, geçerlilik-geçersizlik) | Kaynaklardaki ilgili bölüm |
| 4 | Mantık kanunları (Mantiken denk polinomlar ve özellikleri, mantiki gerektirme ve özellikleri, koşullubileşim önermeleri, değilleme kanunu) | Kaynaklardaki ilgili bölüm |
| 5 | İndirgenmiş biçimler Açık önermeler, Açık önermepolinomları | Kaynaklardaki ilgili bölüm |
| 6 | Niceleme mantığı (Evrensel ve varlıksal niceleyiciler), Niceleme mantığı kanunları (De Morgan kanunu,dağılma kanunları, indirgeme kanunları, ardışık gerektirme kanunu), Genel Niceleme mantığı | Kaynaklardaki ilgili bölüm |
| 7 | Usavurma(akıl yürütme), Usavurma kalıbının geçerliliğinin incelenmesi, Nicelikli usavurma kalıbı | Kaynaklardaki ilgili bölüm |
| 8 | Ara Sınav 1 / Uygulama veya Konu Tekrarı | |
| 9 | Ara Sınav | |
| 10 | Boole Cebri (İşlemler(toplama, çarpma, bütünleyici, De Morgan bağıntıları, Dualite, Sıralama bağıntısı,Birleşmişi ayırma işlemi)) | Kaynaklardaki ilgili bölüm |
| 11 | Boole Fonksiyonlar (Ayırıcı normal form(I. Kanonik şekil),Birleştirici normal form(II. Kanonik şekil)) | Kaynaklardaki ilgili bölüm |
| 12 | Boole Fonksiyonlar (Fonksiyonun bütünleyeni, Boole fonksiyonların tablo ile incelenmesi, Formların birbirine dönüştürülmesi) | Kaynaklardaki ilgili bölüm |
| 13 | Lojik Devreler; Ve devresi(seri bağlama), Veya devresi(paralel bağlama), Ve-Veya devresi (Seriparaleldevreler), Anahtar çeşitleri, Denk devre, Ekonomik devre | Kaynaklardaki ilgili bölüm |
| 14 | Köprü devreleri ve uygulamalar | Kaynaklardaki ilgili bölüm |
| 15 | Final |
Değerlendirme Sistemi
| Etkinlikler | Sayı | Katkı Payı |
|---|---|---|
| Devam/Katılım | ||
| Laboratuar | ||
| Uygulama | ||
| Arazi Çalışması | ||
| Derse Özgü Staj | ||
| Küçük Sınavlar/Stüdyo Kritiği | ||
| Ödev | 4 | 20 |
| Sunum/Jüri | ||
| Projeler | ||
| Seminer/Workshop | ||
| Ara Sınavlar | 1 | 40 |
| Final | 1 | 40 |
| Dönem İçi Çalışmaların Başarı Notuna Katkısı | ||
| Final Sınavının Başarı Notuna Katkısı | ||
| TOPLAM | 100 | |
AKTS İşyükü Tablosu
| Etkinlikler | Sayı | Süresi (Saat) | Toplam İşyükü |
|---|---|---|---|
| Ders Saati | 14 | 2 | |
| Laboratuar | |||
| Uygulama | |||
| Arazi Çalışması | |||
| Sınıf Dışı Ders Çalışması | 14 | 1 | |
| Derse Özgü Staj | |||
| Ödev | 4 | 3 | |
| Küçük Sınavlar/Stüdyo Kritiği | |||
| Projeler | |||
| Sunum / Seminer | |||
| Ara Sınavlar (Sınav Süresi + Sınav Hazırlık Süresi) | 1 | 15 | |
| Final (Sınav Süresi + Sınav Hazırlık Süresi) | 1 | 20 | |
| Toplam İşyükü : | |||
| Toplam İşyükü / 30(s) : | |||
| AKTS Kredisi : | |||
| Diğer Notlar | Yok |
|---|
