이산수학 썸네일형 리스트형 [Discrete Mathematics] lecture 7 - lattice OverviewThis lecture covers the lattice theory and boolean algebra.Introduction to LatticeDefinition 1 (lattice) A poset $\left$ which every pair of elements in L has lub and glb is called a lattice.lub is denoted as $+$ and glb is denoted as $*$.We say that $a$ and $b$ join at $a+b$ and meet at $a*b$.Example 1.Consider a poset $\left$ where $L = {a, b, c, d}$ and $ \preceq = I_L ∪ {(a, c),(a, d.. 더보기 [Discrete Mathematics] lecture 1 - Basics of Logic * 원본 포스팅은 여기를 참조해주세요What is logic?A formal system for describing knowledge and implementing reasoning on knowledge.Logic is just like a language. But as it is used for reasoning, it eleminates ambiguity.Just like a language, it consistof syntax and semantics. Syntax is the rules for constructing sentences, and semantics is the meaning of the sentences. But in logic, there is a set of rules for d.. 더보기 이전 1 다음
