Search Results: 'Discrete Mathematics'

Search

×
×
×
×
46 results for "Discrete Mathematics"
Computer-Aided Reasoning: An Approach By Matt Kaufmann et al.
Paperback: $22.12
Prints in 3-5 business days
(3 Ratings)
Computer-Aided Reasoning: An Approach is a textbook introduction to computer-aided reasoning. It can be used in graduate and undergraduate courses on software engineering or formal methods. It is... More > also suitable in conjunction with other books in courses on hardware design, discrete mathematics, and theory. It is also appropriate as a reference for business and industry. In this book we present: * A practical functional programming language closely related to Common Lisp; * A formal logic in which defined functions correspond to axioms; * The computer-aided reasoning system ACL2, which includes mechanical support for the proof process. ACL2 is part of the Boyer-Moore family of theorem provers, for which its authors have received the 2005 ACM Software System Award. ACL2 has been successfully applied to projects of commercial interest, including hardware and software verification. Approximately 140 exercises are distributed throughout the book.< Less
Foundations of Computation By David Eck & Carol Critchlow
Paperback: $9.62
Prints in 3-5 business days
Foundations of Computation is a textbook for a one semester introductory course in theoretical computer science. It includes topics from discrete mathematics, automata theory, formal language... More > theory, and the theory of computation, along with practical applications to computer science. It has no prerequisites other than a general familiarity with computer programming. More information and a PDF download are available at http://math.hws.edu/FoundationsOfComputation. Version 2.3, Summer 2010, offered minor updates and corrections from Version 2.2, plus a new section on pushdown automata. Version 2.3.1, Summer 2011, is an even smaller update, with one new proof and a few corrections. Version 2.3.2 is identical to 2.3.1 except for a change in the license under which the book is released.< Less
Foundations of Computation By Carol Critchlow & David Eck
eBook (PDF): $0.00
(1 Ratings)
Foundations of Computation is a textbook for a one semester introductory course in theoretical computer science. It includes topics from discrete mathematics, automata theory, formal language... More > theory, and the theory of computation, along with practical applications to computer science. It has no prerequisites other than a general familiarity with computer programming. More information is available at http://math.hws.edu/FoundationsOfComputation. Version 2.3, Summer 2010, offered minor updates and corrections from Version 2.2, plus a new section on pushdown automata. Version 2.3.1, Summer 2011, is an even smaller update, with one new proof and a few corrections. Version 2.3.2 is identical to 2.3.1 except for a change in license.< Less
Vol.2 The Young Amateurs Guide to Radio Physics By Dr. James Popoff, AJ4XI
eBook (PDF): $3.79
(1 Ratings)
Volume Two continues our introduction to radio-electronics, but expands the topics in depth and introduces vectors, matrices, linear algebra, and statistics to perform waveform analysis and... More > construction of our GAIA signal (Global Amateur Interferometer Array). We follow up with data compression using the discrete cosine transform and deconstruct and reconstruct a JPEG digital image. Earth's geographical coordinates are projected into space as celestial coordinates and Mars is located for configuring our local "link function" to design our GAIA array. The MMARS is discussed (Mars Mission Amateur Radio System), and the coding effort for coordinating GAIA is assessed and examples are illustrated. We lay the foundation for the actual design and deployment of a GAIA supervised by a MMARS. Computing theory is introduced at length. Volumes One and Two provide most of the mathematical and physical theory and methods for the remaining six volumes that ultimately produce a functioning interplanetary radio station!< Less
COSMIC MECHANICS-How We Create Reality With Zero-Point and Quantum Waves By Fred Aeilts
eBook (PDF): $6.25
Recent discoveries in Quantum Mechanics have proved that there is no discrete particle or solid chunk of anything in the whole Physical Universe. It is all standing waves arising from the seething... More > zero-point field created by cosmic beings like you and me. The properties of mass, inertia, charge and gravity are the result of space resonances produced by zero-point scalar waves. This book with color pictures details the theory, models and mathematics of zero-point scalar waves, gravity, magnetism, biophotonics, the creation of 200 trillion year old orbs that we take with us between bodies, the source of evil, the basis of vibrational healing and psychic abilities, who you really are, how hypnotism works, how your personal orb affects you, our prison planet, and how to photograph orbs. Your orb is an insidious and diabolical quantum computer that disables you and ruins your lives. If you want to know how things work in this and other universes, read this book.< Less
COSMIC MECHANICS-How We Create Reality With Zero-Point and Quantum Waves By Fred Aeilts
Paperback: $105.50
Prints in 3-5 business days
Recent discoveries in Quantum Mechanics have proved that there is no discrete particle or solid chunk of anything in the whole Physical Universe. It is all standing waves arising from the seething... More > zero-point field created by cosmic beings like you and me. The properties of mass, inertia, charge and gravity are the result of space resonances produced by zero-point scalar waves. This book with color pictures details the theory, models and mathematics of zero-point scalar waves, gravity, magnetism, biophotonics, the creation of 200 trillion year old orbs that we take with us between bodies, the source of evil, the basis of vibrational healing and psychic abilities, who you really are, how hypnotism works, how your personal orb affects you, our prison planet, and how to photograph orbs. Your orb is an insidious and diabolical quantum computer that disables you and ruins your lives. If you want to know how things work in this and other universes, read this book.< Less

Top 10

see more >
 
1
Learn Work Play: Twenty Years of ETC Stories Learn Work Play: Twenty... By Brad King et al.
Paperback: $7.00
 
 
 
 
4
LOOKING FOR A MIRACLE...LOOK WITHIN YOUR LIFE LOOKING FOR A... By May Lewis
Paperback: $6.20
 
 
5