TR EN

LOGIC I COURSE IDENTIFICATION AND APPLICATION INFORMATION

Code Name of the Course Unit Semester In-Class Hours (T+P) Credit ECTS Credit
SOS371 LOGIC I 5 3 3 5

KEY LEARNING OUTCOMES OF THE COURSE UNIT (On successful completion of this course unit, students/learners will or will be able to)

Modern mantık ve matematiğin temel düşünme biçimini tarihsel açıdan inceler.
Sembolik sistemlerin yapısını inceler ve karşılaştırır.
Modern mantığın kurucu isimlerini ve alana katkılarını kavrar.
Önermeler mantığında kanıtlar yapar.