- Class_2020_1
- FrontPage
- WikiSandBox
- 가설,hypothesis
- 공식,formula
- 관계,relation
- 귀류법,proof_by_contradiction
- 그래프,graph
- 기계학습,machine_learning
- 논리,logic
- 람다대수,lambda_calculus
- 명제,proposition
- 명제논리,propositional_logic
- 미적분,calculus
- 변수,variable
- 보수,complement
- 불_논리,Boolean_logic
- 불_대수,Boolean_algebra
- 수리논리,mathematical_logic
- 수학,math
- 술어,predicate
- 술어논리,predicate_logic
- 시간,time
- 역함수,inverse_function
- 연결,connection
- 연산,operation
- 연역,deduction
- 위상,topology
- 유도,induction
- 이산수학,discrete_math
- 인공지능,artificial_intelligence
- 일차논리,first-order_logic
- 전산학,compsci
- 조건부,conditional
- 증명,proof
- 진리값,truth_value
- 진리표,truth_table
- 집합,set
- 집합론,set_theory
- 트리,tree
- 편각,argument
- 항,term
- 항등식,identity
- 형식체계,formal_system
- 흡수법칙,absorption_law
Show Context.