Logic  Site

Wikipedia : Logic    위키백과 : 논리학

AI Topics : Logic & Formal Reasoning : AI 에서 당면한 커다란 문제는 '그것을 어떻게 표현하느냐' 가 아니라 '무엇을 표현하느냐' 하는 것이다. 술어계산 (형식 논리) 는 단지 세상에 대한 지식을 표현하고 추론하는 일정한 언어를 제공할 뿐이다 ....... Nils J.Nilsson

AI Topics : Nonmonotonic Logic     AI Topics : Description Logic

The Stanford Encyclopedia of Logic Technology : 논리 정보에 대한 정보의 해설.  기술의 목록, 응용, 참고서적, 웹사이트, 관련 인물, 기관, 학회

Glossary of First-Order Logic : Peter Suber, Philosophy Department, Earlham College. 미국. Logical Systems 강의 코스를 위한 일부. 기호논리학 강의 코스에서는  Basic Terms of Logic,  Predicate Logic Terms,  Logic Notation 등을 볼 수 있다.

Stanford Formal Reasoning Group

Logic for Computer Science 강좌 : KAIST : NLP lab : 박종철 :  Course

Logical AI 의 개념들 : John McCarthy

The Logical Foundations of Computer Science and Mathematics : Anthony Aaby, Walla Walla College Computer Science. Overview , Classical Logic , Logic Programming, work

Introduction to Logic : Dave Inman, School of Computing, South Bank University, London