Loại tài liệu:    Chỉ tìm trong: 
11-20 trong số 54 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: TPHCM: Đạ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: McGrawHill, 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: : Barrons 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: TPHCM: Đạ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 NY: 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