高橋昌一郎

人物・団体ページへ

本

スマリヤン　記号論理学 一般化と記合化

高橋昌一郎

☆
☆
☆
☆
☆
レビューを書く 

基本情報

ジャンル
：
物理・科学・医学
ISBN/カタログNo
：
ISBN 13 : 9784621085721
ISBN 10 : 4621085727
フォーマット
：
本
出版社
：
丸善出版
発行年月
：
2013年01月
発売国
：
日本
共著・訳者・掲載人物など
:
レーモンド・M.スマリヤン, 高橋昌一郎, 川辺治之 ,  
追加情報
:
１５０ｐ；21

内容詳細

目次 : 第１部　一般化のすすめ（正直者と嘘つきの論理学/ 男性か女性か/ 沈黙する騎士と悪漢/ マトモかイカれているか/ 二重の厄介さ/ 統一原理）/ 第２部　記号化のすすめ（命題論理入門/ 正直者と嘘つきの命題論理/ 日がわり嘘つき/ 論理結合子と日がわり嘘つき/ タブロー法/ 「すべて」と「少なくとも一つ」/ 第１階述語論理入門）

【著者紹介】
高橋昌一郎 : ウエスタンミシガン大学数学科および哲学科卒業後、ミシガン大学大学院哲学研究科修士課程修了。現在は國學院大學教授。専門は論理学・哲学

川辺治之 : 東京大学理学部数学科卒業。現在、日本ユニシス株式会社上席研究員。入社以来、主にプログラミング言語およびミドルウェアの企画・設計・開発に従事（本データはこの書籍が刊行された当時に掲載されていたものです）

（「BOOK」データベースより）

ユーザーレビュー

総合評価

☆
☆
☆
☆
☆

0.0

★
★
★
★
★
 
0
★
★
★
★
☆
 
0
★
★
★
☆
☆
 
0
★
★
☆
☆
☆
 
0
★
☆
☆
☆
☆
 
0
レビューを書く

読書メーターレビュー

こちらは読書メーターで書かれたレビューとなります。

powered by

  • りょうへい さん

    読了日：2018/04/18

    最後まではまだ理解できていないが、記録として。 記号論理学は非常に物事の理解に役立ちそうだ。少なくとも、論理的に考える点において、記号に置き換え、それを変化させることで難しい事柄を理解しうる点が役に立ちそうだ。

  • ねごろ さん

    読了日：2016/10/10

    捻りが利いた論理パズルで読者をさんざん悩ませた後で、それらを一網打尽にする命題論理の威力を見せつけ、1階述語論理へと橋渡しをする。非常にエキサイティングな教科書であり、それは論理学という題材の面白さの面白さと著者の優れた筆力との両方によって成り立っているものだろう。

  • yoshi1987 さん

    読了日：2015/07/27

    面白い論理パズルから始まって、記号化に持っていくのは流石。他にはない本のスタイルではないかと思う。

  • ほにょこ さん

    読了日：2014/01/02

    ★★★★安定した面白さの論理パズル。 命題の記号化も興味深い。 続巻「数理論理学」も読みたいのですが、まだ出版されていないのでしょうか？

レビューをもっと見る

(外部サイト)に移動します

物理・科学・医学 に関連する商品情報

おすすめの商品

CD・DVD・レコード・本・ゲームを売るなら
HMV宅配買取