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
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 the limits of mathematical methods, both in logic and in computation.
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 the limits of mathematical methods, both in logic and in computation.
Từ khóa: Computational complexity, Gödel's theorem, Incompleteness theorems, Logic, Symbolic and mathematical, Metamathematics.
16 p ovanketv4 06/09/2024 44 1
Bạn đang xem trang mẫu tài liệu này.
Phát triển bởi Thư viện số
