Marmara Üniversitesi
Marmara Üniversitesi Eğitim-Öğretim Bilgi Sistemi

Programlar Hakkında Bilgi

Lisans - Fen-Edebiyat Fakültesi - Matematik (İÖ)

Müfredat Adı Ders Kodu Ders Adı Ders Türü Dönem AKTS Teorik Uygulama
Matematik (İÖ) (Ana Müfredat) MAT435 Mantık Seçmeli 7 4,00 2 0

Dersin İçeriği

Dersin Amacı

Mantık kurallarını sembolize etmek ve teoremleri bu sembollerle yazmak

Öğrenim Türü

-

Dersin İçeriği

Koşullu önerme,Karşıt önerme, Karşıt ters önerme, karşılıklı koşullu önerme Önerme temsilcileri, önerme polinomları, yorum Mantıksal değişmezler, geçerli veya geçersiz standart biçim, doğruluk değer analizi Quine yöntemi Tutarlı ve tutarsız standart biçim, Çelişme Mantık yasaları, özdoğruluk polinomları, Mantıksal doğru önermeler, çelişme polinomları Mantıksal yanlış önermeler, mantıksal denk polinomlar, Mantıksal denklik bağıntısı, gerektieme önermeleri Koşullu bileşim polinomları Mantık Kuralları Dönüştürmeler İkililik Dönüştürmeleri, Lojik devreler Anahtar türleri, köprü devreleri Denk devreler devre problemleri

Planlanan Öğrenme Aktiviteleri ve Metodları

Anlatma, Problem Çözme, problem çözerek konuyu tekrar tartışma

Staj Durumu

Yok

Dersin Sunulduğu Dil

Türkçe

Ders Kitabı / Malzemesi / Önerilen Kaynaklar

Ders notları

Dersin Web Sayfası

yok

Öğrenme Çıktıları

  • Koşullu önerme,Karşıt önerme, Karşıt ters önerme, karşılıklı koşullu önerme
  • Önerme temsilcileri, önerme polinomları, yorum Mantıksal değişmezler, geçerli veya geçersiz standart biçim, doğruluk değer analizi
  • Quine yöntemi Tutarlı ve tutarsız standart biçim, Çelişme
  • Mantık yasaları, özdoğruluk polinomları, Mantıksal doğru önermeler, çelişme polinomları
  • Koşullu bileşim polinomları Mantık Kuralları Dönüştürmeler Lojik devreler öğrenir.

Haftalık Ayrıntılı Ders İçeriği

Hafta Teorik
1 Koşullu önerme,Karşıt önerme, Karşıt ters önerme, karşılıklı koşullu önerme
2 Önerme temsilcileri, önerme polinomları, yorum
3 Mantıksal değişmezler, geçerli veya geçersiz standart biçim, doğruluk değer analizi
4 Quine yöntemi
5 Tutarlı ve tutarsız standart biçim, Çelişme
6 Mantık yasaları, özdoğruluk polinomları, Mantıksal doğru önermeler, çelişme polinomları
7 Mantıksal yanlış önermeler, mantıksal denk polinomlar, Mantıksal denklik bağıntısı, gerektirme önermeleri
8 Ara Sınav Haftası
9 Koşullu bileşim polinomları Mantık Kuralları
10 Dönüştürmeler
11 İkililik Dönüştürmeleri,
12 Lojik devreler
13 Anahtar türleri, köprü devreleri
14 Denk devreler
15 Devre problemleri
16 Ders Çalışma Haftası
17 Yarı Yıl Sonu Sınavı

Değerlendirme

Değerlendirme Değer
Yarıyıl (Yıl) İçi Etkinlikleri 40
Yarıyıl (Yıl) Sonu Etkinlikleri 60
Yarıyıl (Yıl) Sonu Etkinlikleri Değer
Final Sınavı 100

Öğrenci İş Yükü Hesabı

Etkinlikler Sayısı Süresi (saat) Toplam İş Yükü (saat)
Arasınav ve Hazırlığı 4 10 40
Final ve Hazırlığı 6 10 60

Program ve Öğrenme Çıktıları İlişkisi