Lectures On Discrete Mathematics For Computer Science

Name: Lectures On Discrete Mathematics For Computer Science
Author: Bakhadyr M Khoussainov

Auteur: Bakhadyr M Khoussainov

Taal: Engels

Afbeeldingen

Artikel vergelijken

Vergelijk met andere artikelen

Bekijk nu

Auteur: Bakhadyr M Khoussainov Nodira Khoussainova

Co-auteur: Bakhadyr Khoussainov

Engels
Hardcover
9789814340502
22 maart 2012
364 pagina's

Alle productspecificaties

Samenvatting

This textbook presents all the fundamental topics of discrete mathematics that are introduced from the perspectives of a pure mathematician and an applied computer scientist. The integration of the two perspectives is seen throughout the book; key concepts are motivated and explained through real-world examples, and yet are still formalized with mathematical rigor. Thus, it is an excellent introduction to computer science and software engineering.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 bring together two different perspectives to create a unified book for students interested in learning discrete mathematics, 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 (e.g., programs, graphs and numbers), investigate properties of algorithms, and prove their correctness. The textbook concentrates on the study of several well-known algorithmic problems (e.g., 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 (e.g., propositional logic), finite state machines, counting, probability, and the foundations of databases (e.g., relational calculus).

Productspecificaties

Inhoud

Taal: en
Bindwijze: Hardcover
Oorspronkelijke releasedatum: 22 maart 2012
Aantal pagina's: 364
Illustraties: Nee

Betrokkenen

Hoofdauteur: Bakhadyr M Khoussainov
Tweede Auteur: Nodira Khoussainova
Co Auteur: Bakhadyr Khoussainov
Hoofduitgeverij: World Scientific Publishing Co Pte Ltd

Overige kenmerken

Extra groot lettertype: Nee
Product breedte: 159 mm
Product hoogte: 27 mm
Product lengte: 235 mm
Studieboek: Nee
Verpakking breedte: 159 mm
Verpakking hoogte: 25 mm
Verpakking lengte: 233 mm
Verpakkingsgewicht: 648 g

EAN

EAN: 9789814340502

Je vindt dit artikel in

Categorieën: Wetenschap & Natuur

Computers & Informatica

Computertechnologie

Wiskunde

Discrete wiskunde

Boeken
Boek, ebook of luisterboek?: Boek
Beschikbaarheid: Leverbaar
Taal: Engels
Studieboek of algemeen: Studieboeken

Reviews

Nog geen reviews

Hoe controleren en plaatsen wij reviews? Hoe controleren en plaatsen wij reviews?

Negatief, positief, neutraal: we zetten een review altijd online. We controleren wel eerst of ’ie voldoet aan onze reviewvoorwaarden en niet nep is. We controleren ook of ’ie is geschreven door iemand die het artikel heeft gekocht via bol.com en zetten dit er dan bij. De controles gebeuren automatisch, al kijken er soms mensen mee. Bol.com betaalt niet voor reviews. Als een reviewer door een andere partij is vergoed, staat dit in de review zelf.