MTM3661 · Mathematical Logic

5. Semester · Elective · 3+0+0 · 5 ECTS

About the Course

Classical logic, Propositional logic, Logic laws, Analysis of Accuracy value, Transforms, Quantitative logic, Reasoning, Boolean algebra, Logic circuits, Introduction to Fuzzy Logic, Fuzzy Logic applications.

Resources

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.

Assessment System

In-term

60%

Quizzes/Studio Critics4 items10%
Mid-Terms2 items50%

Final

40%

End-of-term exam