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

Баррон Д. Рекурсивные методы в программировании

  • формат djvu
  • размер 1.43 МБ
  • добавлен 25 января 2010 г.
М.: Мир, 1974. - 81 с. В книге излагаются рекурсивные методы программирования и демонстрируются возможности рекурсивного описания алгоритмов. Эти методы получают все большее распространение в практике программирования, и возможность их применения учитывается при разработке языков программирования и вычислительных машин. В книге показаны перспективы использования рекурсивных методов. Их удобство и эффективность демонстрируются на различных примера...

Бен-Ари М. Языки программирования. Практический сравнительный анализ

  • формат doc
  • размер 2.69 МБ
  • добавлен 24 ноября 2009 г.
Мир, 2000. -366 с. В книге рассматриваются базовые понятия языков программирования: среды программирования, подпрограммы, указатели, полиморфизм и наследование, исключения, параллелизм и декомпозиция программы. Обсуждается языковая поддержка объектно-ориентированного программирования. Приведенные языковые конструкции богато иллюстрированы примерами. Основное внимание уделяется языкам C++ и Ada 95, однако не остаются забытыми Pascal, Fortran, PL/I...

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

  • формат pdf
  • размер 1.14 МБ
  • добавлен 14 декабря 2011 г.
Историки таких древних интеллектуальных дисциплин, как поэзия, музыка, живопись и наука, высоко оценивают роль выдающихся практиков, чьи достижения обогатили опыт и расширили представления поклонников этих дисциплин, пробудили и укрепили таланты последователей. То новое, что ими внесено, основывается на сочетании виртуозного практического мастерства и проницательного осмысливания фундаментальных принципов. Во многих случаях влияние этих людей уси...

Звенигородский Г.А. Первые уроки программирования (ред. Ершов А.П.)

  • формат djvu
  • размер 2.85 МБ
  • добавлен 27 марта 2011 г.
Библиотечка «Квант». Вып. 41 —М.: Наука, 1985. — 208 с. Цель книги — способствовать формированию у школьников умений и навыков, необходимых для взаимодействия с ЭВМ на языках высокого уровня. Даются конструкции таких языков и основные приемы прикладного программирования. Учащиеся знакомятся с современным уровнем и перспективами развития информатики и вычислительной техники. Текст книги в основном ориентирован на школьников 5 — 8 классов.

Кронрод А.С. Беседы о программировании

  • формат djvu
  • размер 10.82 МБ
  • добавлен 12 сентября 2011 г.
Эта книга была написана замечательным ученым-математиком А.С.Кронродом почти 40 лет тому назад, но публикуется впервые. Один из зачинателей программирования у нас в стране и основателей целой школы программирования, А.С.Кронрод в доступной и интересной форме обсуждает вопросы организации системного программирования, отладки программ и архитектуры ЭВМ. Издательство: Едиториал Год: 2004 Страниц: 250 ISBN: 5-354-00565-5 Качество: Хорошее Язык: Рус...

Кушниренко А.Г., Лебедев Г.В. Программирование для математиков

  • формат djvu
  • размер 4.27 МБ
  • добавлен 05 февраля 2010 г.
Учебное пособие для вузов – М.: Наука, Гл. ред. физ. -мат. лит. , 1988. -384 с. Один из лучших отечественных вводных курсов программирования. Читался на мехмате МГУ. Отличается от распространенных курсов большим количеством нетривиальных примеров и тем, что на самом раннем этапе авторы вводят и активно используют понятие исполнителя — аналога того, что сейчас называют объектом или классом.

Пентковский В.М. Язык программирования Эль-76

  • формат djvu
  • размер 6.46 МБ
  • добавлен 10 апреля 2011 г.
М.: Наука, 1989. - 369 с. Знакомит с языковыми основами построения многопроцессорной вычислительной системы Эльбрус, концепциями создания базового языка программирования высокого уровня Эль-76 и его ролью в использовании системы, а также с принципами разработки базовых средств поддержки современных систем программирования на языках высокого уровня. Дается полное описание Эль-76, а также определяются технические детали, необходимые для всех уровне...

Реферат - Языки программирования низкого и высокого уровня. Классификация алгоритмических языков

Реферат
  • формат doc
  • размер 348 КБ
  • добавлен 14 октября 2010 г.
Содержание. Введение. Язык программирования. Начало развития. Классификация языков программирования. Машинно-ориентированные языки. Машинный язык. Языки символического кодирования. Автокоды. Макрос. Машинно-независимые языки. Проблемно – ориентированные языки. Универсальные языки. Диалоговые языки. Непроцедурные языки. Эволюция языков программирования. Ассемблер. Лисп. Фортран. Бейсик. Рефал. Пролог и Пролог ++. Лекс. Си. Си++. Низкоуровневый язы...

Сафонов В.О. Языки и методы программирования в системе Эльбрус

  • формат djvu
  • размер 9.18 МБ
  • добавлен 10 апреля 2011 г.
М.: Наука, 1989. - 392 с. Рассмотрены методы программирования на языках Эль-76, Паскаль, Клу и на других языках, реализованных на вычислительных комплексах Эльбрус с языко-ориентированной архитектурой. Описаны технологические принципы программирования, основанные на концепции структурированного интерфейса, опыт их применения и программная поддержка на МВК Эльбрус. Приведены практические сведения для использования рассмотренных систем программиров...

Себеста Р.У. Основные концепции языков программирования

  • формат djvu
  • размер 9.5 МБ
  • добавлен 08 сентября 2010 г.
Книга, ставшая бестселлером в США, посвящена всестороннему обсуждению основных концепций языков программирования. Автор описывает фундаментальные понятия программирования на примере вопросов разработки различных языковых конструкций, подвергая критическому анализу их реализацию в широком спектре таких языков программирования, как FORTRAN, PASCAL, PL/1, C, C++, Ada, Java, Smalltalk, Eifell и Lisp. Материал книги охватывает все парадигмы программир...