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