MTM3661 · Matematik Lojik

5. Yarıyıl · Seçmeli · 3+0+0 · 5 ECTS

Ders Hakkında

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ı.

Kaynaklar

B.H.Arnold, “Logic and Boolean Algebra”, Prentice-hall, inc, 1962.
D. Kaye, “Boolean Systems”, Longmans, Green co.ltd, 1968.
N. Baykal, T.Beyan, “Bulanık Mantık İlke ve Temelleri”
R.Carnap, “A study in semantics and modal logic”, University of Chicago Press, ISBN: 0226093476, 1958.
E. Mendelson, “Schaum’s outline of Theory and problems of Boolean Algebra and Switching Circuits”, New York: McGraw-Hill, ISBN: 0070414602, 1970.

Değerlendirme Sistemi

Yarıyıl içi

%60

Küçük Sınavlar/Stüdyo Kritiği4 adet%10
Ara Sınavlar2 adet%50

Final

%40

Dönem sonu sınavı