Discrete Structures, Logic, and Computability
- ISBN-10
- 0763718432
- ISBN-13
- 9780763718435
- Series
- Discrete Structures, Logic, and Computability
- Category
- Computers
- Pages
- 943
- Language
- English
- Published
- 2002
- Publisher
- Jones & Bartlett Learning
- Author
- James L. Hein
Description
Discrete Structure, Logic, and Computability introduces the beginning computer science student to some of the fundamental ideas and techniques used by computer scientists today, focusing on discrete structures, logic, and computability. The emphasis is on the computational aspects, so that the reader can see how the concepts are actually used. Because of logic's fundamental importance to computer science, the topic is examined extensively in three phases that cover informal logic, the technique of inductive proof; and formal logic and its applications to computer science.
Get the book
Other editions
-
- 2015-12-11
- 1040 pages
- Paperback
- Jones & Bartlett Publishers
-
- 2010-10-25
- 1009 pages
- Ebook
- Jones & Bartlett Publishers
Similar books
-
Discrete Structures, Logic, and Computability, 3/e
By HeinThe text contains all the topics for discrete structures highlighted in the reports put forth by the IEEE/ACM Joint Task Force on Computing Curricula for both computer science and computer engineering programs.
-
Discrete Mathematics
By James L. HeinThis book differs in several ways from current books about discrete mathematics.It presents an elementary and unified introduction to a collection of topics that has not been available in a single source.A major feature of the book is the ...
-
Outlines and Highlights for Discrete Structures Logic and Computability by Hein, Isbn: 9780763772062
By Cram101 Textbook ReviewsCram101 Just the FACTS101 studyguides give all of the outlines, highlights, notes, and quizzes for your textbook with optional online comprehensive practice tests. Only Cram101 is Textbook Specific. Accompanys: 9780763772062 .
-
Discrete Mathematics for Computer Scientists
By Clifford Stein, Robert L. Drysdale, Kenneth P. BogartThis text takes an active-learning approach where activities are presented as exercises and the material is then fleshed out through explanations and extensions of the exercises.
-
Computability and Logic
By John P. Burgess, George S. Boolos, Richard C. JeffreyThis updated edition is also accompanied by a website as well as an instructor's manual.
-
Mathematical Structures for Computer Science
By Judith L. GerstingThis edition offers a pedagogically rich and intuitive introduction to discrete mathematics structures. It meets the needs of computer science majors by being both comprehensive and accessible.
-
Discrete Mathematics with Applications, Metric Edition
By Susanna EppDISCRETE MATHEMATICS WITH APPLICATIONS, 5th Edition, Metric Edition explains complex, abstract concepts with clarity and precision and provides a strong foundation for computer science and upper-level mathematics courses of the computer age ...
-
Essentials of Discrete Mathematics
By David J. HunterWritten for the one-term course, the Third Edition of Essentials of Discrete Mathematics is designed to serve computer science majors as well as students from a wide range of disciplines.
-
Computability: Computable Functions, Logic, and the Foundations of Mathematics
By Richard L. EpsteinComputability: Computable Functions, Logic, and the Foundations of Mathematics
-
Discrete Mathematics for Computer Science
By Gary Haggard, John Schlipf, Sue WhitesidesAn increasing number of computer scientists from diverse areas are using discrete mathematical structures to explain concepts and problems and this mathematics text shows you how to express precise ideas in clear mathematical language.