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

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

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