Ders İçeriği

Karmaşık sorunları mantıksal açıdan incelemek, tanımlamak ve çözmek amacıyla, önerme, yüklem, bulanık ve zaman mantıklarını ayrı ayrı ya da karma kullanmak.

Dersin Amacı

1.Doğal dillerde verilen tümceleri, matematiksel mantıklar ile tanımlayabilmek

2.Matematiksel mantıklar ile verilen tanımlamalardan, matematiksel çıkarımlar yapabilmek

3.Karmaşık sorunların, belirsizliğini, çok anlamlılığını ve zaman içerisinde değişimini matematiksel tanımlayabilmek

4.Öz devinimli çıkarım uygulamaları kullanarak, örnek karmaşık sorunları çözebilmek

Kaynakça

Mendelson, Elliott; 1997; “Introduction to mathematical logic”; Chapman& Hall; ISBN 0-412-80830-7 ,Bell,J.L.; 1997; “A course in mathematical logic”; 1997; N.H.; ISBN 0-7204-2844-0 ,Kelly, John; 1997; “The Essence of Logic”; ISBN 0-13-396375-6 ,Enderton, Herbert B.; 2001; “A mathematical introduction to logic”; Academic Press; ISBN 0-12-238452-0 ,Gabbay, Dov M.; 2000; “Temporal logic:mathematical foundations and computational aspects”; Oxford: Clarendon press; ISBN 0-19-853768-9

Öğrenme Çıktıları

1. Doğal dil tümcelerin anlam çokluklarını çözümler

2. Sorunları matematiksel mantıklar ile tanımlar

3. Öz devinimli çıkarım düzeneklerini açıklar

4. Mantıksal çözümler üretir

Notlandırma

Vize: 24%

Kısa Sınav: 6%

Ödev: 10%

Sunum: 30%

Final: 30%