My Library

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