Logic and Discrete Mathematics
A Computer Science Perspective
Seiten
1996
Pearson (Verlag)
978-0-13-501206-2 (ISBN)
Pearson (Verlag)
978-0-13-501206-2 (ISBN)
- Titel erscheint in neuer Auflage
- Artikel merken
Zu diesem Artikel existiert eine Nachauflage
For one/two-semester, sophomore-level courses in Discrete Mathematics.
This text covers all the traditional topics of discrete mathematics — logic, sets, relations, functions, and graphs — and reflects recent trends in computer science.
This text covers traditional topics of discrete mathematics - logic, sets, relations, functions, and graphs - and reflects recent trends in computer science. It covers logic reasoning and shows how to use discrete mathematics and logic for specifying new computer applications, and how to reason about programs in a systematic way. It also contains chapters on language and grammars, and relational databases and describes Prolog and Miranda.
This text covers all the traditional topics of discrete mathematics — logic, sets, relations, functions, and graphs — and reflects recent trends in computer science.
This text covers traditional topics of discrete mathematics - logic, sets, relations, functions, and graphs - and reflects recent trends in computer science. It covers logic reasoning and shows how to use discrete mathematics and logic for specifying new computer applications, and how to reason about programs in a systematic way. It also contains chapters on language and grammars, and relational databases and describes Prolog and Miranda.
1. Propositional Calculus.
2. Predicate Calculus.
3. Induction and Recursion.
4. Prolog.
5. Sets and Relations.
6. More About Functions.
7. Graphs And Trees
8. Formal Requirement Specification in Z.
9. Program Correctness Proofs.
10. Grammars, Languages, and Parsing.
11. Derivations.
12. An Overview of Relational Database Systems.
Bibliography.
Solutions to Even-numbered Problems.
Index.
| Erscheint lt. Verlag | 17.1.1996 |
|---|---|
| Sprache | englisch |
| Maße | 244 x 187 mm |
| Gewicht | 1161 g |
| Themenwelt | Mathematik / Informatik ► Informatik ► Datenbanken |
| Mathematik / Informatik ► Informatik ► Theorie / Studium | |
| Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre | |
| ISBN-10 | 0-13-501206-6 / 0135012066 |
| ISBN-13 | 978-0-13-501206-2 / 9780135012062 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Einführung in die Praxis der Datenbankentwicklung für Ausbildung, …
Buch | Softcover (2021)
Springer Fachmedien Wiesbaden GmbH (Verlag)
CHF 69,95
