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

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