» Từ khóa: Symbolic and mathematical

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 56 1 Download

Từ khóa: Computational complexity, Gödel's theorem, Incompleteness theorems, Logic, Symbolic and mathematical, Metamathematics.

CHAITIN, GREGORY JThinking 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. - xix, 347 p.; 27 cm. Sách có tại Phòng Mượn, Thư viện Đại học Sư phạm Kỹ thuật TP. Hồ Chí Minh. Số phân loại: 511.3 C435

 16 p hcmute 13/04/2022 174 0 Download

Từ khóa: Computational complexity, Gödel's theorem, Incompleteness theorems, Logic, Symbolic and mathematical, Metamathematics

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 533 1 Download

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 327 1 Download

Từ khóa: 1. Đại số. 2. Logic, Symbolic and mathematical.

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 341 1 Download

Từ khóa: 1. Đại số. 2. Logic, Symbolic and mathematical.