교수 : 이경순 교수님
교재 : Duscrete Mathematics with Applications 3rd
http://210.117.187.73/~selfsolee/Courses/dm_spring2004.html

PrologLanguage
 http://www.aistudy.co.kr/prolog/prolog.htm
 http://nlp.kaist.ac.kr/~cs370/
 http://nlp.kaist.ac.kr/~cs370/SICStus%20Prolog%20version%203.9.htm

----
1장

PrologLanguage 

----
5장 Set

The introduction of suitable abstractions is our only mental aid to organize and master complexity. - E. W. Dijkstra

수학에서 추상화 하는 법과 자연언어에서 복잡도를 다루는 법들을 익힐 필요가 있겠다.

6장

The whole of science is nothing more than a refinement of everyday thinking

중요한것은 모든 사람들이 생각할 수 있는 기본 아이디어 이다. 상식적 인간이 되자.