検索結果書誌詳細

  • 書誌の詳細です。 現在、予約しているのは 0 件です。
  • 下にある「予約カートに入れる」を押すと予約カートに追加できます。

蔵書情報

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

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

書誌情報サマリ

タイトル

一両列車のゆるり旅 双葉文庫 し-13-17

著者名 下川 裕治/著
著者名ヨミ シモカワ ユウジ
出版者 双葉社
出版年月 2015.6


この資料に対する操作

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

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

この資料に対する操作

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


登録する本棚ログインメモ


資料情報

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

No. 所蔵館 資料番号 資料種別 請求記号 配架場所 帯出区分 状態 在架
1 やよい0811723410一般図書B291//開架通常貸出在庫 
2 中央1217032570一般図書B291//文庫通常貸出在庫 

関連資料

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

1981
1981
410.96 410.96
記号論理学

書誌詳細

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

タイトルコード 1001110468934
書誌種別 図書(和書)
著者名 下川 裕治/著   中田 浩資/写真
著者名ヨミ シモカワ ユウジ ナカタ ヒロシ
出版者 双葉社
出版年月 2015.6
ページ数 364p
大きさ 15cm
ISBN 4-575-71436-4
分類記号 291.09
タイトル 一両列車のゆるり旅 双葉文庫 し-13-17
書名ヨミ イチリョウ レッシャ ノ ユルリタビ
内容紹介 夏の北アルプス、吹雪の日本海、里山の無人駅…。超ローカル線の車窓をぼーっと眺め、昭和の名残漂う駅前旅館に泊まる旅。台湾・韓国のローカル線と駅前宿のコラムも収録。『朝日新聞デジタル&M』連載をもとに文庫化。
件名1 日本-紀行・案内記
件名2 鉄道-日本

(他の紹介)内容紹介 本書は数理論理学とタイプ理論をわかりやすく解説すると同時に、計算機による定理の自動証明の基礎的理解を与えることを企図している。すなわち、理論的側面のλ計算と、実践的側面の自動証明機構の、両者の基礎を与える独特な入門的数理論理学書として位置づけられるものである。
(他の紹介)目次 1 命題計算
2 第1階の〔述語〕論理
3 証明可能性および論駁可能性
4 第1階の論理のさらに進んだ話題
5 タイプ〔型〕理論
6 形式化された数論
7 不完全性と決定不能性
付録 定理の要約


内容細目


目次

前のページへ

本文はここまでです。


ページの終わりです。