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

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

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

Cur síos iomlán

Sábháilte in:

Sonraí bibleagrafaíochta
Príomhchruthaitheoir:	Веретельникова, Е. Л. (070)
Formáid:	Книга
Ábhair:	теоретическая информатика доказательство правильности математическая индукция правильность блок-схемы индуктивное утверждение язык программирования правильность программы структурная индукция рекурсивная программа
Rochtain ar líne:	Перейти к просмотру издания
Clibeanna:	Cuir clib leis Níl clibeanna ann, Bí ar an gcéad duine le clib a chur leis an taifead seo!

Míreanna comhchosúla

Теоретическая информатика. Доказательство правильности учеб. пособие
de réir: Веретельникова Е. Л.
Foilsithe / Cruthaithe: (2016)

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

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

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

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

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

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

Существование Бога
de réir: Суинберн, P.

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

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

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

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

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

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

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

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

Логика
de réir: Ивлев Ю. В.

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

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

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

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

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

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

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

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

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

Терминологический словарь по антенно-фидерным устройствам
de réir: Зеленин И. А.
Foilsithe / Cruthaithe: (2022)

Терминологический словарь по антенно-фидерным устройствам
de réir: Зеленин И. А.
Foilsithe / Cruthaithe: (2022)

Теоретические основы электротехники. Линейные электрические цепи учебное пособие для вузов
de réir: Атабеков Г. И.
Foilsithe / Cruthaithe: (2021)

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

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

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

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

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

Комбинаторика
de réir: Холл М., et al.

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

Электричество и магнетизм учебное пособие для спо
de réir: Пиралишвили Ш. А.
Foilsithe / Cruthaithe: (2022)

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

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

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