Monday, October 12 · Week 4: Predicates and Quantifiers. Propositional logic cannot say “every student” or “some server”. This week we add the two symbols that can, ∀ and ∃, and learn to translate English into logic without the two classic mistakes. The notes contain an interactive Quantifier Lab: click the data and watch a “for all” statement become true or false. Reading: Rosen 1.4. Bring paper and a pen.

Lab 3 · Quantifiers over Real Data opens right after the lecture.

• Click Accept on the lab page, open your repository in Codespaces, and follow the steps one by one. Every step is small and comes with an example and the expected output.
• You write “for all” and “there exists” as loops, find counterexamples, and answer five questions about a class of students.
• Every push is graded out of 100. You can also submit from the browser.
• Due: Friday, October 16, 23:59.

Not in the course organization yet? Without it you cannot accept labs. If you never received the invitation, or it expired (invitations are valid for 7 days), tell me on Monday or by email and I will send a new one.

Lab 2 was due on Friday. Late pushes are accepted until Wednesday, October 14, 23:59, with 10% off per day.

Monday, October 5 · Week 3: Logical Equivalences and Boolean Circuits. When do two formulas say the same thing? We prove equivalences with the laws of logic, simplify formulas, check whether requirements are consistent, solve Knights and Knaves puzzles, and see how the same logic builds the adder inside your CPU. Reading: Rosen 1.2–1.3. Bring paper and a pen.

Before Monday (2 minutes, once): join the course organization. From this week on, labs run on Classroom 50. You received an invitation to the GitHub organization FiratUniversity-IJDP-SoftEng, either at your university address (student-number@firat.edu.tr, check outlook.office.com and the spam folder) or as a GitHub notification. Open it and click Join. Without this step you cannot accept Lab 2. No invitation? Tell me your GitHub username.

Lab 2 · Gates, Adders and Knights & Knaves opens right after the lecture.

• Click Accept on the lab page, open your repository in Codespaces, and follow the numbered steps.
• Every push is graded automatically out of 100; your score appears under Releases in your repository.
• Prefer your own computer or another editor? You can also submit from the browser by pasting or uploading your files.
• Due: Friday, October 9, 23:59.

Lab 1. Grades were collected on Saturday. If you forgot to push your truth.py, or never created your copy, you can still submit until Wednesday, October 7, 23:59 with the late penalty of 10% per day. Follow the Lab 1 steps and make sure drferhatu is a collaborator on your dm-2026-lab01 repository.

From week 2 on, every class has a lab. For Monday, September 28 please have a GitHub account ready (sign up, 2 minutes; your university email is best).

Lab 1 uses a simple route: you make your own private copy of the lab on GitHub, add drferhatu as a collaborator, write your name in the README and submit by pushing. Every step is on the Lab 1 page, including a short How to submit. You can start right after the lecture, even before I join you in the lab.

Deadline: Friday, October 2, 23:59. Every lab is due on the Friday of its week at 23:59. From Lab 2 on we switch to Classroom 50; you will get an invitation by email.

Welcome! Our first class was an introduction; the summary is on the week 1 page. This site is our home for the semester: notes, labs, the project and announcements. Last year’s material stays available on the previous course site.