Поиск

Закладки

Озвучивание недоступно

Озвучить книгу

Изменить режим чтения

Изменить размер шрифта

Оглавление

Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.

Теоретическая информатика. Доказательство правильности

Глава 2. ДОКАЗАТЕЛЬСТВО ПРАВИЛЬНОСТИ БЛОК-СХЕМ ПРОГРАММ

Предыдущая страница

Следующая страница

Table of contents

Глава 1. МАТЕМАТИЧЕСКАЯ ИНДУКЦИЯ +

Глава 2. ДОКАЗАТЕЛЬСТВО ПРАВИЛЬНОСТИ БЛОК-СХЕМ ПРОГРАММ -

2.1. Основные принципы доказательства правильности блок-схем

2.2. Метод индуктивных утверждений

2.3. Задания для самостоятельной работы

2.4. Контрольные вопросы к главе 2. Тема 1. "Доказательство правильности блок-схем". Тема 2. "Доказательство правильности блок-схем методом индуктивных утверждений"

Глава 3. ДОКАЗАТЕЛЬСТВО ПРАВИЛЬНОСТИ ПРОГРАММ, НАПИСАННЫХ НА ОБЫЧНЫХ ЯЗЫКАХ ПРОГРАММИРОВАНИЯ +

Глава 4. ДОКАЗАТЕЛЬСТВО ПРАВИЛЬНОСТИ РЕКУРСИВНЫХ ПРОГРАММ +

Библиографический список

Данный блок поддерживает скрол*