컴퓨터를 이용한 수리논리학 교육

• 영문명: Computer Aided Learning of Mathematical Logic
• 발행기관: 대한수학교육학회
• 저자명: 정주희
• 간행물 정보: 『수학교육학연구』제9권 1호, 111~119쪽, 전체 9쪽
• 주제분류: 사회과학 > 교육학
• 파일형태: PDF
• 발행일자: 1999.07.31

영문 초록

This paper discusses jLogic, a mathematical logic education software developed by the author. jLogic is basically a MS-Windows based software that can construct first-order models, formulas and test their satisfiablity. Logical formulas are easily input by a “keyboard” maintained by jLogic. A special finite model, called the “Toy World” can be visually constructed and modified. The user is supposed to answer the following 3 questions about the selected logical expression: 1. Is it a grammatically correct logical formula? 2. Is it a sentence that has a definite truth value? 3. Is th sentence true or false? When the user inputs his answer in the “Inspector window” and then presses the OK button, jLogic instantly tests the validity of the answer and tells the user the result. jLogic is freely downloaded from http://gauss.kyungpook.ac.kr/~jlogic/

목차

서론

소프트웨어 jLogic의 개요

프로그램 사용법

화면별 세부 사항

맺음말

참고문헌

〈부록〉 기호논리학