You are here

Lectures on Discrete Mathematics for Computer Science

Publisher: 
World Scientific
Number of Pages: 
346
Price: 
69.00
ISBN: 
9789814340502
Date Received: 
Thursday, September 27, 2012
Reviewable: 
Yes
Include In BLL Rating: 
No
Reviewer Email Address: 
Bakhadyr Khoussainov and Nodira Khoussainova
Series: 
Algebra and Discrete Mathematics 3
Publication Date: 
2012
Format: 
Hardcover
Audience: 
Category: 
Textbook
  • 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
Publish Book: 
Modify Date: 
Thursday, September 27, 2012

Dummy View - NOT TO BE DELETED