계산 이론 개론: 두 판 사이의 차이
youngwiki
편집 요약 없음 |
|||
| 4번째 줄: | 4번째 줄: | ||
==개요== | ==개요== | ||
해당 문서에서는 기계적 계산(machine computation)에서 등장하는 추상적인 개념들을 소개한다. 이를 위해 다루는 주제는 유한 오토마타(finite automata), 정규 표현식(regular expressions), 형식 언어(formal languages) 등을 포함한다. | |||
==[[Logic and Proofs]]== | ==[[Logic and Proofs]]== | ||
2025년 9월 6일 (토) 18:04 판
개요
해당 문서에서는 기계적 계산(machine computation)에서 등장하는 추상적인 개념들을 소개한다. 이를 위해 다루는 주제는 유한 오토마타(finite automata), 정규 표현식(regular expressions), 형식 언어(formal languages) 등을 포함한다.
Logic and Proofs
수학적 명제(Assertion)의 구조에 익숙해지기 위해서는 명제 연결자(Propositional connectives)와 수량자(Quantifier) 등의 개념에 익숙해져야 한다. 또한 어떤 명제가 주어졌을 때, 이를 바탕으로 다른 명제를 증명하는 구조 역시 중요하다. 이러한 개념과 구조 등은 Logic and Proofs 문서에 자세히 설명된다.
