Matches in Library of Congress for { <http://lccn.loc.gov/2012471575> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- 2012471575 contributor B12635214.
- 2012471575 contributor B12635215.
- 2012471575 created "c2012.".
- 2012471575 date "2012".
- 2012471575 date "c2012.".
- 2012471575 dateCopyrighted "c2012.".
- 2012471575 description "1. Definitions, theorems, and proofs -- 2. Proof methods -- 3. Integers and divisibility -- 4. Euclidean algorithm and congruence relations -- 5. Secret message passing -- 6. Basics of directed graphs -- 7. The path problem and undirected graphs -- 8. Circuit problems in graphs -- 9. Rooted trees -- 10. Sets and operations on sets -- 11. Relations on sets -- 12. Equivalence relations and partial orders -- 13. Databases and relational structures -- 14. Relational calculus -- 15. Program correctness through loop invariants -- 16. Induction and recursion -- 17. Spanning trees -- 18. Shortest paths in directed weighted graphs -- 19. Games played on finite graphs -- 20. Functions -- 21. Types of functions -- 22. Syntax of propositional logic -- 23. Semantics of propositional logic -- 24. Normal forms and the SAT problem -- 25. Deterministic finite automata -- 26. Designing finite automata -- 27. Nondeterministic finite automata -- 28. The subset construction -- 29. Regular expressions and finite automata -- 30. Algorithms for finite automata -- 31. Counting principles -- 32. Permutations and combinations -- 33. Basics of probability.".
- 2012471575 extent "xvi, 346 p. :".
- 2012471575 identifier "9789814340502".
- 2012471575 identifier "9814340502".
- 2012471575 isPartOf "Algebra and discrete mathematics, 1793-5873 ; v. 3".
- 2012471575 issued "2012".
- 2012471575 issued "c2012.".
- 2012471575 language "eng".
- 2012471575 publisher "New Jersey : World Scientific,".
- 2012471575 subject "510 22".
- 2012471575 subject "510 23".
- 2012471575 subject "Computer science Mathematics Textbooks.".
- 2012471575 subject "QA76.9.M35 K46 2012".
- 2012471575 tableOfContents "1. Definitions, theorems, and proofs -- 2. Proof methods -- 3. Integers and divisibility -- 4. Euclidean algorithm and congruence relations -- 5. Secret message passing -- 6. Basics of directed graphs -- 7. The path problem and undirected graphs -- 8. Circuit problems in graphs -- 9. Rooted trees -- 10. Sets and operations on sets -- 11. Relations on sets -- 12. Equivalence relations and partial orders -- 13. Databases and relational structures -- 14. Relational calculus -- 15. Program correctness through loop invariants -- 16. Induction and recursion -- 17. Spanning trees -- 18. Shortest paths in directed weighted graphs -- 19. Games played on finite graphs -- 20. Functions -- 21. Types of functions -- 22. Syntax of propositional logic -- 23. Semantics of propositional logic -- 24. Normal forms and the SAT problem -- 25. Deterministic finite automata -- 26. Designing finite automata -- 27. Nondeterministic finite automata -- 28. The subset construction -- 29. Regular expressions and finite automata -- 30. Algorithms for finite automata -- 31. Counting principles -- 32. Permutations and combinations -- 33. Basics of probability.".
- 2012471575 title "Lectures on discrete mathematics for computer science / Bakhadyr Khoussainov, Nodira Khoussainova.".
- 2012471575 type "text".