Catalog Description:
Propositional logic and proofs. Set theory. Functions and relations. Algebraic structures. Groups and semi-groups. Graphs, lattices and Boolean algebra.
Credits:
(3+0+0) 3 ECTS 5
| Link | Year | Semester | Course Page | Instructor | Course Schedule | Lab Schedule |
|---|---|---|---|---|---|---|
| view | 2020 | Fall | Course Page | Haluk O. Bingöl | sec01: WThTh 723; sec02: WWTh 894 ONLINE | |
| view | 2019 | Fall | Haluk O. Bingöl | WFF 934 BM A2 | BM A2 | BM A2 | ||
| view | 2018 | Fall | Haluk O. Bingöl | TWW 378 NH 203 | NH 305 | NH 305 | ||
| view | 2017 | Fall | Arzucan Özgür | TTW 348 EF 06 | EF 06 | NH 401 | ||
| view | 2016 | Fall | Haluk O. Bingöl | TTW 568 | ||
| view | 2015 | Fall | Haluk O. Bingöl | TWW 156 | ||
| view | 2014 | Fall | Haluk O. Bingöl | MTT 412 @ NH 401 NH 203 NH 203 | ||
| view | 2013 | Fall | Course Page | Haluk O. Bingöl | ||
| view | 2012 | Fall | Course Page | Haluk O. Bingöl | ||
| view | 2012 | Spring | Course Page | Haluk O. Bingöl | ||
| view | 2011 | Fall | Course Page | Haluk O. Bingöl | ||
| view | 2011 | Spring | Course Page | Haluk O. Bingöl | ||
| view | 2011 | Summer | Course Page | Haluk O. Bingöl | ||
| view | 2010 | Fall | Course Page | Haluk O. Bingöl | ||
| view | 2010 | Spring | Course Page | Haluk O. Bingöl |