본문 바로가기

𝓡𝓸𝓸𝓶5: 𝒦𝑜𝓇𝑒𝒶 𝒰𝓃𝒾𝓋

(63)

[인공지능] 13. Probability and Statistics 1. Review of Probabilities and Statics 1) Elements of Probability - Random experiment : 시행, Nondeterministic - Sample space : 전체집합 요소들. Mutually exclusive(배반사건)이고 exhaustive(합집합 = 전체집합) 이다. - Events : 사건, Sample space의 부분집합 - Probability : 확률. the proportion, or relative frequency (비율, 상대적 빈도수) / degree of belief (기댓값) 2) Axioms of Probability Theory - 확률은 0과 1 사이임 - Sample space의 모든 확률을 더하면 1 -..

[이산수학] Chapter 1. Logic and proofs 1. Propositions : 명제 - 만약 p, q가 명제라면, connective를 이용해 새로운 compound proposition을 만들 수 있다. (conjunction AND, inclusive disjunction OR, exclusive disjunction OR(XOR), negation, implication, double implication) 2. Conditional propositions(조건명제) and logical equivalence(동치) - conditional proposition : p->q "if p then q", "p only if q" p : 가정, 충분조건 / q : 결론, 필요조건 - logically equivalent (converse(역), co..

[이산수학] Chapter 6. Counting methods and the pigeonhole principle 1. Basic Principles - Menu for Quick Lunch : 점심 메뉴를 고르는 경우의 수 1) Multiplication Principle(곱셈법칙) : k개의 연속적인 행동이 있을 때, 이 행동을 수행하는 경우의 수는 n1n2...nk ex) 8 bit string 에서 101이나 111로 시작하는 것의 개수 : 2^5 * 2 2) Addition Principle (덧셈법칙) nj개의 elements를 가지고 있는 k개의 pairwise disjoint sets가 있을 때, 이 sets의 결합 X = ∪Xj 는 n1 + n2+...+ nk의 elements를 가진다. 2. Permutations and Combinations (순열과 조합) 1) Permutation : 순열 (..

[이산수학] Chapter 5. Introduction to Number Theory 1. Divisors 1) - d가 n을 나누어 떨어지게 할 때, 즉 n=dq를 만족하는 integer q가 존재할 때, d divides n이라고 말한다. - 이 때 q를 quotient, d를 divisor 또는 n의 factor라고 부른다. - d divides n일 때 d|n으로 쓴다. Theorem 5.1.3 m, n, d를 정수라고 하자. 만약 d|m이고 d|n이면 d|(m±n)이다. 또한 d|m이면 d|mn이다. proof : d|m이고 d|n이면 m=dq, n=dq' 라고 쓸 수 있다. m+n = dq + dq' = d(q+q')이다. 따라서 d|(m+n) 이다. 2) Prime and Composite - Prime : 소수 - Composite : 합성수 composition은 2와 루..

[논리설계] Verilog-HDL 설계 1. 기본 1) Module - top module - 하위 module - test module modul module_name(port_list); port 선언 reg 선언 wire 선언 parameter 선언 gate modeling data flow modeling behavioral modeling structural modeling 하위모듈 호출 endmodule - Verilog HDL로 표현되는 논리회로는 "module~endmodule" 안에 있어야 함 - 모든 문장은 ; 로 끝나고, "end~"로 시작하는 예약어에는 ; 없음 - 이름 또는 식별자는 소문자와 대문자를 구별 - 예약어는 반드시 소문자임 - module 이름은 영문자와 언더바로 시작 가능 - 주석은 // 또는 /* */ 2..

[논리설계] 2. 부울대수와 논리게이트 1. 부울 스위칭 대수 - 부울 대수 : 논리 연산자 and, or, not을 사용하여 논리적 기능을 처리하는 논리 수학 - 부울식 : 논리적 기능을 기호로 나타낸 식 - 논리변수 : 시간에 따라 변하는 논리치를 갖는 양 - 논리연산자 : 논리 시스템을 해석하고 설계하는데 사용되는 기본적인 기능 - 논리함수 : 임의의 시스템이 갖고있는 논리적인 기능 - 진리표 : 모든 가능한 경우의 논리적인 입력과 출력과의 관계를 나타낸 표 2. 부울 함수 - Closure : + /· (and / or) - 단위원 (identity element) : 원래 꼴이 나오게 만드는 값 (or일 때는 0, and 일 때는 1) ex) x+0 = 0+x = x x · 1 = 1 · x = x - 교환법칙, 분배법칙 - 보수 e..

[논리설계] 1. 디지털 시스템과 2진수체계 1. Digital System 1) Analog & Digital -Analog 신호 : 연속적으로 표현된 신호 -Digital 신호 : 이산적으로 표현된 신호 -부호화 : 신호의 표현 방식을 바꾸어 나타내는 것 2) Analog-Digital 변환 -Sampling (샘플링) : 일정한 시간 간격으로 분해하여 나타내는 것. Sampling 숫자가 많을 수록 간격이 좁아져 정확도 상승. 적을수록 간격이 넓어져 정확도 하락. ex) 1초일 때 값, 2초일 때 값, .... -Quantization (양자화) : 신호치를 이산적으로 표현하는 것, 데이터를 이산적으로 표현한다. 3) 양자화 - Analog 값 : 0.00, 2.53, 9.4 ... - Digital 값 : 0000 , 0001, 0010, ..

[인공지능] 8~9. First-Order Logic(FOL) 1. Syntax and Semantics : propositional logic, 명제논리학은 이 세상의 모든 문제를 propositional symbol로 나타내고 오직 true/false의 값만 가진다. 따라서 이 세상에 많은 object들을 표현하기엔 부족한 면이 있다. (lack the expressive power) 우리가 자연어의 문법을 살펴보면, 대부분의 elements들이 명사와 명사구로 object를 나타내고, 동사나 동사구로 object간의 relation을 나타낸다. 그리고 이 relation중의 일부는 어떤 input이 주어졌을 때 하나의 value를 내뱉는 function(object의 1:1 관계)이기도 하다. First-order logic은 이 세상엔 object와 이들을 ..

[인공지능] 7. Propositional Logic - 3 5) Analysis of Resolution Algorithm resolution rule은 어떤 complete한 search algorithm과 결합할 때 complete한 inference algorithm을 만들어낸다. PL-Resolution이 complete함을 보이기 위해서 resolution closure = RC(S)를 정의한다. RC(S)란 "clause의 집합 S에 들어있는 clause와 그 clause끼리 resolution을 통해 만들어진 모든 clause들"에 또 resolution을 반복해서 적용해서 만들 수 있는 모든 clause들의 집합을 말한다. RC(S)가 유한하다는 것은 명백히 알 수 있다. 유한한 symbol들로 만들 수 있는 clause는 유한개 존재할 것이고, ..

[인공지능] 7. Propositional logic - 2 3. Theorem Proving : Theorem Proving이란 우리가 이미 알고있는 사실(Knowledge base)의 sentence들에 추론 규칙(Inference rule)을 적용해서 새로운 사실을 알아내는 것/ 새로운 문장을 만들어내는 것을 말한다. 만약 model의 개수가 많고, proof의 길이가 짧다면, theorem proving이 model checking보다 더 효율적이다. 1) Inference Rules - Modus Ponens : α⇒β이고 α가 true면 β도 true다. - And-Elimination : α and β가 true이면 α는 항상 true이다 - Logical equivalences : α and β가 true이면 β and α도 true이다. - α 와..

이전 1 2 3 4 5 6 7 다음

티스토리툴바