02088nam a2200265 a 4500 vtls000066461 KUKTEM 20251125093555.0 121119t2012 si a f 001 0 eng d 9789814340502 201306131522 saini 201211191142 ida UMP QA76.9.M35 K46 2012 Khoussainov, Bakhadyr Lectures on discrete mathematics for computer science / Bakhadyr Khoussainov and Nodira Khoussainova Singapore : World Scientific Pub., 2012 xvi, 346 p. : ill. ; 24 cm. Algebra and discrete mathematics, 1793-5873 ; v. 3 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 Computer science Mathematics Textbooks Khoussainova, Nodira Algebra and discrete mathematics ; v. 3 0 0 0 0 20000 20000 2019-09-04 203.99 5 2 QA76.9.M35 K46 2012 0000073435 2025-01-07 00:00:00 2023-09-07 1 203.99 2019-09-04 OPEN VIRTUA40 65991 65997 VTLSSORT0080*0200*0400*0900*1000*2450*2600*3000*4900*5050*6500*7000*8300*9992 5