Elf라고 이미 있었네 ㅋㅋㅋㅋㅋ
추론규칙을 기술하는 메타언어의 형식화가 목표였는데
기괴공학도(mecheng98)
2019-02-20 20:16
추천 1
댓글 4
다른 게시글
-
여기 비추 수 많은 이유는 간단함익명(223.38) | 19.02.19추천 4
-
형님들 이 글 읽어주세요.기괴공학도(mecheng98) | 19.02.19추천 2
-
전건긍정식과 후건부정식논리왕(data000906) | 19.02.16추천 0
-
이거 형식증명해주실 분 구함기괴공학도(mecheng98) | 19.02.05추천 1
-
예수믿기만하면천국간다주장하는놈들이빡대갈인이유3.@(221.147) | 19.01.16추천 0
-
벤슨메이츠 기호논리학 [1]익명(110.70) | 19.01.16추천 0
-
궤변을 활용한 선동 방식을 알아보자 [3]익명(175.223) | 19.01.03추천 19
-
일본 "한국은 남자들에게 배상했냐?".jpg일본학과(222.98) | 18.12.29추천 2
-
논리 초보입니다. 추천 질문익명(175.223) | 18.12.16추천 0
-
생가ㄱ을 말로 질서정연하고 논리적으로 하려몀익명(118.223) | 18.12.16추천 0
요런거 꽤 있음
어떤 게 요런 건지 알려주시면 안 되나요? 참고해보게요.
Handbook of Practical Logic and Automated Reasoning의 6장 Interactive Theorem Proving을 보면 1차논리의 추론규칙을 미니멀하게 코딩하고 증명보조기로 사용하는 방법이 자세하게 설명되어 있지요. 아마 도움이 될 듯?