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

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

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

Disgrifiad llawn

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Prif Awdur:	Веретельникова, Е. Л. (070)
Fformat:	Книга
Pynciau:	теоретическая информатика доказательство правильности математическая индукция правильность блок-схемы индуктивное утверждение язык программирования правильность программы структурная индукция рекурсивная программа
Mynediad Ar-lein:	Перейти к просмотру издания
Tagiau:	Ychwanegu Tag Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!

Eitemau Tebyg

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Комбинаторика
gan: Холл М., et al.

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

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

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

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

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