| Ders Adı | Kodu | Yerel Kredi | AKTS | Ders (saat/hafta) | Uygulama (saat/hafta) | Laboratuar (saat/hafta) |
|---|---|---|---|---|---|---|
| Matematik Lojik | MTM3661 | 3 | 5 | 3 | 0 | 0 |
| Önkoşullar | Yok |
|---|
| Yarıyıl | Güz |
|---|
| Dersin Dili | İngilizce, Türkçe |
|---|---|
| Dersin Seviyesi | Lisans |
| Dersin Türü | Zorunlu @ Matematik Mühendisliği Lisans Programı (%30 İ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ü | Hülya Şahintürk |
| Dersi Veren(ler) | Müslüm Özışık, Fatma Akgün |
| 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ı
- Öğrenciler Aristo’dan günümüze mantık konusunun gelişimini öğreneceklerdir.
- Öğrenciler konuşma dilini matematiksel bir yapıya dönüştürüp, bu yapıyı yorumlayabileceklerdir.
- Öğrenciler Temel Elektrik ve Elektronik devrelerini öğrenecektir.
- Elektrik ve Elektronik devre bazında modelleme ve yorum yeteneği kazanacaktır.
- analiz yeteneği kazandırır
Ders Öğrenim Çıktısı & Program Çıktısı Matrisi
| DÖÇ-1 | DÖÇ-2 | DÖÇ-3 | DÖÇ-4 | DÖÇ-5 | |
| PÇ-1 | - | 4 | 4 | 4 | 5 |
| PÇ-2 | - | 4 | 5 | 5 | 5 |
| PÇ-3 | - | 4 | 4 | 4 | 5 |
| PÇ-4 | - | 4 | 4 | 4 | 4 |
| PÇ-5 | - | 4 | 5 | 4 | 4 |
| PÇ-6 | - | 4 | 4 | 5 | 5 |
| PÇ-7 | - | 4 | 5 | 5 | 5 |
| PÇ-8 | - | 3 | 4 | 3 | 4 |
| PÇ-9 | - | 4 | 4 | 4 | 5 |
| PÇ-10 | - | - | 4 | - | 5 |
| PÇ-11 | - | - | 4 | 4 | 5 |
| PÇ-12 | - | - | - | - | - |
| PÇ-13 | - | - | 4 | 5 | 5 |
| PÇ-14 | - | - | - | - | - |
| PÇ-15 | - | - | - | - | - |
| PÇ-16 | - | - | 5 | 5 | 5 |
| PÇ-17 | - | - | - | - | - |
| PÇ-18 | - | - | - | - | - |
| PÇ-19 | - | - | - | - | - |
| PÇ-20 | - | - | - | - | - |
| PÇ-21 | - | - | - | - | - |
| PÇ-22 | - | - | - | - | - |
| PÇ-23 | - | - | 4 | 4 | 4 |
| PÇ-24 | - | - | - | - | - |
| PÇ-25 | - | - | - | - | - |
| PÇ-26 | - | - | - | - | - |
| PÇ-27 | - | - | - | - | - |
| PÇ-28 | - | - | - | - | - |
| PÇ-29 | - | - | 3 | - | - |
| 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ğer Analizi (Önerme polinomu, geçerli önerme polinomu(totoloji), geçersiz önerme polinomu(ç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şullu bileşim önermeleri, değilleme kanunu) | Kaynaklardaki ilgili bölüm |
| 5 | İndirgenmiş biçimler, Açık önermeler, Açık önerme polinomları | 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 | |
| 9 | 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) | |
| 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 | Temel Elektrik Devreleri; Ve devresi(seri bağlama), Veya devresi(paralel bağlama), Ve-Veya devresi (Seriparaleldevreler), Anahtar çeşitleri, Denk devre, Ekonomik devre.Köprü devreleri ve uygulamalar | Kaynaklardaki ilgili bölüm |
| 12 | Temel Elektrik Devreleri Uygulamaları | Kaynaklardaki ilgili bölüm |
| 13 | Karnaugh Diyagramları | Kaynaklardaki ilgili bölüm |
| 14 | Ara Sınav 2 | Kaynaklardaki ilgili bölüm |
| 15 | Bulanık mantığa giriş, Bulanık Mantığın Uygulamaları | Kaynaklardaki ilgili bölüm |
| 16 | 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 | 4 | 10 |
| Ödev | ||
| Sunum/Jüri | ||
| Projeler | ||
| Seminer/Workshop | ||
| Ara Sınavlar | 2 | 50 |
| 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 | 13 | 3 | |
| Laboratuar | |||
| Uygulama | |||
| Arazi Çalışması | |||
| Sınıf Dışı Ders Çalışması | 13 | 6 | |
| Derse Özgü Staj | |||
| Ödev | |||
| Küçük Sınavlar/Stüdyo Kritiği | 4 | 1 | |
| Projeler | |||
| Sunum / Seminer | |||
| Ara Sınavlar (Sınav Süresi + Sınav Hazırlık Süresi) | 2 | 20 | |
| Final (Sınav Süresi + Sınav Hazırlık Süresi) | 1 | 12 | |
| Toplam İşyükü : | |||
| Toplam İşyükü / 30(s) : | |||
| AKTS Kredisi : | |||
| Diğer Notlar | Yok |
|---|
