Blank Cover Image
QRコード(所蔵情報)

証明のすすめ : 数学の証明

フォーマット:
図書
責任表示:
リュディガー・ティーレ原著 ; 金井省二訳
言語:
日本語
出版情報:
東京 : 森北出版, 1990.7
形態:
viii, 210p : 挿図 ; 20cm
著者名:
書誌ID:
BN05042455
ISBN:
9784627015203 [4627015208]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 数学者たちのチャレンジした問題

Miller, Maximilian, 金井, 省二(1941-)

森北出版
7 図書 幾何学

Knörrer, Horst, 金井, 省二(1941-), 秋葉, 繁夫(1943-)

シュプリンガー・フェアラーク東京
2 図書 Coq/Ssreflect/Mathcompによる定理証明 : フリーソフトではじめる数学の形式化

萩原, 学, Affeldt, Reynald, 1976-

森北出版
8 図書 数学の証明のしかた

秋山, 仁(1946-)

森北出版
3 図書 証明の読み方・考え方 : 数学的思考過程への手引

Solow, Daniel, 安藤, 四郎(1928-)

共立出版
9 図書 代数学のすすめ

大石, 彰

牧野書店, 星雲社 (発売)
4 図書 情報科学のための論理数学

細井, 勉(1937-)

日本評論社
10 図書 数学のすすめ

赤, 攝也(1926-)

筑摩書房
5 図書 コンピュータによる定理の証明

Chang, Chin-Liang, 1937-, Lee, Richard Char-Tung, 1939-, 長尾, 真(1936-), 辻井, 潤一(1949-)

日本コンピュータ協会
11 図書 経済数学のすすめ

岡本, 哲治(1921-), 稲田, 献一(1925-)

有斐閣
6 図書 集合論

Lipschutz, Seymour, 金井, 省二(1941-), 清澤, 毅光 (1941- )

マグロウヒル好学社
12 図書 文学のすすめ

松浦, 寿輝(1954-), 後藤, 明生(1932-), 長田, 弘(1939-), 朝吹, 亮二, 中井, 久夫(1934-), 西, …

筑摩書房