情報科学のための論理数学

• タイトルヨミ: ジョウホウカガクノタメノロンリスウガク
• シリーズ名: 日評数学選書／
• シリーズ名ヨミ: ニッピョウスウガクセンショ
• 著編者等／著者名等: 細井勉‖著
• 統一著者名: 細井勉
• 著編者等ヨミ／著者名等ヨミ: ホソイツトム
• 出版者: 日本評論社
• 出版地: 東京
• 出版年: 1992.4
• 大きさ: 249p
• 件名: 記号論理学
• 分類: 410.96,410.96 410.96
• ISBN: 4-535-60118-6
• マークNo: TRC000000092009241
• タイトルコード: 1005010237922
• 資料番号: 00000000000000418095
• 請求記号: 410.1/69
• 内容紹介: 情報科学・情報工学を学ぶ際の基礎となっている「論理」全般について詳しく解説。数学的に基礎から展開しながら、コンピュータへの応用を示す。
• 種別: 図書