Mantık II

İçerik

Dersin Amacı

Birinci dereceden yüklemler mantığının terimlerini ve kavramlarını öğretmek

Dersin İçeriği

PQ formel dili ve PFQ formel sistemi

Dersin Öğrenme Çıktıları

PQ formel dilinin formüllerinin semantik analizinin yapılamasının ve PFQ formel sisteminin teoremlerinin ispat edilmesinin öğrenilmesi

Öğretim Yöntemleri

Yüz yüze ders

Kaynaklar

Introduction to Logic II, 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.

Konu Başlıkları

Değerlendirme Sistemi