Discrete mathematics for computer science /
Pomde, N. P.
Discrete mathematics for computer science / by Pomde, N. P. - 223 pages ; 24 cm
Includes bibliographic references and index.
Explores mathematical proofs, induction, sets, relations, and their applications in verifying algorithms and computer systems.
9781774698303
Mathematics
Computer science--Mathematics
Proof theory
QA 39.3 / D57 2024
Discrete mathematics for computer science / by Pomde, N. P. - 223 pages ; 24 cm
Includes bibliographic references and index.
Explores mathematical proofs, induction, sets, relations, and their applications in verifying algorithms and computer systems.
9781774698303
Mathematics
Computer science--Mathematics
Proof theory
QA 39.3 / D57 2024