数理逻辑7
离散数学 豆瓣
Discrete Mathematics: Elementary and Beyond
作者: László Lovász / József Pelikán 出版社: 清华大学出版社 2006 - 9
本书包括组合、图论及它们在优化和编码等领域的应用。全书只有约300页,但涵盖了信息领域一些广泛而有趣的应用,及离散数学领域新颖而前沿的研究课题。
本书非常适合计算机科学、信息与计算科学等专业作为“离散数学”引论课程的教材或参考书。
Ramsey Theory, 2nd Edition 豆瓣
作者: Ronald L. Graham / Bruce L. Rothschild 出版社: Wiley-Interscience 1990 - 3
Wiley-Interscience Series in Discrete Mathematics and Optimization Advisory Editors: Ronald L. Graham, Jan Karel Lenstra, and Robert E. Tarjan Discrete mathematics, the study of finite structures, is one of the fastest-growing areas in mathematics. The wide applicability of its evolving techniques points to the rapidity with which the field is moving from its beginnings to its maturity, and reflects the ever-increasing interaction between discrete mathematics and computer science. This Series provides broad coverage of discrete mathematics and optimization, ranging over such fields as combinatorics, graph theory, enumeration, and the analysis of algorithms. The Wiley-Interscience Series in Discrete Mathematics and Optimization will be a substantial part of the record of the extraordinary development of this field. A complete listing of the titles in the Series appears on the inside front cover of this book. "[Integer and Combinatorial Optimization] is a major contribution to the literature of discrete programming. This text should be required reading for anybody who intends to research this area or even just to keep abreast of developments." --Times Higher Education Supplement, London "An extensive but extremely well-written graduate text covering integer programming." --American Mathematical Monthly Recent titles in the Series include: Integer and Combinatorial Optimization George L. Nemhauser and Laurence A. Wolsey 1988 (0 471-82819-X) 763 pp. Introduction to the Theory of Error-Correcting Codes Second Edition Vera Pless For mathematicians, engineers, and computer scientists, here is an introduction to the theory of error-correcting codes, focusing on linear block codes. The book considers such codes as Hamming and Golay codes, correction of double errors, use of finite fields, cyclic codes, B.C.H. codes, weight distributions, and design of codes. In a second edition of the book, Pless offers thoroughly expanded coverage of nonbinary and cyclic codes. Some proofs have been simplified, and there are many more examples and problems. 1989 (0 471-61884-5) 224 pp.
On Formally Undecidable Propositions of Principia Mathematica and Related Systems 豆瓣
作者: Kurt Gödel 出版社: Dover Publications 1992 - 4
First English translation of revolutionary paper (1931) that established that even in elementary parts of arithmetic, there are propositions which cannot be proved or disproved within the system. It is thus uncertain that the basic axioms of arithmetic will not give rise to contradictions. Introduction by R. B. Braithwaite.
有向图的理论、算法及其应用 豆瓣
作者: J.邦詹森 / G.古廷 出版社: 科学出版社 2009 - 1
《有向图的理论算法及其应用》作者从近30年关于有向图理论研究的数千篇论文中精选了具有理论意义、重要算法及其实际应用的结果,涵盖了有向图理论中从最基本到较为高深的重要专题。主要内容有:有向图的基本知识和理论、连通性、图的定向、网络流、哈密尔顿性的深入研究、有向图的路和圈、子模流、竞赛图的推广以及有向图的推广、Menger定理和NP完全问题等。书中介绍了有向图研究中数十个未解决的问题和猜想,尽可能为读者在主要方向上提供最新的研究成果。对于计算机科学领域的学者来说,书中的大量算法以及实际应用的例子提供了难得的帮助。此外,配备了练习题700多道、方便查询的参考文献762篇,以及记号和术语索引等。
《有向图的理论算法及其应用》适合数学及应用数学、离散数学、运筹学、计算机科学等专业的本科生、研究生、教师及研究人员阅读,也可供人工智能、社会科学以及工程技术人员参考。
图论导引 豆瓣
作者: [美] Douglas B.West 出版社: 机械工业出版社 2004 - 10
图论在计算科学、社会科学和自然科学等各个领域都有广泛应用。本书是本科生或研究生一学期或两学期的图论课程教材。全书力求保持按证明的难度和算法的复杂性循序渐进的风格,使学生能够深入理解书中的内容。书中包括对证明技巧的讨论、1200多道习题、400多幅插图以及许多例题,而且对所有定理都给出了详细完整的证明。虽然本书包括许多算法和应用,但是重点在于理解图论结构和分析图论问题的技巧。