Loại tài liệu:    Chỉ tìm trong: 
11-20 trong số 71 kết quả
A concise introduction to mathematical logic
Tác giả: Wolfgang Rautenberg
Xuất bản: New York, NY: Springer , 2006
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.3
 
Symbolic-Numeric Computation [electronic resource]
Tác giả: Dongming Wang, Lihong Zhi
Xuất bản: Basel: Birkhauser Verlag AG , 2007
Bộ sưu tập: Khoa học tự nhiên
eBook (pdf)
ddc:  511.3
 
Toán mờ lý thuyết, các phương pháp và ứng dụng = : Fuzzy mathematics theory, methods and applications
Tác giả: Nguyễn Đình Phư
Xuất bản: TP.HCM: Đại học Quốc gia Thành phố Hồ Chí Minh , 2014
Bộ sưu tập: Khoa học tự nhiên
Bản in
ddc:  511.3
 
Uncertainty and surprise in complex systems : questions on working with the unexpected
Tác giả: Dean J Driebe, Reuben R McDaniel
Xuất bản: Berlin: Springer , 2005
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
 
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
 
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: Khoa học tự nhiên
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
 
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: Khoa học tự nhiên
eBook (pdf)
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: Khoa học tự nhiên
eBook (pdf)
ddc:  511.3
 

Truy cập nhanh danh mục