Grading: There will be one midterm exam (25%) and a final exam (35%). 3 classworks (10% each) and weekly quizzes (10% total).
Classworks will be announced, we expect to hold 3 classworks total. You are allowed to print the PDF lecture notes below and use them during the class work. Additional handwritten notes on the lecture notes are allowed IF AND ONLY IF they are taken during the class and while studying. It is NOT ALLOWED to have additional problems and their solutions taken off from the internet, any book, or any other resource.
Quizzes will be in every Friday lecture, starting in the second week. Bring your own paper for the quizzes. Closed notes, closed book.
Midterm and final exams are closed notes, closed book.
Passing Grade: No predetermined grade to pass the course, but lower than 30% is very likely to fail.
FZ Policy: [(Classworks' Total x 0.10) + (Quizzes' Average x 0.10) + (Midterm x 0.25)] should be at least 20 (out of 65). Missing more than 15 lecture hours will also result in FZ grade.
Makeup Policy: Medical report holders will be entitled for the midterm make up, and ONLY ONE classwork makeup in the last week of the semester. Classwork makeup will be comprehensive, and both midterm and classwork makeups will definitely be more difficult. We will give no makeups for the quizzes.
|Week||Topic||Lecture Notes||LaTeX Source||Notes|
|1||Introduction & Finite Automata||0-intro.pdf||0-intro.tar.gz|
|4||Regular expressions and languages||3-re.pdf
|5||Context-free grammars and languages|
|6||Context-free grammars and languages||4-cfg.pdf||4-cfg.tar.gz|
|7||Context-free grammars and languages||5-pda.pdf
|12||Complexity theory and NP-completeness||7-decidability.pdf
|13||Complexity theory and NP-completeness||
|14||Complexity theory and NP-completeness||Cook-Levin-Theorem.pdf
The following is on the cover pages of your midterm and final exams. Most students do not read this *valuable* information, but everyone SHOULD. These rules apply to classworks as well:
The rules 4 and 5 above point out the fact that this course is a FORMAL, THEORY course. All proofs should be presented as formal expressions, the same way discussed in class. Long paragraphs/sentences of trying to explain a possible answer does not mean that you will receive any credit. This is not a humanities course, do not write essays to answer the questions.Let us reiterate