TÜRKÇE
ENGLISH
Information
| Unit | FACULTY OF ENGINEERING |
| COMPUTER ENGINEERING PR. (ENGLISH) | |
| Code | CEN448 |
| Name | Introduction to Logic Programming |
| Term | 2020-2021 Academic Year |
| Semester | 8. Semester |
| Duration (T+A) | 3-0 (T-A) (17 Week) |
| ECTS | 6 ECTS |
| National Credit | 3 National Credit |
| Teaching Language | İngilizce |
| Level | Lisans Dersi |
| Type | Normal |
| Label | E Elective |
| Mode of study | Uzaktan Öğretim |
| Catalog Information Coordinator | Prof. Dr. SELMA AYŞE ÖZEL |
| Course Instructor |
The current term course schedule has not been prepared yet.
|
Course Goal / Objective
The goal of this course is to make an introduction to propositional and first-order logic, then to make an introduction to logic programming with Prolog.
Course Content
Introduction to logic, propositional logic, first-order logic, arguments and inferences, introduction to Prolog, facts, queries, variables, recursion, semantics, program correctness, arithmetic, predicates, cuts and negation, program development.
Course Precondition
Resources
Notes
Course Learning Outcomes
| Order | Course Learning Outcomes |
|---|---|
| LO01 | Learns propositional and first-order logic. |
| LO02 | Learns resolution principle, inductive inference and knowledge representation |
| LO03 | Learns Prolog programming language and develops applications. |
Relation with Program Learning Outcome
| Order | Type | Program Learning Outcomes | Level |
|---|---|---|---|
| PLO01 | - | Has capability in the fields of mathematics, science and computer that form the foundations of engineering | 5 |
| PLO02 | - | Identifies, formulates, and solves engineering problems, selects and applies appropriate analytical methods and modeling techniques, | 5 |
| PLO03 | - | Analyzes a system, its component, or process and designs under realistic constraints to meet the desired requirements,gains the ability to apply the methods of modern design accordingly. | 5 |
| PLO04 | - | Ability to use modern techniques and tools necessary for engineering practice and information technologies effectively. | 5 |
| PLO05 | - | Ability to design and to conduct experiments, to collect data, to analyze and to interpret results | 5 |
| PLO06 | - | Has ability to work effectively as an individual and in multi-disciplinary teams, take sresponsibility and builds self-confidence | 5 |
| PLO07 | - | Can access information,gains the ability to do resource research and uses information resources | 5 |
| PLO08 | - | Awareness of the requirement of lifelong learning, to follow developments in science and technology and continuous self-renewal ability | 5 |
| PLO09 | - | Ability to communicate effectively orally and in writing, and to read and understand technical publications in at least one foreign language | 5 |
| PLO10 | - | Professional and ethical responsibility, | 5 |
| PLO11 | - | Awareness about project management, workplace practices, employee health, environmental and occupational safety, and the legal implications of engineering applications, | 2 |
| PLO12 | - | Becomes aware of universal and social effects of engineering solutions and applications, entrepreneurship and innovation, and knowledge of contemporary issues | 5 |
Week Plan
| Week | Topic | Preparation | Methods |
|---|---|---|---|
| 1 | Introduction to logic, arguments, constants, logical systems | Reading the lecture notes | |
| 2 | Propositional logic | Reading the lecture notes | |
| 3 | Predicate logic: sentences, quantifiers, formulas, sets. | Reading the lecture notes | |
| 4 | Semantics of predicate logic, relations, function symbols | Reading the lecture notes | |
| 5 | Arguments, semantic inference relations | Reading the lecture notes | |
| 6 | Deduction, soundness and completeness | Reading the lecture notes | |
| 7 | Introduction to logic programming, facts, queries, variables, substitutions, instances, rules. | Reading the lecture notes | |
| 8 | Mid-Term Exam | Reading the lecture notes | |
| 9 | Introduction to programming in Prolog | Reading the lecture notes | |
| 10 | Arithmetic, compound terms | Reading the lecture notes, program implementation | |
| 11 | Meta-logical predicates | Reading the lecture notes, program implementation | |
| 12 | Cuts and negation, tail recursion | Reading the lecture notes, program implementation | |
| 13 | Input/output, interactive programs | Reading the lecture notes, program implementation | |
| 14 | Nondeterministic programming | Reading the lecture notes, program implementation | |
| 15 | Project presentations | Program implementation, writing report, preparing presentation | |
| 16 | Term Exams | Reading the lecture notes | |
| 17 | Term Exams | Reading the lecture notes |
Student Workload - ECTS
| Works | Number | Time (Hour) | Workload (Hour) |
|---|---|---|---|
| Course Related Works | |||
| Class Time (Exam weeks are excluded) | 14 | 3 | 42 |
| Out of Class Study (Preliminary Work, Practice) | 14 | 5 | 70 |
| Assesment Related Works | |||
| Homeworks, Projects, Others | 0 | 0 | 0 |
| Mid-term Exams (Written, Oral, etc.) | 1 | 15 | 15 |
| Final Exam | 1 | 30 | 30 |
| Total Workload (Hour) | 157 | ||
| Total Workload / 25 (h) | 6,28 | ||
| ECTS | 6 ECTS | ||