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

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

В работе изложен теоретический материал и рассмотрены многочисленные примеры для освоения основных принципов и приемов доказательства правильности программ, представленных блок-схемами или записанных на языках высокого уровня. Материал подразделен на четыре основные темы и сгруппирован таким образом...

Fuld beskrivelse

Сохранить в:

Bibliografiske detaljer
Hovedforfatter:	Веретельникова, Е. Л. (070)
Format:	Книга
Fag:	теоретическая информатика доказательство правильности математическая индукция правильность блок-схемы индуктивное утверждение язык программирования правильность программы структурная индукция рекурсивная программа
Online adgang:	Перейти к просмотру издания
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!

Lignende værker

Теоретическая информатика. Доказательство правильности учеб. пособие
af: Веретельникова Е. Л.
Udgivet: (2016)

Типы норм - типы ошибок учебно-методическое пособие
Udgivet: (2017)

Методика обучения чтению Корана

Словарь трудностей русского языка для школьников

Доказательство и вера философия и религия с xvii века до наших дней
af: Талиаферро, Ч.

Математический анализ. Последовательности и функции: практикум учебное пособие
af: Альсевич, Л. А.

Математический анализ учебное пособие для спо
af: Гурьянова, К. Н.

Существование Бога
af: Суинберн, P.

Репетитор по физике. Электромагнетизм учебное пособие

Информатика. Ч.2 учебно-методическое пособие
af: Лебеденко, Л. Ф.

Математический анализ: последовательности, функции, интегралы: практикум учебное пособие
af: Альсевич, Л. А.

Основы риторики и культура речи: практический курс учебное пособие
af: Пугачев, И. А.

Философия и методы научного познания
af: Мостепаненко М. В.

Электротехника. Лабораторный практикум учебное пособие
af: Клепча, В. Ф.

Лекции по дискретной математике учебник
af: Дехтярь, М. И.

Теоретическая информатика. Теория сетей Петри и моделирование систем учебное пособие
af: Веретельникова, Е. Л.

Логика
af: Ивлев Ю. В.

Избранные главы курса физики. Электромагнетизм учебное пособие
af: Малышев, Л. Г.

Старшеклассникам о культуре речи учебное пособие
af: Шутан, М. И.

Основы формальной логики учебное пособие
af: Новоселов, В. Г.

Логика учебное пособие
af: Гусев, Д. А.

Электротехнологические установки и системы. Установки индукционного нагрева учебное пособие
af: Алиферов, А. И.

Курс физики. Электричество
af: Телеснин Р. В., и др.

Электромагнетизм. Основные законы
af: Иродов И. Е.

Анализ данных качественных исследований практикум

Решение задач на компьютере. Электричество и магнетизм учебное пособие
af: Штыгашев, А. А.

Терминологический словарь по антенно-фидерным устройствам
af: Зеленин И. А.
Udgivet: (2022)

Терминологический словарь по антенно-фидерным устройствам
af: Зеленин И. А.
Udgivet: (2022)

Теоретические основы электротехники. Линейные электрические цепи учебное пособие для вузов
af: Атабеков Г. И.
Udgivet: (2021)

Основные законы электромагнетизма
af: Иродов И. Е.

Физика. Электричество. Магнетизм учебное пособие (лабораторный практикум)

Избранные главы физики для учителей учебное пособие
af: Шаповалов, А. А.

Основы формальной логики учебное пособие для спо
af: Плескунов, М. А.

Основные алгоритмические модели учебное пособие
af: Дронова, Е. Н.

Комбинаторика
af: Холл М., и др.

Программирование в среде Turbo Basic и программном пакете Mathcad учебное пособие по дисциплине «информатика»
af: Рыбников, Е. К.

Электричество и магнетизм учебное пособие для спо
af: Пиралишвили Ш. А.
Udgivet: (2022)

Электростатика. Постоянный электрический ток. Электромагнетизм учебно-методическое пособие

Основы классической электродинамики учебное пособие
af: Ан, А. Ф.

Электричество и магнетизм
af: Матвеев А. Н.