ようこそ！
カート
マイページ
eフレンズトップ
ログイン
メニュー
ご利用ガイド
組合員情報の変更
メールアドレスの変更
スマホ用サイトを表示
すべて
本
雑誌
CD
DVD・Blu-ray
本 こだわり検索
書名
著者名
商品説明
出版社名
出版年月
―
２０２６
２０２５
２０２４
２０２３
２０２２
２０２１
２０２０
２０１９
２０１８
２０１７
２０１６
２０１５
２０１４
２０１３
２０１２
２０１１
２０１０
２００９
２００８
２００７
２００６
２００５
２００４
２００３
２００２
２００１
２０００
１９９９
１９９８
１９９７
１９９６
１９９５
１９９４
１９９３
１９９２
１９９１
１９９０
１９８９
１９８８
１９８７
１９８６
１９８５
１９８４
１９８３
１９８２
年
―
１
２
３
４
５
６
７
８
９
１０
１１
１２
月
以前
のみ
以降
ジャンル
選択してください
文庫
新書・選書
文芸
教養
人文
教育
芸術
児童
趣味
生活
地図・ガイド
就職・資格
語学
小学学参
中学学参
高校学参
辞典
コミック
ゲーム攻略本
エンターテイメント
日記手帳
社会
法律
経済
経営
ビジネス
理学
工学
コンピュータ
医学
看護学
薬学
ISBNコード
予約商品を表示しない
検索
クリア
本
文庫
ＳＦ・推理
ティーンズ・少女
ティーンズ・ファンタジー
レディース文庫
日本文学
学術・教養
特殊文庫
雑学文庫
官能文庫
コミック文庫
歴史
海外文学
新書・選書
ノベルス
ブックス
ライブラリー
教養
選書・双書
耽美
文芸
ＳＦ・ミステリー
紀行・エッセイ
詩・詩集
短歌・俳句
耽美・官能
歴史・時代小説
日本文学
国文学
海外文学
外国文学
文学全集
ブックガイド
日本文学
エッセイ
海外文学
古典
文芸評論
教養
ノンフィクション
ドキュメンタリー
戦記
人物評伝
女性の本棚
人生論
雑学・知識
ライトエッセイ
人文
国語学
心理一般
発達心理
臨床心理
カウンセリング
精神病理
社会心理
哲学・思想
宗教
宗教・神道
宗教・仏教
宗教・キリスト教
文化・民俗
地理
歴史
世界史
日本史
図書館・博物館
精神世界
基礎心理
認知心理
精神分析
精神病理
教育
教育一般
学校教育
保育
教育問題
就職試験
教育学
学校・学級経営
特別支援教育
保育学
保育実務
芸術
映画
演劇
芸能
芸術・美術一般
絵画・作品集
絵画技法書
版画・彫刻
水墨画
書道
デザイン
写真一般
工芸
骨董
クラシック
ロック・ジャズ
民族音楽
楽譜）ピアノ・エレクトーン
楽譜）音楽教育・指導
アート写真集
音楽
児童
ファーストブック
３・４歳むけえほん
日本のえほん
外国のえほん
大人の絵本
ディズニー
キャラクター
しかけ絵本
絵本塔
名作古典
ゲーム・あそび
入門・工作
学習まんが
児童文庫
児童評論・児童教養
低学年向読み物
中学年向読み物
高学年向読み物
中学生以上向読み物
ノンフィクション
おばけ・こわい話
学習図鑑
観察図鑑
学習絵本
学習読み物
知育絵本
創作絵本
しかけ絵本
絵本塔
読み物
児童文庫
ノンフィクション
学習図鑑
学習
学習まんが
キャラクター
入門・あそび
教材・その他
ブックガイド
趣味
スポーツ
トレーニング
アウトドア
釣り
登山
園芸
くるま・バイク
ゲーム・トランプ
占い
華道
茶道
囲碁・将棋
ギャンブル
イラスト・カット
カラオケ・歌本
音楽入門
バンドスコア
カメラ・ビデオ
ホビー
格闘技
音楽教本
音楽（楽譜）
パズル・脳トレ・ぬりえ
生活
ハウジング
ペット
家庭医学
健康法
ダイエット
専門料理
家庭料理
酒・ドリンク
料理その他
冠婚葬祭
スピーチ
手紙・文書
家事・マナー
ファッション・美容
和洋裁・手芸
女性の医学
妊娠・出産
名付け
しつけ子育て
地図・ガイド
ガイド
地形図
地図
旅行会話
就職・資格
資格・検定
就職
公務員試験
一般就職試験
教員採用試験
語学
英語
フランス語
ドイツ語
イタリア語
中国語
韓国語
各国語
語学検定
日本語・国語
日本語
小学学参
参考書・問題集
中学入試
未就学
教科書準拠
その他
ドリル
参考書・問題集
中学学参
ドリル
教科別参考書
教科別問題集
高校入試
要点暗記
教科書準拠
高校学参
英語
国語
社会
理科
数学
大学受験
教科書準拠
その他
辞典
英語
国語
各国語
その他
コミック
廉価版コミックス
少年（小中学生）
少年（中高生・一般）
少女（小中学生）
少女（中高生・一般）
青年（一般）
青年（中高年）
ｗｅｂ発コミックス
児童
レディース
マニア
耽美
ゲーム攻略本
プレイステーション
ドリームキャスト
セガサターン
Ｎ６４
ゲームボーイ
ファミコン・スーパーファミコン
ＰＣ版ゲーム
携帯ゲーム
ゲーム攻略本その他
ＰＳ２
ゲーム設定資料集
カードゲーム
ゲームキューブ
Ｘｂｏｘ３６０
ＰＳ３
Ｗｉｉ
ＰＳＰ
ＮｉｎｔｅｎｄｏＤＳ
家庭用
携帯用
その他ゲーム
エンターテイメント
精神世界
超常・オカルト
サブカルチャー
アニメ系
ヤングエイジ
ミドルエイジ
ＴＶ映画タレント・ミュージシャン
タレント・ミュージシャン写真集
カルチャー雑誌
日記手帳
日記
手帳
暦
社会
社会学
政治
福祉
社会問題
法律
法律
憲法
民法
商法
労働法
刑法
司法・訴訟法
国際法
他法律
くらしの法律
司法資格
経済
経済
統計学
財政学
金融学
日本経済
国際経済
貿易
産業・交通
金融資格
経営
経営学
企業・組織論
経営管理
マーケティング
会計・簿記
税務
会計・税務資格
ビジネス
ビジネス教養
自己啓発
企業法務
開業・転職
広告
仕事の技術
マネープラン
流通
ビジネス資格試験
理学
科学
化学
数学
物理学
生物学
生命科学
環境
地学
天文・宇宙
家政学
農学
工学
工学一般
電気電子工学
土木工学
建築工学
機械工学
金属工学
化学工業
海事工学
経営工学
コンピュータ
マッキントッシュ
ハードウェア
ＯＳ
言語
アプリケーション
パソコン一般
情報通信
インターネット
情報科学
コンピュータ資格試験
デジタルクリエイト
Ｍａｃｉｎｔｏｓｈ
ハードウェア・自作
ＵＮＩＸ
プログラミング
アプリケーション
クリエイティブ
Ｗｅｂ作成
パソコン一般
Ｗｉｎｄｏｗｓ
インターネット
ネットワーク
データベース
資格試験
医学
医学一般
基礎医学
基礎医学関連
臨床医学一般
臨床医学内科系
臨床医学外科系
精神医学
東洋医学
医師国家試験
歯科学
保健・体育学
医療関連資格
看護学
看護学一般
看護理論・教育・研究
臨床看護・基礎技術・知識
臨床看護・器官系統別
臨床看護・専門
看護学生参考書
各社シリーズ
看護婦（士）国家試験（准看含む）
看護学校紹介・入試関連
基礎看護
臨床看護
保健助産
専門基礎
社会人文自然科学
演習試験問題
辞典・事典・用語集・語学
看護シリーズ
薬学
薬学一般
基礎薬学
臨床薬学
薬学法規・基準
薬学関連資格試験
漢方
医薬品製造
薬局・薬剤師
薬価・医療事務関連
本 >
理学
>
数学
>
数学一般
出版社名：日本評論社
出版年月：1994年4月
ISBN：978-4-535-60814-6
２９７Ｐ ２２ｃｍ
情報科学における論理/情報数学セミナー
小野寛晰／著
組合員価格 税込
3,449
円
(通常価格 税込 3,630円)
割引率 5%
在庫あり
生協宅配にてお届け
※ご注文が集中した場合、お届けが遅れる場合がございます。
内容紹介・もくじなど
最近はね情報科学のいろいろな分野で数理論理学が用いられるようになってきました。この本は、そのような分野を勉強する際に必要になると思われる数理論理学の基本的な結果について述べたものです。
もくじ情報：第１章 命題論理；第２章 述語論理；第３章 エルブランの定理と導出原理；第４章 様相論理；第５章 直観主義論理；第６章 自然演繹の体系
最近はね情報科学のいろいろな分野で数理論理学が用いられるようになってきました。この本は、そのような分野を勉強する際に必要になると思われる数理論理学の基本的な結果について述べたものです。
もくじ情報：第１章 命題論理；第２章 述語論理；第３章 エルブランの定理と導出原理；第４章 様相論理；第５章 直観主義論理；第６章 自然演繹の体系
同じ著者名で検索した本
文科系の数学
小野寛晰／著
関係の代数 集合・順序・グラフ/シリーズ新しい応用の数学 ６
小野寛晰／著
もくじ情報：第１章 命題論理；第２章 述語論理；第３章 エルブランの定理と導出原理；第４章 様相論理；第５章 直観主義論理；第６章 自然演繹の体系
もくじ情報：第１章 命題論理；第２章 述語論理；第３章 エルブランの定理と導出原理；第４章 様相論理；第５章 直観主義論理；第６章 自然演繹の体系