MATH406 INTR.TO MATH.LOGIC AND MODEL THEORY
| Course Code: | 2360406 |
| METU Credit (Theoretical-Laboratory hours/week): | 3 (3.00 - 0.00) |
| ECTS Credit: | 6.0 |
| Department: | Mathematics |
| Language of Instruction: | English |
| Level of Study: | Undergraduate |
| Course Coordinator: | Lecturer Dr. MUHİDDİN UĞUZ |
| Offered Semester: | Fall Semesters. |
Course Objectives
Course Content
First order language, structures and satisfaction. Completeness and compactness theorems. Isomorphism, elementary equivalence and elementary imbedding. Löwenheim-Skolem theorem. Interpolation and definability. Atomic, universal and saturated models and their characterisation. Extensions of first order logic.
Course Learning Outcomes
Program Outcomes Matrix
| Level of Contribution | |||||
| # | Program Outcomes | 0 | 1 | 2 | 3 |
| 1 | Acquires mathematical thinking skills (problem solving, generating ways of thinking, forming correspondence, generalizing etc.) and can use them in related fields. | ✔ | |||
| 2 | Can produce innovative thoughts and products. | ✔ | |||
| 3 | Can design mathematics related problems, devise solution methods and apply them when appropriate. | ✔ | |||
| 4 | Has a comprehension of mathematical symbols, concepts together with the interactions among them and can express his/her solutions similarly. | ✔ | |||
| 5 | Has a command of Turkish and English languages so that he/she can actively communicate (read, write, listen and speak). | ✔ | |||
| 6 | Contributes to solving global, environmental and social problems either individually or as being part of a social group. | ✔ | |||
| 7 | Respects ethical values and rules; applies them in professional and social issues. | ✔ | |||
| 8 | Can work cooperatively in a team and also individually. | ✔ | |||
| 9 | Is responsive to life-long learning, improving his/her skills and abilities | ✔ | |||
| 10 | Comprehends necessity of knowledge, can define it and acquires it; uses knowledge effectively and shares it with others | ✔ | |||
0: No Contribution 1: Little Contribution 2: Partial Contribution 3: Full Contribution