板井昌典

Individuals/organizations Page

Books

情報理論のための数理論理学 数学のかんどころ

板井昌典

☆
☆
☆
☆
☆
Write review 

Product Details

Genre
：
Sciences&Physics
ISBN/Catalogue Number
：
ISBN 13 : 9784320110724
ISBN 10 : 4320110722
Format
：
Books
Publisher
：
共立出版
Release Date
：
August/2017
Release Country
：
Japan
Co-Writer, Translator, Featured Individuals/organizations
:
板井昌典 ,  

Content Description

目次 : 第１章　命題論理/ 第２章　述語論理/ 第３章　計算可能性とチューリング機械/ 第４章　命題論理の充足可能性問題/ 第５章　述語論理の決定不能性/ 第６章　ブール代数/ 第７章　形式手法と数理論理学

【著者紹介】
板井昌典 : １９５３年生まれ。１９７８年神戸大学理学部数学科卒業。１９８９年イリノイ大学シカゴ校大学院修了。Ｐｈ．Ｄ．現在、東海大学理学部情報数理学科教授（本データはこの書籍が刊行された当時に掲載されていたものです）

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

Customer Reviews

Comprehensive Evaluation

☆
☆
☆
☆
☆

0.0

★
★
★
★
★
 
0
★
★
★
★
☆
 
0
★
★
★
☆
☆
 
0
★
★
☆
☆
☆
 
0
★
☆
☆
☆
☆
 
0
Write you own review

Book Meter Reviews

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

powered by

  • Sam.N

    読了日：2017/12/07

    数理論理学の基本がわかってなかったので、とりあえず、ざざっと読み通したレベルだが、なるほどそうだったのか的なちょっとした気付きもあり、最後までいけた。この分野の本は、経験上確実に途中挫折するのだが、、

  • あゆたろう

    読了日：2023/10/13

    事実の羅列で読者にわかるようには書かれていない。とても不満。

レビューをもっと見る

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

Recommend Items

Sell This Item