さいたま市図書館新着情報(非公式)

さいたま市図書館の新着図書の情報をお知らせします

記号論理学

はじめての数理論理学 -証明を作りながら学ぶ記号論理の考え方-


はじめての数理論理学 -証明を作りながら学ぶ記号論理の考え方-
山田 俊行

予約数: 0
予想待ち時間: なし
図書館で予約する 携帯から
Amazonを見る 携帯から
【内容紹介】
論理記号の読み書きから自然演繹の入り口までやさしくナビゲートする、数理論理学の入門書。簡単な命題や証明を題材に、記号論理の考え方をわかりやすく解説する。例題・演習問題も豊富に収録。

「論理」を分析する


「論理」を分析する
八木沢 敬
岩波現代全書

Amazonでの評価:(3.0/5.0)
予約数: 1
予想待ち時間: 2週程度
図書館で予約する 携帯から
レビューを見る 携帯から
Amazonを見る 携帯から
【内容紹介】
人間の推論する能力を導く規則を、一般的なかたちで形式的に体系化した論理学。論理学の組み立てを明確に示しながら、論理学に深くかかわる哲学的に興味深いテーマについて、初歩的な見通しを与える。

記号論


記号論
吉田 夏彦
ちくま学芸文庫

予約数: 0
予想待ち時間: なし
図書館で予約する 携帯から
Amazonを見る 携帯から
【内容紹介】
文字、数字、音符、絵画、人の表情や動作、空に浮かぶ雲のたたずまい…。人間にとって世界は膨大な記号の集積。さまざまな領域における記号の構造を解説し、それを読み解く最強の技術、論理学の基礎へと誘う。

証明と論理に強くなる -論理式の読み方から、ゲーデルの門前まで 決定版数理論理学の完全解説-


証明と論理に強くなる -論理式の読み方から、ゲーデルの門前まで 決定版数理論理学の完全解説-
小島 寛之
知の扉シリーズ

予約数: 4
予想待ち時間: 2か月程度
図書館で予約する 携帯から
Amazonを見る 携帯から
【内容紹介】
たった6個の論理記号といくつかの規則だけで、証明や論理式は成り立っている-。数学における証明のやり方と、論理式の扱い方を徹底的に解説。論理学の金字塔ゲーデルの定理の入口まで案内する。練習問題も掲載。

新・論理考究 -論理がはじめてわかる-


新・論理考究 -論理がはじめてわかる-
本橋 信義

予約数: 0
予想待ち時間: 1週程度
図書館で予約する 携帯から
Amazonを見る 携帯から
【内容紹介】
「論理とは何か?」という問題の答えを提示。対象論理とメタ論理の違いを明らかにしたうえで、メタ論理としての日常論理を用いて対象論理を作る方法を説明する。
記事検索
アクセスカウンター

    タグクラウド
    最新コメント
    最新トラックバック
    • ライブドアブログ