Дудаков С.М. — Математическое введение в информатику :: Электронная библиотека попечительского совета мехмата МГУ

Главная Ex Libris Книги Журналы Статьи Серии Каталог Wanted Загрузка ХудЛит Справка Поиск по индексам Поиск Форум

Авторизация

Поиск по указателям

Дудаков С.М. — Математическое введение в информатику

Обсудите книгу на научном форуме

Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter

Название: Математическое введение в информатику

Автор: Дудаков С.М.

Аннотация:

В пособии освещаются теоретические вопросы программирования: связь и эквивалентность различных языков программирования, доказательство корректности программ, вычислительная сложность алгоритмов.
Учебное пособие адресовано, прежде всего, студентам младших курсов, обучающимся по направлению 510200 "Прикладная математика и информатика" и специальности 010200 "Прикладная математика и информатика".

Язык:

Рубрика: Руководства по программному обеспечению/

Статус предметного указателя: Готов указатель с номерами страниц

ed2k: ed2k stats

Год издания: 2003

Количество страниц: 222

Добавлена в каталог: 28.11.2010

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID

Предметный указатель

Аксиомы      104
Алгоритм      9 38
Алгоритм детерминированный      13
Алгоритм Евклида      17
Алгоритм итерационный      17
Алгоритм конечный      13
Алгоритм недетерминированный      13
Алгоритм полууниверсальный      14
Алгоритм рекурсивный      17
Алгоритм универсальный      13
Алгоритм частный      14
Аргументы подпрограммы      146
Верификация программы      131
Вершина внутренняя      26
Вершина графа      25
ВП      182
ВП*      184
Время вычисления      207
Время максимальное      210
Время среднее      210
Вывод      104
Выводимость      105
Вызов алгоритма      50
Вызов подпрограммы      147
Вызов рекурсивный      158
Выражение      33 147
Вычисление выражения      201
Вычисление программы      202
Вычисление теста      202
Вычисление функции алгоритмом      50
Граф      24
Граф зависимости      152
Граф нагруженный      25
Граф размеченный      25
Дерево      26
Дерево троек-состояний      191
Деревовложенных вызовов      157
Длина входа      209
ДОБ      125 183
Доказательство      104
Доказуемость      105
Допустимость      124
ДТС      191
Дуга графа      25
ЗАМ      184
Замена метки      90
Замена переменных      58
Замена переменных в состоянии      60
Зацикливание      45
Значение выражения      42 148
Значение переменной      42
Значение теста      43
Значение формулы      29
Значение формулы атомной      29
Значение функции      20
ЗП      181 182
Имя алгоритма      38
Имя переменной      32
Имя подпрограммы      146
Инвариант программы      114
Инвариант программы частичный      114
Инвариант цикла      116
Инвариант цикла частичный      116
Информатика      9
Исполнитель      9
Истинность теста      43
Истинность условия      105
Исчисление      104
Исчисление предусловий      132
Исчисление Хоара      109
Квантор всеобщности      29
Квантор существования      29
Композиция отображений      21
Константа      32
Корень дерева      26
Корректность полная      107
Корректность программ      112
Корректность частичная      106
Лемма о бесконечных деревьях вызовов      159
Лемма о вложенных вызовах      156
Лемма о вычислении выражений      205
Лемма о вычислении программ      206
Лемма о замене метки      90
Лемма о замене переменной в выражениях      61
Лемма о замене переменной в программах      62
Лемма о замене переменной в тестах      62
Лемма о кодировании пар чисел      172
Лемма о конечности ДТС      195
Лемма о конечных деревьях      159
Лемма о конечных деревьях вызовов      161
Лемма о конечных ДТС      192
Лемма о корректности ВП      196
Лемма о косвенной рекурсии      173
Лемма о минимальном объеме      199
Лемма о множествах вызовов      194
Лемма о неиспользуемых переменных      57
Лемма о полной корректности цикла      118
Лемма о представлении предусловий      142 143
Лемма о разложении выражения      68
Лемма о результате замены      59
Лемма о сбалансированности      39
Лемма о сохранении значения      56
Лемма о суффиксе программы      40
Лемма о существовании предусловий      144
Лемма о форме предусловий      141
Лемма об обратимости замены      60
Лемма об определенности вложенных вызовов      160
Лемма об убывающих цепях      24
Лемма об упрощении неполного ветвления      70
Лемма об упрощении полного ветвления      69
Лемма об упрощении цикла      70
Лес      27
Лес вложенных вызовов      158
Лист дерева      26
Ложность теста      43
Ложность условия      105
Мера сложности      209
Метка      83
Метка завершающая      84
Метка заключительная      84
Метка начальная      84
Метка оператора      84
Метка перехода      84
Множество вершин      24
Множество вложенных вызовов      156
Множество ДУГ      24
Множество значений      23
Множество переменных      36
Множество переменных изменяемых      36
Множество ребер      24
Начальное состояние вызова      50
НВ      109
Непротиворечивость исчисления предусловий      132
Непротиворечивость исчисления Хоара      110
Область определения      23
Объем памяти      198
Ограничение функции      20
Ограничитель вызовов      180
Ограничитель цикла      117
Ограничитель цикла универсальный      117
ОП      109
Оператор      33
Оператор ветвления      83
Оператор неполного ветвления      35
Оператор полного ветвления      35
Оператор присваивания      33 83

