Информатика (программирование)
Информатика и вычислительная техника
  • формат djvu
  • размер 3.04 МБ
  • добавлен 01 ноября 2010 г.
Андерсон Р. Доказательство правильности программ
В книге американского специалиста изложены основные принципы доказательства правильности программ для ЭВМ. Принципы доказательства иллюстрируются многочисленными примерами программ, представленных блок-схемами или записанных на языках высокого уровня. Материал излагается в простой и доступной форме.
Для пользователей ЭВМ, аспирантов и студентов, изучающих программирование.
Похожие разделы
Смотрите также

Вельдер С.Э. и др. Верификация автоматных программ

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

Вонг У. Основы программирования для чайников

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

Глушакова Т.Н., Есипенко Д.Г., Шашкин А.И., Эксаревская М.Е. Языки программирования для численных методов

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

Грис Д. Наука программирования

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

Дейкстра Э. Дисциплина программирования

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

Дудаков С.М. Математическое введение в информатику

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

Каймин В.А. Ответы на вопросы и задачи для подготовки к экзаменам по информатике в вузах и школах

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

Кетков Ю.Л., Кетков А.Ю. Практика программирования: Бейсик, Паскаль, Си

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

Трохименко Я.К. (ред.) Программируемые микрокалькуляторы. Устройство и пользование

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

Трохименко Я.К. Программирование микрокалькуляторов Электроника МК-52 и Электроника МК-61

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