7 items with this tag. Sorted by last modified date (newest first).
증명과 설득, 귀류와 반증, 변증과 배리 역설을 논리와 수사, 추론의 접점에서 함께 다룬다.
opam과 VSCode 경로를 이용해 Coq를 설치하고 언어 서버까지 맞추는 절차를 적은 기록.
정주희는 수리논리와 집합론, 머신러닝을 넘나들며 수학적 엄밀함과 계산적 사고를 함께 보여주는 연구자이자 교육자다.
정주희의 Coq 강의 자료와 관련 설치·연동 노트를 묶어 증명보조기 학습 경로를 만든 기록.
박성우는 콕과 논리학 교육을 통해 증명, 형식화, 계산가능성의 기초를 차분히 다루는 연구자다.
우분투에서 Coq와 coqtop을 설치하고 이맥스 증명보조기 환경을 맞추는 과정을 정리한 기록.
강의 예제를 따라가며 Coq를 이맥스 에디터와 연동하고 자동완성까지 확인한 학습 기록. 실제 활용 흐름을 담았다.
Comments