MATHEMATICS | |||||
Bachelor | TR-NQF-HE: Level 6 | QF-EHEA: First Cycle | EQF-LLL: Level 6 |
Course Code | Course Name | Semester | Theoretical | Practical | Credit | ECTS |
GEP0823 | Logic II | Fall Spring |
3 | 0 | 3 | 5 |
This catalog is for information purposes. Course status is determined by the relevant department at the beginning of semester. |
Language of instruction: | English |
Type of course: | GE-Elective |
Course Level: | Bachelor’s Degree (First Cycle) |
Mode of Delivery: | Face to face |
Course Coordinator : | Dr. BURCU ALARSLAN ULUDAŞ |
Recommended Optional Program Components: | None |
Course Objectives: | To make students to be acquainted with the subject-matters and concepts of modern logic and to learn the way of thinking about those subject-matters and concepts. |
The students who have succeeded in this course; •Recognises problems of modern logic. •Identifies the relation of modern logic and other disciplines. •Tells the difference between modern and classic logic. •Correlates between logic and mathematics •Tells proposition and reasoning by symbols. |
Modern logic, Logic of truth function, Method of formal inference, Quantification logic, Philosophy of logic. |
Week | Subject | Related Preparation |
1) | Introduction | |
2) | Introduction to modern logic | Course notes |
3) | Logic of truth function | Course notes |
4) | Logic of truth function | Course notes |
5) | Logic of truth function | Course notes |
6) | Method of formal inference | Course notes |
7) | Method of formal inference | Course notes |
8) | Quantification logic | Course notes |
9) | Quantification logic | Course notes |
10) | Axiomatic method | Course notes |
11) | Axiomatic method | Course notes |
12) | Problems about logic | Course notes |
13) | Philosophy, science, logic | Course notes |
14) | Philosophy of logic | Course notes |
Course Notes / Textbooks: | Doğan Özlem, Mantık, İstanbul 1996 |
References: | Cemal Yıldırım, Mantık ‘Doğru Düşünme Yöntemi’ Bilgi yayınevi Teo Grunberg, Sembolik Mantık, El Kitabı, ODTÜ Geliştirme Vakfı Yayıncılık |
Semester Requirements | Number of Activities | Level of Contribution |
Attendance | 14 | % 10 |
Homework Assignments | 2 | % 20 |
Midterms | 1 | % 20 |
Final | 1 | % 50 |
Total | % 100 | |
PERCENTAGE OF SEMESTER WORK | % 50 | |
PERCENTAGE OF FINAL WORK | % 50 | |
Total | % 100 |
Activities | Number of Activities | Duration (Hours) | Workload |
Course Hours | 14 | 3 | 42 |
Homework Assignments | 2 | 10 | 20 |
Midterms | 1 | 15 | 15 |
Final | 1 | 20 | 20 |
Total Workload | 97 |
No Effect | 1 Lowest | 2 Low | 3 Average | 4 High | 5 Highest |
Program Outcomes | Level of Contribution | |
1) | To have a grasp of basic mathematics, applied mathematics and theories and applications in Mathematics | |
2) | To be able to understand and assess mathematical proofs and construct appropriate proofs of their own and also define and analyze problems and to find solutions based on scientific methods, | |
3) | To be able to apply mathematics in real life with interdisciplinary approach and to discover their potentials, | |
4) | To be able to acquire necessary information and to make modeling in any field that mathematics is used and to improve herself/himself, | |
5) | To be able to tell theoretical and technical information easily to both experts in detail and non-experts in basic and comprehensible way, | |
6) | To be familiar with computer programs used in the fields of mathematics and to be able to use at least one of them effectively at the European Computer Driving Licence Advanced Level, | |
7) | To be able to behave in accordance with social, scientific and ethical values in each step of the projects involved and to be able to introduce and apply projects in terms of civic engagement, | |
8) | To be able to evaluate all processes effectively and to have enough awareness about quality management by being conscious and having intellectual background in the universal sense, | 4 |
9) | By having a way of abstract thinking, to be able to connect concrete events and to transfer solutions, to be able to design experiments, collect data, and analyze results by scientific methods and to interfere, | 4 |
10) | To be able to continue lifelong learning by renewing the knowledge, the abilities and the competencies which have been developed during the program, and being conscious about lifelong learning, | 4 |
11) | To be able to adapt and transfer the knowledge gained in the areas of mathematics ; such as algebra, analysis, number theory, mathematical logic, geometry and topology to the level of secondary school, | |
12) | To be able to conduct a research either as an individual or as a team member, and to be effective in each related step of the project, to take role in the decision process, to plan and manage the project by using time effectively. |