https://abdulocra.cy/ Recent content on abdulocracy's personal site Hugo -- gohugo.io en-us © Abdulkadir Furkan Şanlı 2020 :: CC BY-ND Fri, 25 Dec 2020 00:00:00 +0000 https://abdulocra.cy/blog/0/ Fri, 25 Dec 2020 00:00:00 +0000 https://abdulocra.cy/blog/0/ You found my site. Congratulations. If there’s content on here, how wonderful. If not, then I haven’t yet realized my vague plans for a blog. Fare thee well. https://abdulocra.cy/about/ Mon, 04 Nov 2019 00:00:00 +0000 https://abdulocra.cy/about/ name: Abdulkadir Furkan Şanlı handle: abdulocracy contact: email: me at abdulocra dot cy gpg: 0xEE6ED1FE irc (freenode): abdulocracy https://abdulocra.cy/university-notes/eidma/ Mon, 04 Nov 2019 00:00:00 +0000 https://abdulocra.cy/university-notes/eidma/ Mathematics without infinitely small, continuous mathematical objects. The mathematics of finite sets. Propositional calculus Comes from the linguistic concept that things can be either true or false. We should avoid variables when forming statements, as they may change the logical value. \(2=7\) statement \(x=5\) not a statement In logic we do not use the equals sign, we use the equivalence sign \(\equiv\). Logical values (booleans) are denoted by either 0 or 1 (or t, f, etc.