登入選單

返回Google圖書搜尋

Computation as Logic

René Lalement

出版	Masson, 1993
主題	Computers / Logic DesignComputers / Programming / GeneralMathematics / Discrete MathematicsMathematics / Logic
ISBN	01377000919780137700097
URL	http://books.google.com.hk/books?id=gYBQAAAAMAAJ&hl=&source=gbs_api

註釋

Logic plays an important role in the two areas of computer science - reduction and resolution respectively associated with functional programming and logic programming. This book illustrates that logic is not only a language in which one can accurately state facts or knowledge (as in artificial intelligence) but also that programming itself is a logical activity.