Lectures On Discrete Mathematics For Computer Science

The book is an excellent introduction to discrete mathematics for computer science, software engineering, and mathematics students.The first author is a leading mathematician in the area of logic, computability, and theoretical computer ...

Lectures On Discrete Mathematics For Computer Science

Author: Khoussainov Bakhadyr M

Publisher: World Scientific Publishing Company

ISBN: 9813108126

Page: 364

View: 304

This textbook presents fundamental topics in discrete mathematics introduced from the perspectives of a pure mathematician and an applied computer scientist. The synergy between the two complementary perspectives is seen throughout the book; key concepts are motivated and explained through real-world examples, and yet are still formalized with mathematical rigor. The book is an excellent introduction to discrete mathematics for computer science, software engineering, and mathematics students.The first author is a leading mathematician in the area of logic, computability, and theoretical computer science, with more than 25 years of teaching and research experience. The second author is a computer science PhD student at the University of Washington specializing in database systems. The father-and-daughter team merges two different views to create a unified book for students interested in learning discrete mathematics, the connections between discrete mathematics and computer science, and the mathematical foundations of computer science.Readers will learn how to formally define abstract concepts, reason about objects (such as programs, graphs and numbers), investigate properties of algorithms, and prove their correctness. The textbook studies several well-known algorithmic problems including the path problem for graphs and finding the greatest common divisor, inductive definitions, proofs of correctness of algorithms via loop invariants and induction, the basics of formal methods such as propositional logic, finite state machines, counting, probability, as well as the foundations of databases such as relational calculus.

Related Books:

Lectures On Discrete Mathematics For Computer Science
Language: un
Pages: 364
Authors: Khoussainov Bakhadyr M, Khoussainova Nodira
Categories: Mathematics
Type: BOOK - Published: 2012-03-21 - Publisher: World Scientific Publishing Company

This textbook presents fundamental topics in discrete mathematics introduced from the perspectives of a pure mathematician and an applied computer scientist. The synergy between the two complementary perspectives is seen throughout the book; key concepts are motivated and explained through real-world examples, and yet are still formalized with mathematical rigor.
Discrete Mathematics and Computing
Language: un
Pages:
Authors: Malik Magdon-Ismail
Categories: Mathematics
Type: BOOK - Published: 2019-12-14 - Publisher:

This text is a semester course in the basic mathematical and theoretical foundations of computer science. Students who make heavy use of computing should learn these foundations well, setting a base for a follow-on course in algorithms. A solid theoretical and algorithmic foundation in computer science sets the stage for
Discrete Mathematics and Theoretical Computer Science
Language: un
Pages: 300
Authors: Cristian S. Calude, Michael J. Dinneen, DMTCS 2003
Categories: Computers
Type: BOOK - Published: 2003-06-27 - Publisher: Springer Science & Business Media

The fourthDiscrete Mathematics andTheoreticalComputer Science Conference (DMTCS 2003) was jointly organized by the Centre for Discrete Mathematics and Theoretical Computer Science (CDMTCS) of the University of Auckland and the University of Bourgogne in Dijon, France, and took place in Dijon from 7 to12 July2003.Thepreviousconferenceswereheld inAuckland,NewZealand (1996, 1999) and Constan ̧
Selected Papers on Discrete Mathematics
Language: un
Pages: 812
Authors: Donald Ervin Knuth
Categories: Computers
Type: BOOK - Published: 2003 - Publisher: Stanford Univ Center for the Study

This volume assembles more than three dozen of Professor Knuth's pioneering contributions to discrete mathematics.
Discrete Mathematical Structures for Computer Science
Language: en
Pages: 549
Authors: Ronald E. Prather
Categories: Algebra, Abstract
Type: BOOK - Published: 1976 - Publisher:

Books about Discrete Mathematical Structures for Computer Science