資料詳細

検索条件

  • 著者
    昭和音楽大学オペラ研究所
ハイライト
  • 1 件中、 1 件目

情報科学のための論理数学 利用可

細井勉／著 -- 日本評論社 -- 199204 -- 4109

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
鳥取県立 書庫 410.9/ﾎｿｲ/一般Ｈ 111732402 一般 利用可

ページの先頭へ

資料詳細

タイトル 情報科学のための論理数学
書名ヨミ ジヨウホウ　カガク　ノ　タメノ　ロンリ　スウガク
シリーズ名 日評数学選書
著者名 細井勉 ／著  
著者ヨミ ホソイ，ツトム  
出版者 日本評論社  
出版年 199204
ページ数等 ２４９ｐ
大きさ ２２㎝
内容細目 参考文献：ｐ２３６～２３９
一般件名 数学基礎論  
ISBN 4-535-60118-6
問合わせ番号（書誌番号） 1100156105
NDC8版 4109
内容紹介 本書は、情報科学・情報工学を学ぶ際の基礎となっている“論理”全般について詳しく解説したものである。

ページの先頭へ

内容一覧

タイトル 著者名 ページ
序章　数学的準備
第１部　論理代数と論理設計（論数代数；論理関数；論理関数族；論理関数と組合せ回路；論理関数の簡単化；順序回路と系列機械）
第２部　数理論理学からの話題（古典命題論理；直観主義命題論理；述語論理；その他の論理；ダイナミック論理―コンピュータ理論と行動理論のための形式論理）

ページの先頭へ