COURSE UNIT TITLE

: SYMBOLIC LOGIC

Description of Individual Course Units

Course Unit Code Course Unit Title Type Of Course D U L ECTS
FEL 2006 SYMBOLIC LOGIC COMPULSORY 4 0 0 4

Offered By

Sociology

Level of Course Unit

First Cycle Programmes (Bachelor's Degree)

Course Coordinator

PROFESSOR REŞAT LEVENT AYSEVER

Offered to

Sociology
Sociology

Course Objective

To teach the student the symbolic logic, which is fundamental in computers.

Learning Outcomes of the Course Unit

1   To emphasize on difference between old logic and new logic.
2   To apprehend what is the concept of premise.
3   To apprehend the idea of illation.
4   To emphasize on symbolization and interpretation.

Mode of Delivery

Face -to- Face

Prerequisites and Co-requisites

None

Recomended Optional Programme Components

None

Course Contents

Week Subject Description
1 The Importance of Symbolic Logic
2 Combined truth tables
3 Universal and partial affirmations
4 Condition and mutual conditions
5 Examination of Premises
6 What is illation Examination of truth tables based on illation
7 Rules of equivalency and symplification
8 Logic of Quantization
9 General Logic of Quantization
10 Symbolization and interpretation in propositions and illations
11 Analytical tables
12 Examination of analytical tables in terms of consistency and validity

Recomended or Required Reading

1) T.Grünberg-H.Batuhan vd,Modern Mantık,O.D sa,1999..T.Ü.yay.3.basım.,Ankara,1984.
2) A.Kadir Çüçen,Mantık,Asa yay.,2.basım,Bursa,1999.
3) Hasan Yıldız,Ders Notları (Yayınlanmamış)

Planned Learning Activities and Teaching Methods

Face to face

Assessment Methods

SORTING NUMBER SHORT CODE LONG CODE FORMULA
1 MTE MIDTERM EXAM
2 FIN FINAL EXAM
3 FCGR FINAL COURSE GRADE (RESIT) MTE * 0.40 + FIN * 0.60
4 RST RESIT
5 FCGR FINAL COURSE GRADE (RESIT) MTE * 0.40 + RST * 0.60


*** Resit Exam is Not Administered in Institutions Where Resit is not Applicable.

Further Notes About Assessment Methods

None

Assessment Criteria

Midterm and final exams

Language of Instruction

Turkish

Course Policies and Rules

To be announced.

Contact Details for the Lecturer(s)

To be announced.

Office Hours

To be announced.

Work Placement(s)

None

Workload Calculation

Activities Number Time (hours) Total Work Load (hours)
Lectures 16 4 64
Preparations before/after weekly lectures 16 1 16
Midterm 1 6 6
Final 1 12 12
TOTAL WORKLOAD (hours) 98

Contribution of Learning Outcomes to Programme Outcomes

PO/LOPO.1PO.2PO.3PO.4PO.5PO.6PO.7PO.8PO.9PO.10PO.11PO.12PO.13PO.14
LO.13
LO.23
LO.33
LO.43