Computation as logic
著者
書誌事項
Computation as logic
（Prentice-Hall International series in computer science）
Masson , Prentice Hall, c1993
- タイトル別名
-
Logique, réduction, résolution
大学図書館所蔵 件 / 全19件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references and index
内容説明・目次
内容説明
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.
目次
- The syntactic landscape
- reduction
- first-order logic
- models
- equational logic
- resolution
- the computable landscape.
「Nielsen BookData」 より
