2019-11-04 09:12:41 +01:00
<!DOCTYPE html>
< html lang = "en" >
< head >
2019-11-04 11:59:09 +01:00
< title > Posts :: abdulocracy' s personal site< / title >
2019-11-04 09:12:41 +01:00
< meta http-equiv = "content-type" content = "text/html; charset=utf-8" >
< meta name = "viewport" content = "width=device-width, initial-scale=1.0, maximum-scale=1" >
< meta name = "description" content = "" / >
< meta name = "keywords" content = "" / >
< meta name = "robots" content = "noodp" / >
2019-11-09 16:48:31 +01:00
< link rel = "canonical" href = "https://abdulocra.cy/posts/" / >
2019-11-04 09:12:41 +01:00
2019-11-09 16:48:31 +01:00
< link rel = "stylesheet" href = "https://abdulocra.cy/assets/style.css" >
2019-11-04 09:12:41 +01:00
2019-11-09 16:48:31 +01:00
< link rel = "stylesheet" href = "https://abdulocra.cy/assets/pink.css" >
2019-11-04 11:59:09 +01:00
2019-11-04 09:12:41 +01:00
2019-11-09 16:48:31 +01:00
< link rel = "apple-touch-icon-precomposed" sizes = "144x144" href = "https://abdulocra.cy/img/apple-touch-icon-144-precomposed.png" >
2019-11-04 09:12:41 +01:00
2019-11-18 23:14:02 +01:00
< link rel = "shortcut icon" href = "https://abdulocra.cy/img/favicon/favicon.png" >
2019-11-04 09:12:41 +01:00
< meta name = "twitter:card" content = "summary" / >
2019-11-04 11:59:09 +01:00
< meta name = "twitter:title" content = "Posts :: abdulocracy's personal site — " / >
2019-11-04 09:12:41 +01:00
< meta name = "twitter:description" content = "" / >
2019-11-09 16:48:31 +01:00
< meta name = "twitter:site" content = "https://abdulocra.cy/" / >
2019-11-04 09:12:41 +01:00
< meta name = "twitter:creator" content = "" / >
< meta name = "twitter:image" content = "" >
< meta property = "og:locale" content = "en" / >
< meta property = "og:type" content = "website" / >
2019-11-04 11:59:09 +01:00
< meta property = "og:title" content = "Posts :: abdulocracy's personal site — " >
2019-11-04 09:12:41 +01:00
< meta property = "og:description" content = "" / >
2019-11-09 16:48:31 +01:00
< meta property = "og:url" content = "https://abdulocra.cy/posts/" / >
2019-11-04 09:12:41 +01:00
< meta property = "og:site_name" content = "Posts" / >
< meta property = "og:image" content = "" >
< meta property = "og:image:width" content = "2048" >
< meta property = "og:image:height" content = "1024" >
2019-11-04 11:59:09 +01:00
< link href = "/posts/index.xml" rel = "alternate" type = "application/rss+xml" title = "abdulocracy's personal site" / >
2019-11-04 09:12:41 +01:00
< / head >
< body class = "" >
2019-11-04 11:59:09 +01:00
< div class = "container center" >
2019-11-04 09:12:41 +01:00
< header class = "header" >
< div class = "header__inner" >
< div class = "header__logo" >
< a href = "/" >
< div class = "logo" >
2019-11-04 11:59:09 +01:00
abdulocracy
2019-11-04 09:12:41 +01:00
< / div >
< / a >
< / div >
< div class = "menu-trigger" > menu< / div >
< / div >
< nav class = "menu" >
< ul class = "menu__inner menu__inner--desktop" >
2019-11-04 11:59:09 +01:00
< ul class = "menu__sub-inner" >
2019-11-04 23:57:45 +01:00
< li class = "menu__sub-inner-more-trigger" > menu ▾< / li >
2019-11-04 11:59:09 +01:00
< ul class = "menu__sub-inner-more hidden" >
< li > < a href = "/about" > about< / a > < / li >
2019-12-07 17:34:42 +01:00
< li > < a href = "https://music.abdulocra.cy" > music< / a > < / li >
2019-11-04 11:59:09 +01:00
< li > < a href = "/tags/university-notes" > university notes< / a > < / li >
< / ul >
< / ul >
2019-11-04 09:12:41 +01:00
< / ul >
< ul class = "menu__inner menu__inner--mobile" >
2019-11-04 11:59:09 +01:00
< li > < a href = "/about" > about< / a > < / li >
2019-11-04 09:12:41 +01:00
2019-12-07 17:34:42 +01:00
< li > < a href = "https://music.abdulocra.cy" > music< / a > < / li >
2019-11-04 11:59:09 +01:00
< li > < a href = "/tags/university-notes" > university notes< / a > < / li >
2019-11-04 09:12:41 +01:00
< / ul >
< / nav >
< / header >
< div class = "content" >
< div class = "posts" >
< div class = "post on-list" >
< h1 class = "post-title" >
2019-11-09 16:48:31 +01:00
< a href = "https://abdulocra.cy/posts/eidma/" > Introduction to Discrete Mathematics< / a > < / h1 >
2019-11-04 09:12:41 +01:00
< div class = "post-meta" >
< span class = "post-date" >
2019-11-20 11:07:13 +01:00
2019-11-20
2019-11-04 09:12:41 +01:00
< / span >
2019-11-20 11:07:13 +01:00
2019-11-04 09:12:41 +01:00
< / div >
2019-11-04 10:28:34 +01:00
< span class = "post-tags" >
2019-11-09 16:48:31 +01:00
#< a href = "https://abdulocra.cy/tags/university-notes/" > university-notes< / a >
2019-11-04 10:28:34 +01:00
< / span >
2019-11-04 09:12:41 +01:00
< div class = "post-content" >
2019-12-17 16:32:27 +01:00
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.
2019-11-04 10:28:34 +01:00
2019-11-04 09:12:41 +01:00
< / div >
< div >
< a class = "read-more button"
2019-11-04 11:59:09 +01:00
href="/posts/eidma/">read more →< / a >
2019-11-04 09:12:41 +01:00
< / div >
< / div >
< div class = "pagination" >
< div class = "pagination__buttons" >
< / div >
< / div >
< / div >
< / div >
< footer class = "footer" >
< div class = "footer__inner" >
2019-11-04 16:41:08 +01:00
< div class = "copyright copyright--user" >
< span > © Abdulkadir Furkan Şanlı < a href = "https://creativecommons.org/licenses/by-nd/4.0/" > CC
BY-ND< / a > < / span >
< span > :: theme by < a href = "https://twitter.com/panr" > panr< / a > < / span >
2019-11-04 09:12:41 +01:00
< / div >
2019-11-04 16:41:08 +01:00
< / div >
2019-11-04 09:12:41 +01:00
< / footer >
2019-11-09 16:48:31 +01:00
< script src = "https://abdulocra.cy/assets/main.js" > < / script >
< script src = "https://abdulocra.cy/assets/prism.js" > < / script >
2019-11-04 09:12:41 +01:00
2019-11-04 11:59:09 +01:00
2019-11-21 20:51:06 +01:00
< link rel = "stylesheet" href = "https://cdn.jsdelivr.net/npm/katex@0.11.1/dist/katex.min.css"
integrity="sha384-zB1R0rpPzHqg7Kpt0Aljp8JPLqbXI3bhnPWROx27a9N0Ll6ZP/+DiW/UqRcLbRjq" crossorigin="anonymous">
< script defer src = "https://cdn.jsdelivr.net/npm/katex@0.11.1/dist/katex.min.js"
integrity="sha384-y23I5Q6l+B6vatafAwxRu/0oK/79VlbSz7Q9aiSZUvyWYIYsd+qj+o24G5ZU2zJz"
crossorigin="anonymous">< / script >
< script defer src = "https://cdn.jsdelivr.net/npm/katex@0.11.1/dist/contrib/auto-render.min.js"
integrity="sha384-kWPLUVMOks5AQFrykwIup5lo0m3iMkkHrD0uJ4H5cjeGihAutqP0yW0J6dpFiVkI" crossorigin="anonymous"
onload="renderMathInElement(document.body);">< / script >
2019-11-20 12:04:41 +01:00
2019-11-04 09:12:41 +01:00
< / div >
< / body >
< / html >
