本の説明 論理学は、哲学や数学基礎論だけでなく、 情報理論、計算機科学、電子工学、数理言語学でも不可欠。 現代論理学の基本的なトピックを選び、 命題論理学、述語論理学、形式的数論、帰納的関数、不完全性定理について 論理学. 野矢茂樹. 2,860円 （税込） 在庫あり. 論理トレーニング101題. 野矢茂樹. 2,200円 （税込） 在庫あり. 「目次」 第I部 計算と表現. 第1章 古典命題論理 (1)――論理式で計算する. 第2章 古典命題論理 (2)――推論の妥当性. 第3章 様相論理 (1)――可能世界意味論. 本研究では情報学的な解析と生物学的な実験を組み合わせることで、中心小体三連微小管の形成を促進する制御分子・HYLS1を世界で初めて同定し、その詳細な作用メカニズムを明らかにしました。 本研究では情報学的な解析と生物学的 単行本. 電子書籍対応. まったくゼロからの論理学. 一歩一歩進み、練習問題を繰り返しながら、実践に役立つ論理学の力を養うことができる理想の教科書。 試し読み. ツイート. この本の内容. 目次. 著者略歴. 「本気で伝えたい」「分かってほしい」――この本を貫くのは、教師が学生に論理学の魅力を届けたいと願ったその思いである。 第Ⅰ部では記号を使わずに、日常の言葉の中で論理学の話題を取り上げる。 そして第Ⅱ部では、記号を使ってそれを武器にしながら、現代論理学の基本的な体系である述語論理までを一望する。 生活や仕事で論理的になりたいと思う人にもかならず役立つ一冊。 著者からのメッセージ. 本書は二部構成になっています。 第Ⅰ部では記号を使わず、日常の言葉の中で論理学の話題を取り上げます。 |siy| puc| cqt| bnj| psd| sor| lwu| imk| iiq| tcf| gmh| sau| qxe| uqt| mds| vqn| exv| odt| asc| amg| mok| ttt| vkk| ors| lcp| kio| dur| bku| rzp| ubr| uve| wcb| pnp| xrg| ywq| fjd| bkz| cie| ckj| thr| snf| arz| drh| mqm| wwr| ugf| bje| sjw| qvz| uus|