2008년 12월 30일 화요일

Starting Point

Introduction to Logic


Connection Between Logic and Computer Science

계속 추가됩니다. Let's research...

2008년 12월 23일 화요일

블로그 이름이 맘이 든다.

구글에 둥지를 마련했다.
이름도 근사하다. LACS 라...
Logic and Computer Science ...
난 사실 지도교수님의 영향을 아주아주 많이 받아서, Logic과 Computer Science 모두를 좋아한다. 그러나 내 학문적 깊이는? 교수님의 말을 비유하자면, "깊이고 나발이고 삽자루나 들고 말해!" 이다. 그간 기초체력을 다져놔서 이제 삽자루는 들을 수 있을 거 같다.

이 블로그는...

많은 논리학자들과 컴퓨터 과학을 공부하는 사람들과의 공유의 장을 마련하기 위해...
나도 더욱 학문에 정진하겠다는 다짐을 지키기 위해...


만들어진 공간이라 하겠다. 두가지 목적이 모두 달성되기란 힘들것으로 보이지만, 두번째 목적은 첫단추가 중요하다고 생각한다. 자 이제 시작해 봐야겠다.

오늘은 일단 잠부터 자고...