Справка
x
Поиск
Закладки
Озвучить книгу
Изменить режим чтения
Изменить размер шрифта
Оглавление
Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Теоретическая информатика. Доказательство правильности
Глава 4. ДОКАЗАТЕЛЬСТВО ПРАВИЛЬНОСТИ РЕКУРСИВНЫХ ПРОГРАММ
Предыдущая страница
Следующая страница
Table of contents
Глава 1. МАТЕМАТИЧЕСКАЯ ИНДУКЦИЯ
+
Глава 2. ДОКАЗАТЕЛЬСТВО ПРАВИЛЬНОСТИ БЛОК-СХЕМ ПРОГРАММ
+
Глава 3. ДОКАЗАТЕЛЬСТВО ПРАВИЛЬНОСТИ ПРОГРАММ, НАПИСАННЫХ НА ОБЫЧНЫХ ЯЗЫКАХ ПРОГРАММИРОВАНИЯ
+
Глава 4. ДОКАЗАТЕЛЬСТВО ПРАВИЛЬНОСТИ РЕКУРСИВНЫХ ПРОГРАММ
-
4.1. Упрощенный язык программирования для иллюстрации понятия рекурсии
4.2. Структурная индукция
4.3. Задания для самостоятельной работы
4.4. Контрольные вопросы к главе 4. Тема "Рекурсивные программы. Структурная индукция"
Библиографический список
Данный блок поддерживает скрол*