Ders Genel Bilgileri
| Ders Kodu |
AKTS |
T+U+L |
Kredi |
Ders Türü |
| SOS20210 |
5 |
4+0 |
4 |
Zorunlu |
|
|
Ders Linki (Türkçe) :
|
|
Ders Linki (İngilizce) :
|
| Dersin Dili |
Türkçe |
| Dersin Düzeyi |
Lisans |
| Öğretim Türü |
Örgün Öğretim |
| Dersin Türü |
Zorunlu |
| Dersin Amacı |
Niceleyiciler ve Niceleme Mantığı, Gündelik Dİldeki ifadelerin Niceleme Mantığı Notasyonu ile gösterimi |
| Dersin İçeriği |
Basit ifadelerin gösterimi, Bileşik ifadelerin, Bağıntı Bİldiren ifadelerin gösterimi, Açılım, Tümel ifadelerin açılımı, Tikel ifadelerin açılımı, KArmaşık ifadelerin açılımı, çözümleyici çizelge yöntemi, Çözümleyici Çizelge Yönteminin Önermeler Mantığındaki uygulamaları, özdeşlik denetlemesi, geçerlilik ve tutarlılık denetlemesi, çözümleyici çizelge yönteminin niceleme mantığındaki uygulamaları, açık önerme, kapalı önerme, örnekleme, özdeşlik denetlemesi, geçerlik ve tutarlılık denetlemesi |
| Dersin Ön Koşulları |
- |
| Dersin Koordinatörü |
Doç. Dr. Adem Başpınar |
| Dersi Verenler |
Dr. Öğr. Üyesi Özgür YILMAZ |
| Dersin Yardımcıları |
- |
| Staj Durumu |
Yok |
|
Dersin Kaynakları
| Kaynaklar |
Doğan Özlem - MantıkTeo Grunberg - Sembolik Mantık |
| Notlar |
Doğan Özlem - Mantık |
| Ön Hazırlık ve Dokümanlar |
- |
| Ödev |
- |
|
Ders Yapısı
| Matematik ve Temel Bilimler | % 0 |
|---|
| Mühendislik Bilimleri | % 0 |
|---|
| Mühendislik Tasarımı | % 0 |
|---|
| Sosyal Bilimler | % 0 |
|---|
| Eğitim Bilimleri | % 0 |
|---|
| Fen Bilimleri | % 0 |
|---|
| Sağlık Bilimleri | % 0 |
|---|
| Alan Bilgisi | % 100 |
|---|
|
| Değerlendirme Ölçütleri |
| Yarı Yıl Çalışmaları |
Sayısı |
Katkı |
| Ara Sınav |
1 |
% 40 |
| Kısa Sınav |
0 |
% 0 |
| Ödev |
0 |
% 0 |
| Devam |
0 |
% 0 |
| Uygulama |
0 |
% 0 |
| Proje |
0 |
% 0 |
| Yarıyıl Sonu Sınavı |
1 |
% 60 |
| Arazi Çalışması |
0 |
% 0 |
| Atölye Çalışması |
0 |
% 0 |
| Laboratuvar |
0 |
% 0 |
| Sunum/Seminer Hazırlama |
0 |
% 0 |
| Toplam |
2
|
% 100
|
|
| AKTS Hesaplama İçeriği |
| Etkinlik |
Sayısı |
Süresi (Saat) |
Toplam İş Yükü |
| Ders Süresi |
14 |
4 |
56 |
| Sınıf Dışı Ç. Süresi |
14 |
4 |
56 |
| Ödevler |
1 |
5 |
5 |
| Ara Sınavlar |
1 |
8 |
8 |
| Yarıyıl Sonu Sınavı |
0 |
0 |
0 |
| Kısa Sınav |
0 |
0 |
0 |
| |
125 | AKTS Kredisi : 4
|
|
Ders Konuları
| Hafta |
Konu |
Öğretim Yöntem ve Teknikleri |
Ön Hazırlık ve Dokümanlar |
| 1 |
Basit ifadelerin gösterimi |
Konu Anlatımı |
Ders Notları |
| 2 |
Bileşik ifadelerin gösterimi |
Konu Anlatımı |
Ders Notları |
| 3 |
Açılım |
Konu Anlatımı |
Ders Notları |
| 4 |
Tümel ifadelerin açılımı |
Konu Anlatımı |
Ders Notları |
| 5 |
Tikel ifadelerin açılımı |
Konu Anlatımı |
Ders Notları |
| 6 |
Bileşik İfadelerin Açılımı |
Konu Anlatımı |
Ders Notları |
| 7 |
Çözümleyici çizelge yöntemi |
Konu Anlatımı |
Ders Notları |
| 8 |
Arasınav |
yazılı sınav |
Ders Notları ve Ders Kitapları |
| 9 |
Çözümleyici çizelge yönteminin önermeler mantığındaki uygylamaları |
Konu Anlatımı |
Ders Notları |
| 10 |
Çözümleyici çizelge yönteminin niceleme mantığındaki uygulamaları |
Konu Anlatımı |
Ders Notları |
| 11 |
Açık ve kapalı önermeler |
Konu Anlatımı |
Ders Notları |
| 12 |
özdeşlik denetlemesi |
Konu Anlatımı |
Ders Notları |
| 13 |
geçerlilik denetlemesi |
Konu Anlatımı |
Ders Notları |
| 14 |
tutarlılık denetlemesi- |
Konu Anlatımı |
Ders Notları |
| 15 |
tekrar |
Konu Anlatımı |
Ders Notları |
|
Dersin Öğrenme Çıktıları: Bu dersin başarılı bir şekilde tamamlanmasıyla öğrenciler şunları yapabileceklerdir:
| # |
Açıklama |
| 1 |
Modern mantığın temellerini açıklayabilme |
| 2 |
Modern mantığın özelliklerini açıklayabilme |
| 3 |
Basit, bileşik vebağıntı bİldiren ifadeleringösterimini kavrayabilme |
| 4 |
Tümel, tikel ve karmaşık ifadelerin açılımını kavrayabilme |
| 5 |
Çözümleyici çizelge yönteminin önermeler mantığındaki uygulamalarını anlayabilme |
| 6 |
"Özdeşlik","geçerlilik" ve "tutarlılık" denetlemelerini öğrenebilme |
|
Dersin Program Çıktılarına Katkısı
| |
A PHP Error was encountered
Severity: Notice
Message: Undefined offset: 0
Filename: Ders/dersDetay.php
Line Number: 353
Backtrace:
File: /var/www/ebp/application/views/Ders/dersDetay.php
Line: 353
Function: _error_handler
File: /var/www/ebp/application/controllers/Ders.php
Line: 34
Function: view
File: /var/www/ebp/index.php
Line: 315
Function: require_once
A PHP Error was encountered
Severity: Warning
Message: count(): Parameter must be an array or an object that implements Countable
Filename: Ders/dersDetay.php
Line Number: 353
Backtrace:
File: /var/www/ebp/application/views/Ders/dersDetay.php
Line: 353
Function: _error_handler
File: /var/www/ebp/application/controllers/Ders.php
Line: 34
Function: view
File: /var/www/ebp/index.php
Line: 315
Function: require_once
|
Katkı Düzeyi: 0:Yok 1:Çok Düşük 2:Düşük 3:Orta 4:Yüksek 5:Çok Yüksek
