Loại tài liệu:    Chỉ tìm trong: 
11-20 trong số 72 kết quả
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
 
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
 
Logic and Boolean Algebra
Tác giả: Kathleen Levitz, Hilbert Levitz
Xuất bản: Barron';s Educational Series , 1979
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  511.3
 
Lý thuyết Automat và ngôn ngữ hình thức
Tác giả: Hồ Văn Quân
Xuất bản: TP.HCM: Đại học Quốc gia Thành phố Hồ Chí Minh , 2006
Bộ sưu tập: Khoa học tự nhiên
Bản in
ddc:  511.3
 
Gödel's theorem [electronic resource] : an incomplete guide to its use and abuse
Tác giả: Torkel Franzén
Xuất bản: Wellesley, MA: A K Peters , 2005
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  511.3
 
Proof and Knowledge in Mathematics
Tác giả: Michael Detlefsen
Xuất bản: New York: Routledge , 1992
Bộ sưu tập: Tài liệu truy cập mở
eBook (pdf)
ddc:  511.3
 
Notes on set theory
Tác giả: Yiannis N Moschovakis
Xuất bản: New York: Springer , 2006
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.3
 
A course on mathematical logic
Tác giả: S M Srivastava
Xuất bản: New York ; London: Springer , 2008
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.3
 
The complexity of Boolean functions
Tác giả: Ingo Wegener
Xuất bản: Stuttgart Chicester [West Sussex] ; New York: B.G. Teubner ; J. Wiley , 1987
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.3
 

Truy cập nhanh danh mục