CENG525 FUNDAMENTAL STRUCTURES FOR COMPUTATION
| Course Code: | 5710525 |
| METU Credit (Theoretical-Laboratory hours/week): | 3 (3.00 - 0.00) |
| ECTS Credit: | 8.0 |
| Department: | Computer Engineering |
| Language of Instruction: | English |
| Level of Study: | Graduate |
| Course Coordinator: | Prof.Dr. FARUK POLAT |
| Offered Semester: | Fall or Spring Semesters. |
Course Objectives
Understand theoretical foundations of computer science.
Learn discrete structures for designing computational solutions to problems.
Course Content
Predicate logic, proof techniques, set theory, functions, relat,ons, graphs. Formal languages, grammars, finite-state machines.
Course Learning Outcomes
At the end of the course, the students will:
- Apply proof techniques to a variety of problems
- Use predicate logic to model knowledge
- Have a knowledge of set theory and its applications
- Have a basic understanding of functions and relations
- Understand tree and graph representations
- Have a basic knowledge of formal languages, grammars, and finite-state machines.