2024/06/18
資料の種別。 |
図書。
資料情報のコピー
|
タイトル。 |
述語論理・入門(ジュツゴ ロンリ ニュウモン)。
外部サイトで調べる:
|
副書名。 |
基礎からプログラムの理論へ(キソ カラ プログラム ノ リロン エ)。
|
著者名等。 |
上江洲忠弘∥著(ウエス,タダヒロ)。
|
出版者。 |
遊星社/東京。
|
出版年。 |
2007.4。
|
発売者。 |
星雲社。
|
ページと大きさ。 |
206p/21cm。
|
件名。 |
記号論理学。
|
分類。 |
NDC8 版:410.96。
|
NDC9 版:410.96。
|
ISBN。 |
978-4-434-10605-7。
|
4-434-10605-8。
|
価格。 |
2300円。
|
タイトルコード。 |
1104673221。
|
内容紹介。 |
述語論理の基礎からプログラムの理論までわかりやすく解説する、数理論理学の入門書。読者の理解のために、色々なところに問題を掲載。丁寧に読んでいけば、ほとんどの問題は読者自身で容易に解くことができる。。
|
所蔵数。 |
館内でのみ利用可能な資料。 |
貸出可能な資料。 |
貸出中の資料。 |
予約数。 |
- 所蔵数
- 1 冊
|
- 館内でのみ利用可能な資料
- 0 冊
|
- 貸出可能な資料。
- 1 冊
|
- 貸出中の資料
- 0 冊
|
- 予約数
- 0 件
|
番号。 |
資料番号。 |
所蔵館。 |
配架場所(配架案内)。 |
請求記号。 |
状態。 |
1。 |
- 資料番号:
- 1014974644。
|
- 所蔵館:
- 福井県立図書館。
|
- 配架場所:
- カウンターカウンター(書庫内資料です。調査相談カウンターにてお尋ねください。)。
|
- 請求記号:
- 410.9/ウエス。
|
- 状態:
- 在架。
|
このページのURL:http://www.library-archives.pref.fukui.lg.jp/wo/opc_srh/srh_detail/1104673221