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

소프트웨어 jLogic의 개요
jLogic은 현대 수리논리학의 입문을 위하여 마련된 교육용 소프트웨어이다. 대학 1,2학년 정도면 혼자서 이 소프트웨어를 사용해 가면서 학습을 할 수 있겠으며, 뛰어난 자질을 가진 중고등학생의 경우 교사의 지도하에 충분히 수업이 가능하다고 본다.
논리학은 추론의 과학이며 수리논리학은 수학의 명제를 표현하고 증명하는데 사용하는 논리체계를 연구하는 학문이다. 여러 논리체계 중에서 가장 널리 사용되는 것이 1계논리이며 jLogic은 이 1계논리의 논리식과 의미론을 공부하는 입문과정에 유용하게 사용될 수 있다.
학습자가 윈도즈 95에 대한 어느 정도 경험이 있어야만 바라는 학습효과를 거둘 수 있음은 당연하며, 본고는 이것을 가정하고 쓴 것이다.
jLogic을 실행시키면 4부분으로 구성된 화면이 나타난다.<그림 4> 토이우주 윈도우
화면의 왼쪽 위 부분은 논리식 윈도우라고 부르고 오른쪽 위 부분은 토이우주 윈도우, 왼쪽 아랫 부분은 조사 윈도우, 오른쪽 아랫 부분은 키보드 윈도우라고 부른다.
프로그램 사용법
예제 데이터 파일을 가지고 작업을 해 보자. 메뉴바에서 [문…(생략)