Mendeley出力
＜図書＞
Logic for applications
| 責任表示 | Anil Nerode and Richard A. Shore |
|---|---|
| シリーズ | Graduate texts in computer science |
| データ種別 | 図書 |
| 版 | 2nd ed |
| 出版情報 | New York : Springer , c1997 |
| 本文言語 | 英語 |
| 大きさ | xiii, 456 p. ; 24 cm |
| 概要 | This textbook provides a first introduction to mathematical logic which is closely attuned to the applications of logic in computer science. In it the authors emphasize the notion that deduction is a...form of computation. Whilst all the traditional subjects of logic are covered thoroughly: syntax, semantics, completeness, and compactness; much of the book deals with less traditional topics such as resolution theorem proving, logic programming and non-classical logics - modal and intuitionistic - which are becoming increasingly important in computer science. No previous exposure to logic is assumed and so this will be suitable for upper level undergraduates or beginning graduate students in computer science or mathematics.From reviews of the first edition ..". must surely rank as one of the most fruitful textbooks introduced into computer science ... We strongly suggest it as a textbook ..." "SIGACT News" 続きを見る |
所蔵情報
| 状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
|
中央図 自動書庫 | 007.6/N 65 | 1997 |
|
003212003002890 |
|
|||
|
|
|
理系図1F 開架 | 007.64/N 65 | 1997 |
|
031212007000475 |
|
書誌詳細
| 一般注記 | Includes bibliographical references and index |
|---|---|
| 著者標目 | *Nerode, Anil, 1932- Shore, Richard A., 1946- |
| 件 名 | LCSH:Computer science -- Mathematics
全ての件名で検索
LCSH:Logic, Symbolic and mathematical |
| 分 類 | LCC:QA76.9.M35 DC20:005.1/01/5113 |
| 書誌ID | 1000930633 |
| ISBN | 0387948937 |
| NCID | BA29810607 |
| 巻冊次 | ISBN:0387948937 |
| 登録日 | 2009.09.16 |
| 更新日 | 2009.09.18 |