検索結果書誌詳細

図書
ログインすると表紙画像を
ご覧になれます

書誌情報サマリ

書名

はじめての数理論理学 証明を作りながら学ぶ記号論理の考え方

著者名 山田 俊行／著
著者名ヨミ ヤマダ トシユキ
出版者 森北出版
出版年月 2018.7

蔵書情報

この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。

所蔵数 1 在庫数 1 予約数 0

この資料に対する操作

カートに入れる を押すと この資料を 予約する候補として予約カートに追加します。

いますぐ予約する を押すと 認証後この資料をすぐに予約します。

この資料に対する操作

電子書籍を読むを押すと 電子図書館に移動しこの資料の電子書籍を読むことができます。

マイ本棚へ追加ログインするとマイ本棚を利用できます。

書誌詳細

この資料の書誌詳細情報です。

タイトルコード 1000050151904
書誌種別 図書
書名 はじめての数理論理学 証明を作りながら学ぶ記号論理の考え方
書名ヨミ ハジメテ ノ スウリ ロンリガク ショウメイ オ ツクリナガラ マナブ キゴウ ロンリ ノ カンガエカタ
著者名 山田 俊行／著
著者名ヨミ ヤマダ トシユキ
出版者 森北出版
出版年月 2018.7
ページ数・枚数 7,131p
大きさ・形態 22cm
ISBN 978-4-627-07801-7
分類記号 410.96
内容紹介 論理記号の読み書きから自然演繹の入り口までやさしくナビゲートする、数理論理学の入門書。簡単な命題や証明を題材に、記号論理の考え方をわかりやすく解説する。例題・演習問題も豊富に収録。
著者紹介 筑波大学大学院博士課程電子・情報工学専攻修了。三重大学大学院工学研究科情報工学専攻講師。博士(工学)。研究分野は書き替え系、等式論理、組み合わせ最適化、ソフトウェアの解析と検証等。
件名1 記号論理学



目次


内容細目

資料情報

各蔵書資料に関する詳細情報です。

No. 所蔵館資料番号請求記号資料種別配架場所帯出区分状態 貸出
1 中央　0114861051410.9//図書一般特集棚６貸出可在庫　  ○

関連資料

この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。

2018
二年二組のたからばこ 二年二組のたからばこ
山本 悦子／作,… そして、バトンは渡された そして、バトンは渡された
瀬尾 まいこ／著 もぐらはすごい もぐらはすごい
アヤ井 アキコ／… 沈黙のパレード 沈黙のパレード
東野 圭吾／著 魔力の胎動 魔力の胎動
東野 圭吾／著 どんぐりむらのいちねんかん どんぐりむらのいちねんかん
なかや みわ／さ… おしりたんてい みはらしそうのかい… おしりたんてい みはらしそうのかい…
トロル／さく・え ふしぎ駄菓子屋銭天堂10 ふしぎ駄菓子屋銭天堂10
廣嶋 玲子／作,… へんしんたんてい へんしんたんてい
あきやま ただし… コンビニ人間 コンビニ人間
村田 沙耶香／著 ラプラスの魔女 ラプラスの魔女
東野 圭吾／[著… オリンピックのおばけずかん　：　ビ… オリンピックのおばけずかん　：　ビ…
斉藤 洋／作,宮… めんたべよう! めんたべよう!
小西 英子／さく ベンソン先生にあたしはきっと☆はも… ベンソン先生にあたしはきっと☆はも…
ジェニファー・K… 昨日がなければ明日もない 昨日がなければ明日もない
宮部 みゆき／著 漢字はうたう 漢字はうたう
杉本 深由起／詩… ノラネコぐんだんと海の果ての怪物 ノラネコぐんだんと海の果ての怪物
工藤 ノリコ／著 ねずみくんのうんどうかい ねずみくんのうんどうかい
なかえ よしを／… あいことばは名探偵 あいことばは名探偵
杉山 亮／作,中… 地震・津波防災のひみつ　：　東日本… 地震・津波防災のひみつ　：　東日本…
工藤 ケン／漫画 心ってどこにあるのでしょう? 心ってどこにあるのでしょう?
こんの ひとみ／… キラキラッとほしがかがやきました キラキラッとほしがかがやきました
宮西 達也／作絵 いなり寿司のひみつ いなり寿司のひみつ
おだぎ みを／ま… めろんさんがね… めろんさんがね…
とよた かずひこ… はりねずみのおいしゃさん はりねずみのおいしゃさん
ふくざわ ゆみこ… れいぞうこのおくのおく れいぞうこのおくのおく
うえだ しげこ／… いちごちゃん いちごちゃん
さとう めぐみ／… みずとはなんじゃ? みずとはなんじゃ?
かこ さとし／作… ハンバーガーをつくろう! ハンバーガーをつくろう!
新井 洋行／作 パンのずかん パンのずかん
大森 裕子／作,… おうさまがかえってくる100びょう… おうさまがかえってくる100びょう…
柏原 佳世子／作 くすのきだんちのおきゃくさん くすのきだんちのおきゃくさん
武鹿 悦子／作,… 東大教授がおしえるやばい日本史　：… 東大教授がおしえるやばい日本史　：…
本郷 和人／監修… おばけのパンこうじょう おばけのパンこうじょう
オームラ トモコ… ようかいしりとり ようかいしりとり
おくはら ゆめ／… 愛なき世界 愛なき世界
三浦 しをん／著 ヒョウのハチ ヒョウのハチ
門田 隆将／ぶん… 本が好きになる 本が好きになる
さやま しょうこ… 朽ちないサクラ 朽ちないサクラ
柚月 裕子／著 恐竜トリケラトプスはじめてのたたか… 恐竜トリケラトプスはじめてのたたか…
黒川 みつひろ／… 失敗図鑑　：　すごい人ほどダメだっ… 失敗図鑑　：　すごい人ほどダメだっ…
大野 正人／著 なにはこんでるの? なにはこんでるの?
スズキ サトル／… まほうつかい まほうつかい
いしかわ こうじ… いいからいいから5 いいからいいから5
長谷川 義史／作 おかしとおうちくれませんか? おかしとおうちくれませんか?
せき ゆうこ／作… 一度読んだら絶対に忘れない世界史の… 一度読んだら絶対に忘れない世界史の…
山崎 圭一／著 おばけのソッチぞびぞびオーディショ… おばけのソッチぞびぞびオーディショ…
角野 栄子／さく… とらんぽりんぽーん とらんぽりんぽーん
ふくだ じゅんこ… かべのむこうになにがある? かべのむこうになにがある?
ブリッタ・テッケ… さよならともだち さよならともだち
内田 麟太郎／作…
前のページへ
このページの先頭へ トップページへ

本文はここまでです。

ページの終わりです。