横浜市立図書館蔵書検索ページ
トップメニュー
詳細検索
ジャンル検索
新着・本紹介
お知らせ
レファレンス
(調べもの・相談)
Myライブラリ
本サイトにはJavaScriptの利用を前提とした機能がございます。
お客様の環境では一部の機能がご利用いただけない可能性がございますので、ご了承ください。
資料詳細
詳細検索
ジャンル検索
1 件中、 1 件目
【図書】
数理パズルで楽しく学べる論理学
藤田憲悦
/著 --
コロナ社 -- 2022.3 -- 21cm -- 188p
予約申込
本棚へ
資料詳細
タイトル
数理パズルで楽しく学べる論理学
著者名等
藤田憲悦
/著
出版
コロナ社 2022.3
大きさ等
21cm 188p
分類
410.96
件名
記号論理学
注記
欧文タイトル:Logical Labyrinths and Mathematical Logic
注記
文献あり 索引あり
著者紹介
1984年東北大学工学部電子工学科卒業。1990年東北大学大学院博士後期課程単位取得退学(情報工学専攻)。工学博士。2004年群馬大学助教授。2007年群馬大学准教授。現在に至る。(本データはこの書籍が刊行された当時に掲載されていたものです)
目次
1 準備(言葉づかいについて:集合、順序と同値関係、写像と関数);2 命題論理(日常的推論と記号化;数理パズルと記号化;命題論理の言語:論理式 ほか);3 述語論理(数理パズルと述語論理による記号化;述語論理の言語;述語論理の形式的体系 ほか);4 証明の形式化とラムダ計算(証明図の簡約;証明の記号化・形式化;カリー・ハワード同型)
ISBN(13)、ISBN
978-4-339-02923-9 4-339-02923-8
書誌番号
1113950866
URL
https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1113950866
ページの先頭へ
所蔵
所蔵は
2
件です。現在の予約件数は
0
件です。
所蔵館
所蔵場所
別置
請求記号
資料区分
状態
取扱
資料コード
中央
4階自然科学
Map
410.9
一般書
利用可
-
2072141400
磯子
公開
Map
410
一般書
利用可
-
2072227142
ページの先頭へ