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

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

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

保存先:

書誌詳細
第一著者:	Веретельникова, Е. Л. (070)
フォーマット:	Книга
主題:	теоретическая информатика доказательство правильности математическая индукция правильность блок-схемы индуктивное утверждение язык программирования правильность программы структурная индукция рекурсивная программа
オンライン･アクセス:	Перейти к просмотру издания
タグ:	タグ追加タグなし, このレコードへの初めてのタグを付けませんか!

類似資料

Теоретическая информатика. Доказательство правильности учеб. пособие
著者:: Веретельникова Е. Л.
出版事項: (2016)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Терминологический словарь по антенно-фидерным устройствам
著者:: Зеленин И. А.
出版事項: (2022)

Терминологический словарь по антенно-фидерным устройствам
著者:: Зеленин И. А.
出版事項: (2022)

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

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

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

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

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

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

Комбинаторика
著者:: Холл М., 等

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

Электричество и магнетизм учебное пособие для спо
著者:: Пиралишвили Ш. А.
出版事項: (2022)

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

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

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