The principal topics presented in this course are logic and proof, induction and recursion, discrete probability, and finite state machines
Unit 1에 들어가기 앞서 코스 소개를 읽어보니 주요 주제 중 하나에 finite state machine이 있다. 어디서 들어본 것 같은 멋진 단어인데, wiki를 찬찬히 읽어보다가 Automata가 나왔다. 뭐 정규 표현식, Artificial Intelligent, Artificial Life, Generic Algorithm 같이 맛만 봤던 것들도 눈에 띄었지만, 결론은 뭔지 잘 모르겠다. 컴파일러, 알고리즘, 인공지능에 사용되는 자동 기계 정도... 이 과목 끝나면 뭔지 알려나?
--
Unit 1에서 생소한 단어들이 많이 등장해서 정리합니다.
axiom |
공리, 격언 |
postulate |
가정 |
negation |
부정 |
conjunction |
1. 접속사 / 2. 결합 |
compound statements |
복합문 |
proposition |
1. 제의 / 2. 일, 문제 |
predicate |
술부 |
inference |
1. 추론(한 것) / 2. 추론(행위 |
tautology |
동어 반복 |
contradiction |
모순 |
|
|
|
|