Программирование. Математические основы, средства, теория — С. Лавров

(Пока оценок нет)
Загрузка...

Программирование. Математические основы, средства, теория Навазние: Программирование. Математические основы, средства, теория
Автор: С. Лавров
Издательство: БХВ-Петербург
Год: 2002
ISBN: 5-94157-069-4
PDF: 2 Мб


Современное программирование представлено в этой книге искусством решения человеческих задач компьютером. Информация представляется в научно-популярной форме, читается нетрудно, но в то же время очень насыщена. Рассматривается единство программирования и математики, приведены сведения из области информации, теории графов, множеств, вероятностей и др.

В книге рассмотрены основополагающие элементы теории программирования с учетом математической семантики конструкции языка. Такие математические понятия, как вероятность, графы, множества, высказывания, логика и т.п. изложены в тесном переплетении с программированием. Проанализированы свойства программ, преобразователи предикатов для присваивания, рекурсивные и нерекурсивные процедуры и функции, исчисления высказываний. Обо всем этом и не только читатель получит исчерпывающую информацию из книги «Программирование. Математические основы, средства, теория» за авторством С. Лаврова.

6,351 просмотров всего, 2 просмотров сегодня




Скачать книгу:


UniBytes (PDF)
GigaBase (PDF)
Share4web (PDF)

Добавить комментарий

Ваш e-mail не будет опубликован. Обязательные поля помечены *