情報科学のための論理数学

このページのQRコード

所蔵情報

子書誌情報

タイトルが類似している資料

詳細

内容紹介

目次情報

1

2

3

4

5

6

7

8

9

10

11

12

1 図書情報科学のための代数系入門細井, 勉(1937-) 産業図書	7 図書イプシロン・デルタを理解するために : 数学のまわりの論理と日本語細井勉日本評論社
2 図書情報理論のための数理論理学板井, 昌典共立出版	8 図書集合・論理細井, 勉 (1937-) 共立出版
3 図書ソフトウェア科学のための論理学萩谷, 昌己(1957-), 長尾, 真(1936-) 岩波書店	9 図書情報科学における論理小野, 寛晰(1942-) 日本評論社
4 図書グッド・マス : ギークのための数・論理・計算機科学 Chu-Carroll, Mark C., cocoatomo オーム社	10 図書算数・数学の迷い路 : ことばと論理をめぐる20章細井, 勉(1937-) 日本評論社
5 図書イプシロン・デルタを理解するために : 数学のまわりの論理と日本語細井, 勉(1937-) 日本評論社	11 図書数学の基礎体力をつけるためのろんりの練習帳中内, 伸光(1958-) 共立出版
6 図書工学系の論理数学入門田中, 和明(1969-) カットシステム	12 図書証明のすすめ : 数学の証明 Thiele, Rüdiger, 金井, 省二(1941-) 森北出版