<meta http-equiv="refresh" content="0; URL=noscript.html"> METU | Course Syllabus

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.