Academic Catalog

CENG525 FUNDAMENTAL STRUCTURES FOR COMPUTATION

Course Code: 5710525
METU Credit (Theoretical-Laboratory hours/week): 3(3-0)
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 Content

Predicate logic. proof techniques. set theory. functions. relat.ons. graphs. Formal languages. grammars. finite-state machines.