石原哉

Individuals/organizations Page

Books

証明作法 論理の初歩から証明の実践へ

石原哉

☆
☆
☆
☆
☆
Write review 

Product Details

Genre
：
Sciences&Physics
ISBN/Catalogue Number
：
ISBN 13 : 9784320114890
ISBN 10 : 4320114892
Format
：
Books
Publisher
：
共立出版
Release Date
：
March/2023
Release Country
：
Japan

Content Description

目次 : 第１部　論理と証明（命題とは/ 命題と証明（１）/ 命題と証明（２）/ 否定と背理法/ 述語と証明）/ 第２部　証明の実践（集合とその構成/ 関係/ 写像/ 同値関係と順序/ 圏論への誘い）

【著者紹介】
石原哉 : １９８８年東京工業大学大学院理工学研究科情報科学専攻博士課程中途退学。現在、北陸先端科学技術大学院大学先端科学技術研究科教授、理学博士（東京工業大学）。専門：構成的数学、数理論理学（本データはこの書籍が刊行された当時に掲載されていたものです）

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

Customer Reviews

Comprehensive Evaluation

☆
☆
☆
☆
☆

0.0

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

Recommend Items

Sell This Item