資料詳細

  • 1 件中、 1 件目

【図書】 論理による問題の解法

Ｐｒｏｌｏｇ入門 -- 情報処理シリーズ --
Ｒ．コワルスキ ／著, 山田真市 ／〔ほか〕訳, 　   -- 培風館 -- １９８７．３ -- ２２ｃｍ -- ３９７ｐ

資料詳細

タイトル 論理による問題の解法
副書名 Ｐｒｏｌｏｇ入門
シリーズ名 情報処理シリーズ
著者名等 Ｒ．コワルスキ ／著, 山田真市 ／〔ほか〕訳, 　  
出版 培風館 １９８７．３
大きさ等 ２２ｃｍ ３９７ｐ
分類 007.64
件名 プログラミング（電子計算機）
注記 Ｌｏｇｉｃ　ｆｏｒ　ｐｒｏｂｌｅｍ　ｓｏｌｖｉｎｇ．／の翻訳
注記 監修：浦昭二　著者の肖像あり
内容 参考文献：ｐ３０１～３１４
要旨 本書はＰｒｏｌｏｇの創始者Ｋｏｗａｌｓｋｉが、問題解決と計算機プログラミングに対する論理の応用を３部構成で解説する。第１部は、節形の論理の機械に依存しない意味を述べ、情報を節形で表現する方法を説明する。第２部は、節形の論理の推論システムを述べる。第３部は、節形の論理式を拡張し、より強力な問題解決の方法について解説を加える。なお、巻末には、訳者により演習問題に対する解答例およびｍｉｃｒｏ‐Ｐｒｏｌｏｇによるプログラムを載せ、読者の便宜を一層はかっている。第５世代プロジェクトに採用されたＰｒｏｌｏｇの基本概念を理解するための必読の書である。
目次 節形による表現；Ｈｏｒｎ節のトップダウンおよびボトムアップの証明手続き；Ｈｏｒｎ節を用いた問題解決；Ｈｏｒｎ節の手続きとしての解釈；プラン形成とフレーム問題；レゾリューション；結合グラフを使う証明手続き；問題解決の大域的戦略；節形と標準形の比較；論理的同等性（ｉｆ‐ａｎｄ‐ｏｎｌｙ‐ｉｆ）の問題；証明可能性の形式化；情報システムで発生する変更や矛盾の取扱い
ISBN(13)、ISBN 　　 4-563-00788-9
書誌番号 1190248577
URL https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1190248577

ページの先頭へ

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 書庫 007.6/4252 一般書 利用可 - 0004943708 iLisvirtual

ページの先頭へ