ARTIFICIAL INTELLIGENCE 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) | Have sufficient background in mathematics, science and artificial intelligence engineering. | |
2) | Use theoretical and applied knowledge in the fields of mathematics, science and artificial intelligence engineering together for engineering solutions. | |
3) | Identify, define, formulate and solve engineering problems, select and apply appropriate analytical methods and modeling techniques for this purpose. | |
4) | Analyse a system, system component or process and design it under realistic constraints to meet desired requirements; apply modern design methods in this direction. | |
5) | Select and use modern techniques and tools necessary for engineering applications. | |
6) | Design and conduct experiments, collect data, and analyse and interpret results. | |
7) | Work effectively both as an individual and as a multi-disciplinary team member. | |
8) | Access information via conducting literature research, using databases and other resources | |
9) | Follow the developments in science and technology and constantly update themself with an awareness of the necessity of lifelong learning. | |
10) | Use information and communication technologies together with computer software with at least the European Computer License Advanced Level required by their field. | |
11) | Communicate effectively, both verbal and written; know a foreign language at least at the European Language Portfolio B1 General Level. | |
12) | Have an awareness of the universal and social impacts of engineering solutions and applications; know about entrepreneurship and innovation; and have an awareness of the problems of the age. | |
13) | Have a sense of professional and ethical responsibility. | |
14) | Have an awareness of project management, workplace practices, employee health, environment and work safety; know the legal consequences of engineering practices. |