記号論理入門 (日評数学選書) [数学]

記号論理入門 (日評数学選書)

記号論理入門 (日評数学選書)

商品カテゴリ:	物理学,化学,数学,地学,科学,学習,知識
セールスランク:	181819 位
発送可能時期:	納期は下記のボタンを押してご確認ください
参考価格:	￥ 2,310 (消費税込)

ご購入前のご注意

このページはアマゾンウェブサービスを利用して運営しています。商品販売はすべてアマゾンの取り扱いです。最新価格、製品情報はボタンを押してご確認下さい。

分かった気になるのが怖い

読んで分かった気になるのが怖いので、簡単な演習をなるべくやるようにしています。
また、プログラミング言語で解いてみて、同じになることを確かめるようにしています。
ただ、プログラミング言語（あるいは論理言語、数式処理）で解いて、解けるとわかったような気になるのも怖いです。

もっと怖いのは、現実にどのように役立つかではなく、綺麗な式に無理矢理現実を押し込めようと制約条件などを明確にせずに式だけ似たものを作ることです。

現場、現地、現物に役立つ道具として論理を駆使したいものです。

本書では、記号論理の一つづつの記号について丁寧に説明している。
ドモルガンの法則が山場で、付録に演繹法の無矛盾性について記載がある。

日本評論社
数学基礎論入門 (基礎数学シリーズ)
数理論理学
集合とはなにか―はじめて学ぶ人のために (ブルーバックス)
ゲーデル不完全性定理 (岩波文庫)
論理学をつくる

■一桁×二桁のかけ算九一九 (幻冬舎文庫 (か-19-1))

■化学や物理のためのやさしい群論入門

■線形代数と線形計算法序説 (Information & computing (6))

■穴埋め式確率・統計らくらくワークブック

■人に話したくなる数学おもしろ定理 (知りたい★サイエンス)

■家庭塾つるカメ算マンガ攻略法初級―小3~6年

■記号論理入門 (日評数学選書)

■粉末X線解析の実際―リートベルト法入門

■「数検」問題集 5級

■MATLAB/Scilabで理解する数値計算

　[link]HHHZZ034 　[link]QQQAA090 　[link]SSSXX070 　[link]IIIII009 　[link]VVVAA095
　[link]IIIXX060 　[link]XXXAA097 　[link]KKKXX062 　[link]BBBZZ028 　[link]PPPAA089
　[link3]CCCCC051 　[link3]CCCCC007 　[link3]CCCCC069 　[link3]CCCCC056 　[link3]CCCCC053
　[link3]CCCCC028 　[link3]CCCCC067 　[link3]CCCCC003 　[link3]CCCCC083 　[link3]CCCCC025