- Bạn vui lòng tham khảo Thỏa Thuận Sử Dụng của Thư Viện Số
Tài liệu Thư viện số
- UTE. Thông tin -Thư viện (407 )
- UTE. Giáo trình 65 Năm (387 )
- UTE. Kỷ yếu hội thảo (10 )
- UTE. Tạp chí (62 )
- UTE. Luận văn, Luận án (2758 )
- UTE. Báo cáo, Đồ án (7832 )
- UTE. Báo cáo NCKH (1308 )
- UTE. Ngành Luật (53 )
- UTE. Thông tin Tuyển sinh (61 )
- Cơ khí chế tạo máy (2499 )
- Giáo trình, TL học tập (1354 )
- Tài liệu theo CTĐT (0 )
- Điện - Điện tử (4175 )
- Cơ khí động lực (1222 )
- Xây dựng - Kiến trúc (3419 )
- CN Thực phẩm - Môi trường (992 )
- Công nghệ thông tin (3063 )
- Kinh tế - Quản lý (4407 )
- CN In - Truyền thông (308 )
- CN May - thời trang (531 )
- Nghệ thuật - Ẩm thực (1451 )
- Nông - Lâm - Ngư Nghiệp (1325 )
- Y học - Sức khỏe (799 )
- Khoa học xã hội (4910 )
- Lịch sử - Địa lý - Du lịch (493 )
- Khoa học tự nhiên (2781 )
- Văn học (2559 )
- Ngôn ngữ (3941 )
- Thể loại khác (988 )
- Kỹ thuật - Khoa học ứng dụng (319 )
Danh mục TaiLieu.VN
- Mẫu Slide Powerpoint
- Luận Văn - Báo Cáo (346704)
- Kinh Doanh Marketing (67778)
- Kinh Tế - Quản Lý (50036)
- Tài Chính - Ngân Hàng (57809)
- Công Nghệ Thông Tin (143292)
- Tiếng Anh - Ngoại Ngữ (47261)
- Kỹ Thuật - Công Nghệ (137309)
- Khoa Học Tự Nhiên (110530)
- Khoa Học Xã Hội (85272)
- Văn Hoá - Nghệ Thuật (54491)
- Y Tế - Sức Khoẻ (177214)
- Nông - Lâm - Ngư (63475)
- Kỹ Năng Mềm (29084)
- Biểu Mẫu - Văn Bản (27862)
- Giải Trí - Thư Giãn (52535)
- Văn Bản Luật (199483)
- Tài Liệu Phổ Thông (409665)
- Trắc Nghiệm Online (213578)
- Trắc Nghiệm MBTI
- Trắc Nghiệm Holland
» Từ khóa: Symbolic and mathematical
Kết quả 1-4 trong khoảng 4
-
Thinking about Gödel and Turing: essays on complexity 1970-2007
Thinking about Gödel and Turing: essays on complexity 1970-2007/ Gregory J Chaitin; with a foreword by Paul Davies. -- Hackensack, N.J.: World Scientific, 2007. Call no. : 511.3 C435 Summary:Contains 23 non-technical papers. This book includes essays which summarize a lifetime effort to use the notion of program-size complexity or algorithmic information content in order to shed further light on the fundamental work of Godel and Turing on...
16 p hcmute 06/09/2024 43 1
Từ khóa: Computational complexity, Gödel's theorem, Incompleteness theorems, Logic, Symbolic and mathematical, Metamathematics.
-
Theory and problems of discrete mathematics
Lipschutz, SeymourTheory and problems of discrete mathematics/ Seymour Lipschutz, Marc Lars Lipson. -- New York, McGraw-Hill, 1997. 538p.; 28cm. ISBN 0 07 038045 7 1. Đại số rời rạc. 2. Algebra, Abstact -- Outlines, Syllabi, etc... 3. Combinatorial analysis -- Outlines, syllabi, etc... 4. Logic, Symbolic and mathematical -- Outlines, syllabi, etc... I. Lipson,Marc Lars . Dewey Class no. : 512.02 -- dc 21Call no. :...
9 p hcmute 21/06/2013 522 1
Từ khóa: 1. Đại số rời rạc. 2. Algebra, Abstact -- Outlines, Syllabi, etc... 3. Combinatorial analysis -- Outlines, syllabi, etc... 4. Logic, Symbolic and mathematical -- Outlines, syllabi, etc... I. Lipson, Marc Lars .
-
Thomas, Norman L.Modern logic an introduction/ Norman L.Thomas. -- NY.: Barnes&noble,inc, 1966 236p.; 20cm 1. Đại số. 2. Logic, Symbolic and mathematical. Dewey Class no. : 512 -- dc 21Call no. : 512 T459 Dữ liệu xếp giá SKN000042 (DHSPKT -- KD -- )
9 p hcmute 21/06/2013 315 1
-
Munroe, M. EvansIdeas in mathematics/ M. Evans,Munroe. -- London: Addison-Wesley publshing company, 1968 261p.; 22cm 1. Đại số. 2. Logic, Symbolic and mathematical. Dewey Class no. : 512 -- dc 21Call no. : 512 M936 Dữ liệu xếp giá SKN000041 (DHSPKT -- KD -- )
9 p hcmute 21/06/2013 327 1
Bộ sưu tập nổi bật
-
-
48 17736
-
Phát triển bởi Thư viện số
