A Mathematical Foundation for Computer Science, Preliminary EditionКНИГИ » ПРОГРАММИНГ
Название: A Mathematical Foundation for Computer Science, Preliminary Edition Автор: David Mix Barrington Издательство: Kendall Hunt Publishing Company Год: 2019 Формат: PDF Страниц: 364 Размер: 103.5 Mb Язык: English
Undergraduate computer science students need to learn and use the mathematical method of abstraction, definition, and proof, perhaps even earlier than do mathematics students. They deal constantly with formally defined systems beyond those studied in mathematics courses, and must be able reason about them formally in order to write and understand programs. A Mathematical Foundation for Computer Science introduces the mathematical method using examples from computer science, often illustrated by Java-like code. It begins with propositional and predicate logic, introduces number theory, and deals thoroughly with mathematical induction as it relates to recursive definition and recursive algorithms. Later chapters cover combinatorics, probability, graphs and searching, finite-state machines, and a brief introduction to formal language theory. Each chapter is divided into narrative sections, each with Exercises and Problems, and Excursion sections suitable for active learning exercises. This preliminary edition includes the first four chapters, used as the textbook for the first half of a UMass course, COMPSCI 250.
Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь.
С этой публикацией часто скачивают:
Sets, Logic and Maths for Computing 3rd edition Название: Sets, Logic and Maths for Computing (Undergraduate Topics in Computer Science) Third edition Автор: David Makinson Издательство: Springer...
Mathematics for Computer Science Название: Mathematics for Computer Science Автор: Eric Lehman Издательство: Samurai Media Limited Год: 2017 Страниц: 988 Формат: PDF Размер: 10 Mb...
Навигация
Вход на сайт
Реклама
A Mathematical Foundation for Computer Science, Preliminary Edition 
