Андерсон Р. Доказательство правильности программ

Санкт-Петербург: СПбГУ ИТМО, 2011. - 246 с. В учебном пособии рассматриваются вопросы верификации программного обеспечения на основе проверки моделей с использованием различных языков спецификации. Особое внимание уделяется верификации автоматных программ, которые моделируются в виде системы автоматизированных объектов управления и могут быть весьма эффективно верифицированы указанным методом. Математический аппарат и прикладные инструменты данно...

4 изд. - 2008. Это одна из самых простых книг, посвященных программированию. Написанная известным автором Уоллесом Вонгом, она позволит вам сделать первые шаги в освоении премудростей написания компьютерных программ. Вы узнаете, что такое язык программирования, и какие языки программирования наиболее популярны на сегодняшний день. Отдельные части книги посвящены использованию языка программирования BASIC, использованию различных структур данных,...

Методические указания к спецкурсу. - Воронеж: Изд-во ВГУ, 2001. - 79 с. В предлагаемом спецкурсе рассматриваются современные технологии создания программных продуктов, включая как основные концепции, так и конкретные инструменты, необходимые для написания программ, реализации тех или иных численных методов. В спецкурсе изучаются наиболее распространенные в современной мировой индустрии разработки программ языки С, С++ и Java, объектно-ориентирова...

-М. , 1984. - 416 с. Монография известного американского ученого написана, как введение в науку программирования. Для программистов и разработчиков математического обеспечение ЭВМ. Список частей: 1. Зачем нужно использовать логику и доказывать правильность программ? 2. Семантика простого языка программирования. 3. Построение программ.

Книга написана одним из крупнейших зарубежных специалистов в области программирования, известным советскому читателю по переводам его книг на русский язык (например, «Структурное программирование», «Мир», 1972). Она посвящена фундаментальным вопросам конструирования корректных и изящных программ для ЭВМ. В ней предлагается методика формального вывода программы из математической постановки задачи. При этом прослеживается развитие алгоритмов вплоть...

Учебное пособие. - Тверь: Твер. гос. ун-т, 2003. - 221 с. В пособии освещаются теоретические вопросы программирования: связь и эквивалентность различных языков программирования, доказательство корректности программ, вычислительная сложность алгоритмов. Учебное пособие адресовано, прежде всего, студентам младших курсов, обучающимся по направлению 510200 "Прикладная математика и информатика" и специальности 010200 "Прикладная математика и информати...

Учебник. - М.: Инфра-М, 2000. -232 с. Учебнику присуждено первое место по разделу «Информатика» на конкурсе вузовских учебников Министерства образования Российской Федерации в 1999 году. В пособии излагаются теоретические основы информатики, а также техника работы на пер-сональных компьютерах и передачи информации в сети Интернет. Рассмотрены принципы работы систем искусственного интелекта и методы обработки данных на Эвм. Приведено большое число...

СПб: БХВ, 2001, 480 с. Пособие ориентировано на учащихся старших классов средних школ и студентов высших учебных заведений, осваивающих курс программирования на IBM-совместимых ПК. Оно содержит более 130 готовых к исполнению программ, большинство из которых представлено на трех алгоритмических языках – Бейсике, Си и Паскале. Набор приведенных программ может оказаться полезным и для преподавателей информатики. Все разделы предваряются кратким,...

Описаны структура, архитектура, элементная база и операционное программное обеспечение массовых программируемых микрокалькуляторов (ПМК) серии «Электроника» (МК-46/МК- 64. Б3-34, МК-56, МК-54, МК- 61. МК-52), а также перспективные ПМК «Электроннка-85» и «Электроника МК-72» и тенденции их дальнейшего совершенствования. Рассмотрены особенности программирования ПМК, даны рекомендации по оптимизации программ, оценке погрешностей вычислении и другие п...

Киев, «Технiка», 1987 Замечательная книжка известных авторов с программами, оптимизированными для последних советских ПМК. Оглавление Предисловие Особенности использования ПМК. Алгоритмы и программы Входной язык Вычисление в непрограммируемом режиме Режим программирования Программируемый режим Составление оптимальных программ. Критерии оптимальности программ Погрешности вычислений Оптимизация методов и алгоритмов Использование особен...