鳥取県立図書館
図書館HP
資料検索
資料紹介
Myライブラリ
ヘルプ
図書館HP
>
検索結果一覧
>
本サイトにはJavaScriptの利用を前提とした機能がございます。
お客様の環境では一部の機能がご利用いただけない可能性がございますので、ご了承ください。
資料詳細
詳細蔵書検索
ジャンル検索
検索条件
著者
町田修
ハイライト
ON
OFF
一覧へ戻る
1 件中、 1 件目
情報数学講座 第1巻 応用論理
利用可
予約かごへ
広瀬健/〔ほか〕編集 -- 共立出版 -- 199603 -- 0071
SDI
本棚へ
所蔵は
1
件です。現在の予約件数は
0
件です。
所蔵館
所蔵場所
請求記号
資料コード
資料区分
帯出区分
状態
鳥取県立
書庫
007.1/シヨウ-1/一般H
115054721
一般
利用可
ページの先頭へ
資料詳細
タイトル
情報数学講座
書名ヨミ
ジョウホウ スウガク コウザ
巻次
第1巻
巻書名
応用論理
巻書名
応用論理
著者名
広瀬健
/〔ほか〕編集
著者ヨミ
ヒロセ,ケン
出版者
共立出版
出版年
199603
ページ数等
212p
大きさ
22cm
内容細目
参考文献:p199~200
一般件名
情報数学
ISBN
4-320-02651-9
問合わせ番号(書誌番号)
1100280431
NDC8版
0071
ページの先頭へ
内容一覧
タイトル
著者名
ページ
第1章 古典命題論理
第2章 一階古典述語論理
第3章 論理プログラミング
第4章 数え上げと対角線論法
第5章 代入と型付きラムダ式
ページの先頭へ