Оператор присваивания простой      67
Оператор присваивания, левая часть      33
Оператор присваивания, правая часть      33
Оператор цикла      35
Операторы следование      35
Операция      32
Ослабление постусловия      109
Отображение      19
Отображение частичное      21
Память вычисления      207
Память максимальная      210
Память состояния      207
Память средняя      210
Параметры подпрограммы      146
ПВ      109
Переменная      32
Переменная входная      38
Переменная выходная      38
Поддерево      27
Подпрограмма      146
Подпрограмма рекурсивная      153
Полнота исчисления      139
Полнота исчисления предусловий      140
Полнота исчисления Хоара      139
Последовательность      23
Построение программы простой      72
Построение программы с метками      93
Построение программы структурированной      98
Построение программы функциональной      163
Постусловие      106
Правила вывода      104
Правило вызова подпрограммы      182
Правило замены переменной для присваиваний      181
Правило замены переменной для тестов      182
Правило неполного ветвления      109
Правило полного ветвления      109
Правило следование      109
Предметная область      31
Предусловие      106
Предусловие слабейшее      131
Предусловие слабейшее полное      132
Префикс      33
Префикс собственный      33
ПРИСВ      124
ПРИСВ*      124
Программа      10
Программа аппликативная      163
Программа основная      152
Программа простая      67
Программа с метками      83
Программа структурированная      35
Программа структурная      35
Программа функциональная      163
Произведение отображений      21
Путь на графе      26
Разрешимость      12
Ребро графа      25
Результат вызова      50 147
Рекурсия      153
Рекурсия косвенная      153
Рекурсия прямая      153
Связки булевы      28
Семантика      9
Семантика неполного ветвления      44
Семантика полного ветвления      44
Семантика присваивания      44
Семантика программы      150
Семантика программы с метками      85
Семантика программы структурированной      44
Семантика следования      44
Семантика цикла      45
Символ кванторный      28
Синтаксические конструкции      104
СЛ      109
Следствие о двойном представлении программы      41
Следствие о двух состояниях      58
Следствие о разложении теста      68
Следствие о результате      58
Следствие об эквивалентности предусловий      132
Следствие, упрощение присваиваний      68
СНВ      133
Совпадение графическое      33
Состояние      42
Состояние программы      42
Состояние расширенное      84
СПВ      134
Спецификация программы      130
Список      24
Список вложенных вызовов      153 154 156
Список входных переменных      38
СПР      132
ССЛ      133
Суффикс      33
Суффикс собственный      33
СЦП      134
СЭП      133
Тело алгоритма      38
Тело подпрограммы      147
Теорема о подстановке      76
Теорема о полноте исчисления предусловий      140
Теорема о полноте исчисления Хоара      140
Теорема о представлении формул      142
Теорема о представлении функций      141
Теорема о простой программе      72
Теорема о семантике следования      49
Теорема о структуризации      98
Теорема о существовании слабейших предусловий      136
Теорема о цикле      103
Теорема об удалении подпрограмм      171
Теорема об удалении рекурсии      174
Тест      34
Тест простой      67
Трансляция      10
Тройка Хоара      106
УПР      109
Усиление предусловия      109
Условие      105
Условие зацикливания      45 48 85 86 161
Форма записи инфиксная      20
Форма записи префиксная      20
Формула атомная      28
Формула логическая      28
Функция      19
Функция тотальная      22
Функция частичная      21
Цепь убывающая      24
Цикл      26
ЦП      119
ЦЧ      119
Числа Фибоначчи      86
Эквивалентность алгоритмов      54
Эквивалентность формул      30
Эффективное построение      92
Язык естественный      9
Язык программирования      10
Язык программирования второго уровня      12
Язык программирования декларативный      14
Язык программирования императивный      14
Язык программирования объектно-ориентированного      15
Язык программирования первого уровня      12
Язык программирования с метками      15
Язык программирования специализированный      15
Язык программирования структурный      15
Язык программирования третьего уровня      12
Язык программирования универсальный      10
Язык программирования универсальный      14
Язык программирования функционального      15

О проекте