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

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

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

पूर्ण विवरण

में बचाया:

ग्रंथसूची विवरण
मुख्य लेखक:	Веретельникова, Е. Л. (070)
स्वरूप:	Книга
विषय:	теоретическая информатика доказательство правильности математическая индукция правильность блок-схемы индуктивное утверждение язык программирования правильность программы структурная индукция рекурсивная программа
ऑनलाइन पहुंच:	Перейти к просмотру издания
टैग :	टैग जोड़ें कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!

समान संसाधन

Теоретическая информатика. Доказательство правильности учеб. пособие
द्वारा: Веретельникова Е. Л.
प्रकाशित: (2016)

Типы норм - типы ошибок учебно-методическое пособие
प्रकाशित: (2017)

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

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

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

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

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

Существование Бога
द्वारा: Суинберн, P.

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

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

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

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

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

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

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

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

Логика
द्वारा: Ивлев Ю. В.

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

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

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

Логика учебное пособие
द्वारा: Гусев, Д. А.

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

Курс физики. Электричество
द्वारा: Телеснин Р. В., और अन्य

Электромагнетизм. Основные законы
द्वारा: Иродов И. Е.

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

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

Терминологический словарь по антенно-фидерным устройствам
द्वारा: Зеленин И. А.
प्रकाशित: (2022)

Терминологический словарь по антенно-фидерным устройствам
द्वारा: Зеленин И. А.
प्रकाशित: (2022)

Теоретические основы электротехники. Линейные электрические цепи учебное пособие для вузов
द्वारा: Атабеков Г. И.
प्रकाशित: (2021)

Основные законы электромагнетизма
द्वारा: Иродов И. Е.

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

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

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

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

Комбинаторика
द्वारा: Холл М., और अन्य

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

Электричество и магнетизм учебное пособие для спо
द्वारा: Пиралишвили Ш. А.
प्रकाशित: (2022)

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

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

Электричество и магнетизм
द्वारा: Матвеев А. Н.