'노트정리/논리형 프로그래밍 logic programming'에 해당되는 글 2건
- 2024.04.22 1차 논리(술어 논리)를 이용한 삼단논법 증명
- 2024.03.09 SWI-Prolog 기본 에디터 변경하기
 (사진은 2022년 12월 Georgia Mountain Coaster 타러간 날) 블로그는 전자회로, 마이크로프로세서, 어셈블리어, C언어를 독학하는 과정을 적어두려고 시작했습니다. 게임을 좋아해서 매크로조이스틱을 만들고, 그 과정도 적었습니다. 지금은 소소한 일상, 호기심을 풀어가는 과정을 올리고 있습니다. by 공돌이pooh |
||
최근에 올라온 글
최근에 달린 댓글
카테고리
|
- Total
- Today
- Yesterday
