Mathematical Logic(PH413)
Course Code | Course Name | Semester | Theory | Practice | Lab | Credit | ECTS |
---|---|---|---|---|---|---|---|
PH413 | Mathematical Logic | 7 | 3 | 0 | 0 | 3 | 4 |
Prerequisites | |
Admission Requirements |
Language of Instruction | Turkish |
Course Type | Elective |
Course Level | Bachelor Degree |
Course Instructor(s) | T.necati ILGICIOĞLU nilgicioglu@gsu.edu.tr (Email) |
Assistant | |
Objective | |
Content | An introduction to some of the principal topics of mathematical logic comprising natural and unrestricted set-theoretic methods. |
Course Learning Outcomes | |
Teaching and Learning Methods | |
References |
Introduction to Mathematical Logic - Elliott MENDELSON Logique mathématique 1, Calcul propositionnel, algèbre de Boole, calcul des prédicats : cours et exercices corrigés - René CORI ; Daniel LASCAR Logique mathématique 2, Fonctions récursives théorème de Gödel, théorie des ensembles, théorie des modèles : cours et exercices corrigés - René CORI, Daniel LASCAR Naïve Set Theory - Paul R. HALMOS |
Theory Topics
Week | Weekly Contents |
---|---|
1 | Order. |
3 | Propositional Connectives. Truth Functions. |
4 | Tautologies. |
5 | Adequate Sets of Connectives. |
6 | An Axiom System for the Propositional Calculus. |
7 | Independence. Many valued Logics. |
8 | Other Axiomatizations. |
9 | Quantifiers. |
10 | Interpretations. Satisfiability and Truth. Models. |
11 | First-Order Theories. |
12 | Properties of First-Order Theories. |
13 | Completeness Theorems. |
14 | Some Additional Metatheorems. Rule C.,,, |
Practice Topics
Week | Weekly Contents |
---|
Contribution to Overall Grade
Number | Contribution | |
---|---|---|
Contribution of in-term studies to overall grade | 1 | 40 |
Contribution of final exam to overall grade | 1 | 60 |
Toplam | 2 | 100 |
In-Term Studies
Number | Contribution | |
---|---|---|
Assignments | 0 | 0 |
Presentation | 0 | 0 |
Midterm Examinations (including preparation) | 0 | 0 |
Project | 0 | 0 |
Laboratory | 0 | 0 |
Other Applications | 0 | 0 |
Quiz | 0 | 0 |
Term Paper/ Project | 0 | 0 |
Portfolio Study | 0 | 0 |
Reports | 0 | 0 |
Learning Diary | 0 | 0 |
Thesis/ Project | 0 | 0 |
Seminar | 0 | 0 |
Other | 0 | 0 |
Toplam | 0 | 0 |
No | Program Learning Outcomes | Contribution | ||||
---|---|---|---|---|---|---|
1 | 2 | 3 | 4 | 5 | ||
1 | Analyze philosophical texts with analytical and critical rigor; | X | ||||
2 | Get an exhaustive knowledge on the history of philosophy; from antiquity to 20th century; | |||||
3 | Provide access to information and expertise in the fields of systematic philosophy, such as ethic, esthetic, history of science, philosophy of society; | |||||
4 | Establish the relation between philosophy and other fields of knowledge, such as, history, psychology, anthropology, sociology and other positive sciences; | |||||
5 | Learn the theories of political science and the philosophical evaluation of historical and actual events; |
Activities | Number | Period | Total Workload |
---|---|---|---|
Class Hours | 13 | 3 | 39 |
Working Hours out of Class | 13 | 3 | 39 |
Midterm Examinations (including preparation) | 1 | 10 | 10 |
Final Examinations (including preparation) | 1 | 12 | 12 |
Total Workload | 100 | ||
Total Workload / 25 | 4,00 | ||
Credits ECTS | 4 |