Loại tài liệu:    Chỉ tìm trong: 
21-30 trong số 354 kết quả
Introduction to Axiomatic Set Theory
Tác giả: Gaisi Takeuti, Wilson M Zaring
Xuất bản: New York: Springer , 1971
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.3
 
Mathematical Logic and Computability
Tác giả: H Jerome Keisler, Joel Robbin
Xuất bản: USA: McGraw-Hill , 1996
Bộ sưu tập: Khoa học tự nhiên
Bản in
ddc:  511.3
 
Lý thuyết mờ và ứng dụng
Tác giả: Nguyễn Như Phong
Xuất bản: Hà Nội: Khoa học và Kỹ Thuật , 2007
Bộ sưu tập: Khoa học tự nhiên
Bản in
ddc:  511.322
 
Lý thuyết mờ và ứng dụng
Tác giả: Nguyễn Như Phong
Xuất bản: Hà Nội: Khoa học và Kỹ Thuật , 2005
Bộ sưu tập: Khoa học tự nhiên
Bản in
ddc:  511.322
 
The mathematics of infinity : A guide to great ideas
Tác giả: Theodore G Faticoni
Xuất bản: Hoboken, N.J: Wiley-Interscience , 2006
Bộ sưu tập: Khoa học tự nhiên
Bản in
ddc:  511.322
 
Information, Randomness and Incompletene
Tác giả: GJ Chaitin
Xuất bản: Singapore: World Scientific , 1987
Bộ sưu tập: Khoa học tự nhiên
Bản in
ddc:  511.3
 
The annotated Turing : a guided tour through Alan Turing's historic paper on computability and the Turing machine
Tác giả: Charles Petzold
Xuất bản: Indianapolis, IN: Wiley Pub , 2008
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  511.352
 
The nuts and bolts of proofs
Tác giả: Antonella Cupillari
Xuất bản: Amsterdam: Elsevier Academic Press , 2005
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  511.36
 
Bridge to abstract mathematics : mathematical proof and structures
Tác giả: Ronald P Morash
Xuất bản: New York (N.Y: Random House , 1987
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  511.3
 
Complexity explained
Tác giả: Péte Érdi
Xuất bản: Berlin: Springer , 2007
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  511.3
 

Truy cập nhanh danh mục