INDUSTRIAL ENGINEERING | |||||
Bachelor | TR-NQF-HE: Level 6 | QF-EHEA: First Cycle | EQF-LLL: Level 6 |
Course Code | Course Name | Semester | Theoretical | Practical | Credit | ECTS |
GEP0824 | Modern Logic | 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; After successfully completing this course the student will be able •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: | |
References: | Doğan Özlem, Mantık, İstanbul 1996 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) | Build up a body of knowledge in mathematics, science and industrial engineering subjects; use theoretical and applied information in these areas to model and solve complex engineering problems. | |
2) | Identify, formulate, and solve complex engineering problems; select and apply proper analysis and modeling methods for this purpose. | |
3) | Design a complex system, process, device or product under realistic constraints and conditions, in such a way as to meet the desired result; apply modern design methods for this purpose. The ability to apply modern design methods to meet this objective. | |
4) | Devise, select, and use modern techniques and tools needed for solving complex problems in industrial engineering practice; employ information technologies effectively. | |
5) | Design and conduct experiments, collect data, analyze and interpret results for investigating the complex problems specific to industrial engineering. | |
6) | Cooperate efficiently in intra-disciplinary and multi-disciplinary teams; and show self-reliance when working independently. | |
7) | Demonstrate effective communication skills in both oral and written English and Turkish. Writing and understanding reports, preparing design and production reports, making effective presentations, giving and receiving clear and understandable instructions. | |
8) | Recognize the need for lifelong learning; show ability to access information, to follow developments in science and technology, and to continuously educate him/herself. | |
9) | Develop an awareness of professional and ethical responsibility, and behaving accordingly. Information about the standards used in engineering applications. | |
10) | Know business life practices such as project management, risk management, and change management; develop an awareness of entrepreneurship, innovation, and sustainable development. | |
11) | Know contemporary issues and the global and societal effects of modern age engineering practices on health, environment, and safety; recognize the legal consequences of engineering solutions. | |
12) | Develop effective and efficient managerial skills. |