DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | 김동수 | - |
dc.contributor.author | Eom, Taehyun | - |
dc.contributor.author | 엄태현 | - |
dc.date.accessioned | 2024-08-08T19:31:18Z | - |
dc.date.available | 2024-08-08T19:31:18Z | - |
dc.date.issued | 2024 | - |
dc.identifier.uri | http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=1099291&flag=dissertation | en_US |
dc.identifier.uri | http://hdl.handle.net/10203/322072 | - |
dc.description | 학위논문(박사) - 한국과학기술원 : 수리과학과, 2024.2,[i, 40 p. :] | - |
dc.description.abstract | which has a possibility to be applied for other logical systems. This dissertation contains computational numerical values of the density of tautologies for two, three, and four variable cases. Also, for certain quadratic systems, we will build a theory of the $s$-cut concept to make a memory-time tradeoff when we compute the ratio by brute-force counting, and discover a fundamental relation between generating functions' values on the singularity point and ratios of coefficients, which can be understood as another interpretation of the Szeg\H{o} lemma for such quadratic systems. With this relation, we will provide an asymptotic lower bound $m^{-1}-(7/4)m^{-3/2}+O(m^{-2})$ of the density of tautologies in the logic system with $m$ variables, the negation, and the implication, as $m$ goes to the infinity. | - |
dc.description.abstract | In this dissertation, we will provide a method to compute the density of tautologies among the set of well-formed formulae consisting of $m$ variables, the negation symbol and the implication symbol | - |
dc.language | eng | - |
dc.publisher | 한국과학기술원 | - |
dc.subject | 항진명제▼a밀도▼a명제논리▼a생성함수▼a함수의 해석성 | - |
dc.subject | Tautologies▼aDensity▼aPropositional logic▼aGenerating functions▼aAnalyticity | - |
dc.title | Computing the density of tautologies in propositional logic by solving system of quadratic equations of generating functions | - |
dc.title.alternative | 생성함수의 연립 2차 방정식 풀이를 통한 명제논리계에서 항진명제의 밀도 계산 | - |
dc.type | Thesis(Ph.D) | - |
dc.identifier.CNRN | 325007 | - |
dc.description.department | 한국과학기술원 :수리과학과, | - |
dc.contributor.alternativeauthor | Kim, Dongsu | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.