検索結果書誌詳細

内容紹介

数学の授業でのオンザジョブトレーニングで学ぶことの多い証明の書き方を解説。論理の初歩から始まり、自然演繹と呼ばれる形式化に基づいて、日本語表現に近い形で証明の構成法をできるだけ丁寧に説明する。

＋ 追加情報を見る

タイトルコード

1000002212600

書誌種別

図書

著者名

石原 哉／著

著者名ヨミ

イシハラ ハジメ

出版者

共立出版

出版年月

2023.3

ページ数

8,218p

大きさ

21cm

ISBN

4-320-11489-0

分類記号

410

書名

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

書名ヨミ

ショウメイ サホウ　ロンリ ノ ショホ カラ ショウメイ ノ ジッセン エ

副書名

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

副書名ヨミ

ロンリ ノ ショホ カラ ショウメイ ノ ジッセン エ

著者紹介

東京工業大学大学院理工学研究科情報科学専攻博士課程中途退学。理学博士(同大学)。北陸先端科学技術大学院大学先端科学技術研究科教授。

本体価格

￥２７００

一般件名

証明(数学)