Tag: symbolic

created: 2025-04-15; tags: bib, clojure, datalog, lisp, lists, logic, programming, symbolic

Datalog와 Clojure 로직 프로그래밍의 접점을 기록한 개념 노트이다.

created: 2025-02-04; tags: bib, clojure, programming, symbolic

고든 노박의 자료를 따라 기호 표현과 추론, 탐색을 다루는 심볼릭 프로그래밍의 기초와 인공지능 어휘를 살핀다.

created: 2024-05-22; tags: bib, foundation, logic, mathematics, meta, symbolic, theory

수리논리학과 기호논리학, 수학기초론은 수학 명제의 형식화와 증명의 근거를 다루며 수학의 토대를 묻는다.