자연연역 (1) 썸네일형 리스트형 [Section 1] 알고리즘과 논리학 증명 시스템 대수학 목차 보기 [INTRO] 대수학 미리보기 세상의 근본 원리, 본질 등 기본적 물체의 실체를 탐구하는 철학에 있어, 대수학은 항상 그 근원적인 문제에 대한 질문을 야기한다. 하나의 진실된 명제가 있다면, 그것은 무엇인가? 대수학의 특 hookspedia.tistory.com 0. INTRO 수학의 명제적 형태와 논리관계에 따른 해석에 의해서, 수학적으로 계산(calculus)한다는 개념이 탄생했다. 즉, 계산한다는 것은 방정식(equation)의 형태와 그 변수를 만족하는 참 조건을 찾는다는 것이다. 기원전 약 800년 경 페르시아의 대수학자 알콰리즈미의 이름을 딴 알고리즘(algorithm)은 이 해를 구하기 위한 일반적인 방법론을 단계별로 제시하는 것이다. 1. 알고리즘을 위한 기호 수학적 방정.. 이전 1 다음