You can create a release to package software, along with release notes and links to binary files, for other people to use. Learn more about releases in our docs.

Abstract: Logic is a very important part of discrete mathematics, which is fundamental to computer science. It now has wide applications in many areas and plays more and more important role in ...

Introduces students to ideas and techniques from discrete mathematics that are widely used in science and engineering. Mathematical definitions and proofs are emphasized. Topics include formal logic ...

Examines graph theory, trees, algebraic systems, Boolean algebra, groups, monoids, automata, machines, rings and fields, applications to coding theory, logic design ...