400.002(005) Engineering Mathematics II, Logic in Computing (Fall 2005)

이광근 Kwangkeun Yi
Programming Research Lab./CSE/Seoul National University

목표 Objectives

논리는 컴퓨터의 언어이다. 이 강의에서는 논리에 대한 정밀한 품새를 갖춘 컴퓨터 전공자가 되기위한 기본 소양을 익히게된다.

강의에서는 일차논리(first-order logic, 혹은 predicate calculus)체계를 통해서 컴퓨터 분야 전반에 공동으로 등장하는 논리체계의 원리, 용어, 내용의 기초를 익히고, 그외의 다양한 논리체계들이 소프트웨어 기술을 어떻게 이끌어가는 지를 살펴본다.

숙제 Homeworks

• HW1: readings, induction proof, proof=program, proof tree construction. Due 10/6(Th) 16:00

진도및 자료 Slides & Resources

• 교재: 강의노트 및 Mathematical Logic for Computer Science, 2nd ed., Mordechai Ben-Ari, Springer 2001.
• To view/print PS(Postscript) files: Ghostview, PDF files: Acrobat Reader
• 강의 슬라이드:
  • 1.ppt, 2.ppt, 2a.ppt
  • 3.ppt, 4.ppt
  • 5.ppt, 6.ppt, 6b.ppt
  • 7.ppt, 8.ppt, 8b.ppt
  • 9.ppt, 10.ppt, treasure island
  • 11.ppt, 12.ppt
• 읽을거리:
  • PDF 화일을 읽거나 프린트하려면: Acrobat Reader
  • 19세기 논리학, 21세기 계산학
  • Why Universities Require Computer Science Students to Take Math
  • Why Math
  • Mathematical Reasoning in SW Engineering Education