BAYBURT University Information Package / Course Catalogue

Home Information on the Institution Information on Degree Programmes General Information for Students
Description of Individual Course Units
Course Unit CodeCourse Unit TitleType of Course UnitYear of StudySemesterNumber of ECTS Credits
SOS308Symbolic LogicCompulsory364
Level of Course Unit
First Cycle
Objectives of the Course
The aim of the course is to investigate new trends in modern logic and the logic at propositions and its symbols.
Name of Lecturer(s)
Prof. Dr. Yakup KAHRAMAN
Learning Outcomes
1Uses information related with his/her field in business and everyday life with the awareness of social responsibility.
2Gets ability of critical, different and creative thinking and multi-dimensional perspective.
3Interpretes integrating theoretical knowledge with related disciplines, analyses and creates new information.
4
5
Mode of Delivery
Normal Education
Prerequisites and co-requisities
None
Recommended Optional Programme Components
None
Course Contents
This course aims to discuss the contents of modern (symbolic) logic, logic of propositions, logic of predicates, rules of basic inference, basic truth tables, equivalence of proposition, inference, consistency, logic of quantification, open propositions, principle of specialization and rules of specialization.
Weekly Detailed Course Contents
WeekTheoreticalPracticeLaboratory
1Semiotics and Language: Language Various Uses
2The main concepts of semiotics
3Propositional Logic: Proposition and its structure
4Functions of joints
5Accuracy Value Analysis: Mixed Truth Tables
6Validity and Consistency Inspection
7Equivalence and Applications
8Simplification of Laws
9Mid term exam
10Quine method
11Conversion laws
12Practice Examples
13Forms of converted to full-expression
14Distributive
15Distributive
16final
Recommended or Required Reading
Çüçen, A.K. 2006. Mantık, Bursa, Asa Kitabevi. Nesin, A. 2009. Önermeler Mantığı, İstanbul, Nesin Yayıncılık. Şen, Z. 2003. Modern Mantık, Bilgi Kültür Sanat Yayınları.
Planned Learning Activities and Teaching Methods
Assessment Methods and Criteria
Term (or Year) Learning ActivitiesQuantityWeight
Midterm Examination1100
SUM100
End Of Term (or Year) Learning ActivitiesQuantityWeight
Final Examination1100
SUM100
Term (or Year) Learning Activities40
End Of Term (or Year) Learning Activities60
SUM100
Language of Instruction
Turkish
Work Placement(s)
None
Workload Calculation
ActivitiesNumberTime (hours)Total Work Load (hours)
Midterm Examination16060
Final Examination16060
TOTAL WORKLOAD (hours)120
Contribution of Learning Outcomes to Programme Outcomes
PO
1		PO
2		PO
3		PO
4		PO
5		PO
6		PO
7		PO
8		PO
9		PO
10		PO
11		PO
12		PO
13		PO
14		PO
15		PO
16
LO11               
LO2                
LO3                
LO4                
LO5                
* Contribution Level : 1 Very low 2 Low 3 Medium 4 High 5 Very High