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.