Номер документа в системі: | 45027 |
Автор: | Лавров С. С. |
Назва документа: | Программирование. Математические основы, средства, теория |
Видавництво: | БХВ-Петербург |
Місто видання: | Санкт-Петербург |
Рік видання: | 2001 |
УДК | 004.4(075.8) |
Мова документу | Російська |
Шифр документу | 004.4 |
Аннотація | Современное программирование излагается как искусство заставить компьютер решить задачу, возникшую перед человеком. Даны единые основания математики и программирования, краткие сведения из области графов, теории вероятностей и информации (в ее математическом толковании). Приведены основные понятия и конструкции современных языков программирования Рассмотрены ряд вопросов теории программирования с упором на математическую семантику языковых конструкций. |
Кількість сторінок | 320 с. |