Information Package / Course Catalogue
| Course Code | : MAT213 |
| Course Type | : Area Elective |
| Couse Group | : First Cycle (Bachelor's Degree) |
| Education Language | : Turkish |
| Work Placement | : N/A |
| Theory | : 2 |
| Prt. | : 0 |
| Credit | : 2 |
| Lab | : 0 |
| ECTS | : 2 |
To assist learners to make deductions of cause and effect relations.
Motivation, syntax, propositional variables, connectives, sentences. Valuations, logical consequence, logical equivalence, truth tables, satisfiability, Beth Trees. The Disjunctive Normal Form Theorem, expressibility, adequate sets of connectives. The Interpolation Theorem. Rules of proof, formal proofs, the Correctness Theorem. Consistency, the Completeness and Compactness Theorems.
| 1. | To be able to gain knowledge about propositions. |
| 2. | To be able to comprehend the theorems of accuracy, coherency, and incoherency |
| 3. | To be able to gain the skill of interpreting some interrelations among these concepts |
| 4. | To be able to use mathematical concepts in solving certain types of problems |
| 5. | To be able to develop analytical skills and apply to problems |
| 1. | H.B.Enderton, A Mathematical Introduction to Logic (second edition), Academic Press ISBN 0122384520, 2001. |
| 2. | E.Mendelson, Introduction to Mathematical Logic , Wadsworth&Brooks, ISBN 0534066240, 1997. |
| 3. | E.J.Lemmon, Beginning Logic, Van Nostrand Reinhold (UK), ISBN 0442306768, 1971. |
| Type of Assessment | Count | Percent |
|---|---|---|
| Attending Lectures | 1 | %5 |
| Assignment | 1 | %5 |
| Midterm Examination | 1 | %30 |
| Final Examination | 1 | %60 |
| Activities | Count | Preparation | Time | Total Work Load (hours) |
|---|---|---|---|---|
| Lecture - Theory | 28 | 0 | 1 | 28 |
| Assignment | 2 | 0 | 2 | 4 |
| Quiz | 2 | 1 | 1 | 4 |
| Midterm Examination | 1 | 2 | 2 | 4 |
| Final Examination | 1 | 8 | 2 | 10 |
| TOTAL WORKLOAD (hours) | 50 | |||
PÇ-1 | PÇ-2 | PÇ-3 | PÇ-4 | PÇ-5 | PÇ-6 | PÇ-7 | PÇ-8 | PÇ-9 | PÇ-10 | PÇ-11 | PÇ-12 | PÇ-13 | PÇ-14 | PÇ-15 | PÇ-16 | PÇ-17 | PÇ-18 | |
OÇ-1 | 4 | 4 | 4 | 5 | 4 | 4 | 2 | 3 | 1 | |||||||||
OÇ-2 | 4 | 4 | 4 | 4 | 4 | 1 | ||||||||||||
OÇ-3 | ||||||||||||||||||
OÇ-4 | ||||||||||||||||||
OÇ-5 | ||||||||||||||||||