| Academic Unit: |
Core Program |
| Mode of Delivery: |
Face to face |
| Prerequisites: |
None |
| Language of Instruction: |
English |
| Level of Course Unit: |
Undergraduate |
| Course Coordinator: |
- - |
| Course Lecturer(s): |
HÜSEYİN SUNGUR KUYUMCUOĞLU |
| Course Objectives: |
Students will (1) be familiar with the basic theories and concepts of symbolic logic, (2) develop the tools to assess propositional and predicate logic and their proofs as well as (3) interpret and apply probabilistic and statistical reasoning. During the learning process, students will (4) take individual responsibility for and work collaboratively with fellow students towards the completion of group assignments. |
| Course Contents: |
This course covers propositional logic and an introduction to first-order predicate logic. Students will learn to translate arguments in ordinary language into symbolic notation, use rules of inference and truth tables to assess the validity of the arguments, and prove theorems within propositional logic. Moreover, students will detect statistical and probabilistic fallacies and apply correct reasoning in these fields. |
| Learning Outcomes of the Course Unit (LO): |
- 1- Being familiar with the basic theories and concepts of symbolic logic
- 2- Developing the tools to assess propositional and predicate logic and their proofs
- 3- Interpreting and apply probabilistic and statistical reasoning
- 4- Taking individual responsibility for and work collaboratively with fellow students towards the completion of group assignments
|
| Planned Learning Activities and Teaching Methods: |
Teaching: Lecture and discussion - 3 hours / week
Learning: Synchronous and asynchronous reading and writing tasks completed both individually and in groups. |
| Week | Subjects | Related Preperation |
| 1 |
Introduction to logic |
None |
| 2 |
Computing Truth Values |
Reading the relevant weekly material, completing the assigned homework questions |
| 3 |
Truth Tables for Testing Validity |
Reading the relevant weekly material, completing the assigned homework questions |
| 4 |
The Proof Method: Eight Basic Inference Rules |
Reading the relevant weekly material, completing the assigned homework questions |
| 5 |
Replacement Rules |
Reading the relevant weekly material, completing the assigned homework questions |
| 6 |
Conditional Proof and Indirect Proof |
Reading the relevant weekly material, completing the assigned homework questions |
| 7 |
Singular Sentences and Quantifiers |
Reading the relevant weekly material, completing the assigned homework questions |
| 8 |
Categorical Propositions |
Reading the relevant weekly material, completing the assigned homework questions |
| 9 |
Proofs in Predicate Logic |
Reading the relevant weekly material, completing the assigned homework questions |
| 10 |
Probabilistic reasoning – I |
Reading the relevant weekly material, completing the assigned homework questions |
| 11 |
Probabilistic reasoning – I I |
Reading the relevant weekly material, completing the assigned homework questions |
| 12 |
Probabilistic reasoning – I II |
Reading the relevant weekly material, completing the assigned homework questions |
| 13 |
Probabilistic reasoning – I V |
Reading the relevant weekly material, completing the assigned homework questions |
| 14 |
Class recap |
Preparing questions to discuss during the class hour |
At Kadir Has University, a Semester is 14 weeks; The weeks 15 and 16 are reserved for final exams.
THE RELATIONSHIP BETWEEN COURSE LEARNING OUTCOMES (LO) AND PROGRAM QUALIFICATIONS (PQ)
| # |
PQ1 |
PQ2 |
PQ3 |
PQ4 |
PQ5 |
PQ6 |
PQ7 |
PQ8 |
PQ9 |
| LO1 |
|
|
|
|
|
|
|
|
|
| LO2 |
|
|
|
|
|
|
|
|
|
| LO3 |
|
|
|
|
|
|
|
|
|
| LO4 |
|
|
|
|
|
|
|
|
|
Contribution: 1 Low, 2 Average, 3 High
