라이브러리 · AI RAG & 지식 베이스
형식 논리학
형식 논리학을 다루는 교재입니다.
출시 예정
무료Mac, Windows, LinuxMOZGII, Inc. 제작
형식 논리학 소개.
집합, 증명, 명제 논리, 1차 논리, 계산 가능성 등을 종합적으로 다룹니다.
이럴 때 좋아요
- 논리학 과제 수행
- 증명 기법 습득
- 수학 철학 탐구
출처
Open Logic Project. License: CC BY 4.0.
제작: MOZGII, Inc.
라이브러리 · AI RAG & 지식 베이스
형식 논리학을 다루는 교재입니다.
무료Mac, Windows, LinuxMOZGII, Inc. 제작
집합, 증명, 명제 논리, 1차 논리, 계산 가능성 등을 종합적으로 다룹니다.
Open Logic Project. License: CC BY 4.0.
제작: MOZGII, Inc.
