>> Google Books
所蔵情報QRコード

計算理論と数理論理学 = Mathematics of logic and computation / 田中一之著

資料種別:
図書
出版情報:
東京 : 共立出版, 2022.6
形態:
viii, 299p ; 22cm
著者名:
田中, 一之 <DA10709116>  
ISBN:
9784320114722 [4320114728]
書誌ID:
BC15392387
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 計算理論の基礎

Sipser, Michael, 阿部, 正幸, 渡辺, 治(1958-), 太田, 和夫(1954-), 植田, 広樹, 田中, 圭介(1969-), 藤岡, 淳, 田中, 圭介, 渡辺, 治

共立出版
7 図書 計算可能性の理論

Sipser, Michael, 阿部, 正幸, 植田, 広樹, 太田, 和夫 (1954-), 田中, 圭介 (1969-), 藤岡, 淳, 渡辺, 治 (1958-), 田中, 圭介, 渡邊, 治

共立出版
2 図書 英語で学ぶ計算理論 = Theory of computation

Zeugmann, Thomas, 1956-, 湊, 真一(1965-), 大久保, 好章

コロナ社
8 図書 計算可能性の理論

Sipser, Michael, 阿部, 正幸, 植田, 広樹, 藤岡, 淳, 渡辺, 治(1958-), 太田, 和夫(1954-), 田中, 圭介(1969-)

共立出版
3 図書 現代数理論理学入門

Crossley, John N., 1937-, 田中, 尚夫(1928-)

共立出版
9 図書 スマリヤン数理論理学講義

Smullyan, Raymond M., 1919-, 川辺, 治之, 田中, 一之

日本評論社
4 図書 現代数理論理学入門

Crossley, John N., 1937-, 田中, 尚夫(1928-)

共立出版
10 図書 計算の理論

笠井, 琢美, 戸田, 誠之助

共立出版
5 図書 計算理論

Dewdney, Alexander Keewatin, 足立, 暁生(1936-)

東京電機大学出版局
11 図書 数学基礎論序説 : 数の体系への論理的アプローチ = Logical foundations of mathematics

田中, 一之

裳華房
6 図書 数理論理学 = Mathematical logic

戸次, 大介(1973-)

東京大学出版会
12 図書 数理論理学

古川, 康一(1942-), 向井, 国昭

コロナ社
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12