RUSSIAN

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

By Лавров С.С.

Book information

Publisher
БХВ-Петербург
Year
2002
ISBN
5941570694
Language
russian
Format
PDF
Filesize
2 MB (2520651 bytes)
Series
Мастер. Учебное пособие
Pages
320\317
Time added
2021-12-12 21:13:05

Description

С. Лавров. Программирование. Математические основы, средства, теория Содержание Введение 1. Математические основы 1.1. Формальные языки 1.2. Логические формальные теории 1.3. Исчисление высказываний 1.4. Формальные теории первого порядка 1.5. Теория множеств 1.6. Вероятности и информация 1.7. Теория вычислимости 2. Основные понятия и конструкции языков программирования 2.1. Программы 2.2. Структуры данных 2.3. Структуры действий 2.4. Более сложные средства 2.5. Старые новые веяния 3. Анализ свойств программ 3.1. Операторный схемы 3.2. Формализация семантики языков программирования 3.3. Денотационная семантика составных значений и указателей 3.4. Денотационная семантика процедур и функций 3.5. Послесловие. За что боролись? Решения упражнений Список литературы

Similar books