- 中古
- 書籍
- 書籍
- 1211-03-00
述語論理と論理プログラミング 知識工学講座4
定価 ¥2,750
220円 定価より2,530円(92%)おトク
獲得ポイント2P
在庫なし
発送時期 1~5日以内に発送
商品詳細
| 内容紹介 | |
|---|---|
| 販売会社/発売会社 | オーム社/ |
| 発売年月日 | 1988/05/10 |
| JAN | 9784274073861 |
- 書籍
- 書籍
述語論理と論理プログラミング
商品が入荷した店舗:0店
店頭で購入可能な商品の入荷情報となります
ご来店の際には売り切れの場合もございます
オンラインストア上の価格と店頭価格は異なります
お電話やお問い合わせフォームでの在庫確認、お客様宅への発送やお取り置き・お取り寄せは行っておりません
値下げ前価格について
本価格は現中古販売価格の「値下げ前価格」となります。
直近約1か月間、値下げ前価格での販売実績があるものだけ表示しております。
述語論理と論理プログラミング
¥220
在庫なし
商品レビュー
5
1件のお客様レビュー
- ネタバレ
※このレビューにはネタバレを含みます
プログラミング言語で真偽をたしかめる論理演算と、述語論理の関係を深めるために本書を読みました。 命題論理というのが、AND(論理積 conjunction)、OR(論理和 disjunction),NOT(否定, negation)という論理演算子と、「ならば」という含意(implecation)と双方向の含意である同値(equivalent)とがあることを知りました。 述語論理は、すべてのという全称、あるという存在を持つものであることがわかりました。 表記上、 1 含意、同値 2 全称、存在 3 論理和、論理積、否定 という優先順位を持たせることがあるそうです。
Posted by 
