LEADER 00000cam a2200265 4500
001 u46199
003 SIRSI
008 181015s2016 xxu b 001 0 eng u
020 9781284070408
049 JURF
050 00 QA76.9.M35 |b.H44 2016
100 1 Hein, James L
245 10 Discrete structures, logic, and computability / |cJames L.
Hein, Ph.D., Professor Emeritus, Portland State
University.
250 Fourth edition
260 Burlington, MA : |bWorld Headquarters/Jones & Bartlett
Learning, |c[2016]
300 xiv, 1039 pages ; |c25 cm.
504 Includes bibliographical references and index.
505 Elementary notions and notations -- Facts about functions
-- Construction techniques -- Binary relations and
inductive proof -- Analysis tools and techniques --
Elementary logic -- Predicate logic -- Applied logic --
Algebraic structures and techniques -- Graph theory --
Languages and automata -- Computational notions.
650 0 Computer science |xMathematics
650 0 Logic programming
650 0 Data structures (Computer science)
650 0 Logic, Symbolic and mathematical
650 0 Computable functions
Female Library
|
QA76.9.M35 .H44 2016 |
Available |
Male Library
|
QA76.9.M35 .H44 2016 |
Available |
|