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 | PS Schedule |
|---|---|---|---|---|---|---|---|
| görüntüle | 2022 | Spring | H. Birkan Yılmaz | ||||
| görüntüle | 2022 | Spring | H. Birkan Yılmaz | ||||
| görüntüle | 2021 | Fall | Course Page | Haluk O. Bingöl | W 7 Th 23 - W 89 Th 4 | Th 10-11 | |
| görüntüle | 2020 | Fall | Course Page | Haluk O. Bingöl | sec01: WThTh 723; sec02: WWTh 894 ONLINE | T 9-10 | |
| görüntüle | 2019 | Fall | Haluk O. Bingöl | WFF 934 BM A2 | BM A2 | BM A2 | |||
| görüntüle | 2018 | Fall | Haluk O. Bingöl | TWW 378 NH 203 | NH 305 | NH 305 | TT 910 BM A2 | ||
| görüntüle | 2017 | Fall | Arzucan Özgür | TTW 348 EF 06 | EF 06 | NH 401 | |||
| görüntüle | 2016 | Fall | Haluk O. Bingöl | TTW 568 | WW 910 @ NH203 | ||
| görüntüle | 2015 | Fall | Haluk O. Bingöl | TWW 156 | MM78 @ ETA A2 | ||
| görüntüle | 2014 | Fall | Haluk O. Bingöl | MTT 412 @ NH 401 NH 203 NH 203 | WW910 @ ETA A2 | ||
| görüntüle | 2013 | Fall | Course Page | Haluk O. Bingöl | |||
| görüntüle | 2012 | Fall | Course Page | Haluk O. Bingöl | |||
| görüntüle | 2012 | Spring | Course Page | Haluk O. Bingöl | |||
| görüntüle | 2011 | Fall | Course Page | Haluk O. Bingöl | |||
| görüntüle | 2011 | Spring | Course Page | Haluk O. Bingöl | |||
| görüntüle | 2011 | Summer | Course Page | Haluk O. Bingöl | |||
| görüntüle | 2010 | Fall | Course Page | Haluk O. Bingöl | |||
| görüntüle | 2010 | Spring | Course Page | Haluk O. Bingöl |