You are here

Lectures on Discrete Mathematics for Computer Science

Bakhadyr Khoussainov and Nodira Khoussainova
Publisher: 
World Scientific
Publication Date: 
2012
Number of Pages: 
346
Format: 
Hardcover
Series: 
Algebra and Discrete Mathematics 3
Price: 
69.00
ISBN: 
9789814340502
Category: 
Textbook
There is no review yet. Please check back later.
  • Definitions, Theorems, and Proofs
  • Proof Methods
  • Integers and Divisibility
  • Euclidean Algorithm and Congruence Relations
  • Secret Message Passing
  • Basics of Directed Graphs
  • The Path Problem and Undirected Graphs
  • Circuit Problems in Graphs
  • Rooted Trees
  • Sets and Operations on Sets
  • Relations on Sets
  • Equivalence Relations and Partial Orders
  • Databases and Relational Structures
  • Relational Calculus
  • Program Correctness Through Loop Invariants
  • Induction and Recursion
  • Spanning Trees
  • Shortest Paths in Directed Weighted Graphs
  • Games Played on Finite Graphs
  • Functions
  • Types of Functions
  • Syntax of Propositional Logic
  • Semantics of Propositional Logic
  • Normal Forms and the SAT Problem
  • Deterministic Finite Automata
  • Designing Finite Automata
  • Nondeterministic Finite Automata
  • The Subset Construction
  • Regular Expressions and Finite Automata
  • Algorithms for Finite Automata
  • Counting Principles
  • Permutations and Combinations
  • Basics of Probability