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

формат chm
размер 493.08 КБ
добавлен 30 сентября 2010 г.

Программирование, как вид человеческой деятельности.
ВЗАИМОДЕЙСТВИЕ ПОСЛЕДОВАТЕЛЬНЫХ ПРОЦЕССОВ.
Структура мультипрограммной системы THE.
Доводы против оператора goto.
Навстречу корректным программам.
Вычисление в сравнении с программированием.
ЗАМЕТКИ ПО СТРУКТУРНОМУ ПРОГРАММИРОВАНИЮ.
О понимании программ.
Краткое введение в искусство программирования.
Смиренный программист.
Программирование, как дисциплина математической природы.

Похожие разделы

Смотрите также

Абрамов С.А. Элементы программирования

формат tiff
размер 3.4 МБ
добавлен 04 октября 2009 г.

М., "Наука", 1982. - 96 с. Книга посвящена популярному изложению начальных сведений о программировании и программном обеспечении. Рассматриваются такие основные понятия, как алгоритм, алгоритмический язык, вычислительная машина, трансляция и операционная система. СОДЕРЖАНИЕ Глава I. Об алгоритмах решения задач 1. Экономия операций 2. Обозначения 3. Повторения 4. Условия Глава II. Пример алгоритмического языка 1. О записи программ. Выражения 2....

Абрамов С.А. Элементы программирования

формат djvu
размер 1.02 МБ
добавлен 12 сентября 2011 г.

М., "Наука", 1982. - 96 с. Книга посвящена популярному изложению начальных сведений о программировании и программном обеспечении. Рассматриваются такие основные понятия, как алгоритм, алгоритмический язык, вычислительная машина, трансляция и операционная система. Для чтения книги достаточно знаний в объеме программы средней школы.

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

формат djvu
размер 1.43 МБ
добавлен 25 января 2010 г.

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

Вольфенгаген В.Э. Комбинаторная логика в программировании

формат pdf
размер 1.95 МБ
добавлен 21 января 2011 г.

М.: АО "Центр ЮрИнфоР", 2004. Изложен основной круг задач, сводимых к исчислению объектов - "от простого к сложному". Конкретный вариант исчисления выбирается в зависимости от решаемых вычислительных задач. В ходе последовательного решения задач читатель овладевает основными методами и средствами комбинаторной логики и ламбда-исчисления. Все задачи снабжены подробными и элементарными решениями. Для студентов старших курсов и аспирантов, изучающих...

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

формат djvu
размер 2.79 МБ
добавлен 31 октября 2010 г.

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

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

формат pdf
размер 1.14 МБ
добавлен 14 декабря 2011 г.

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

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

формат djvu
размер 10.82 МБ
добавлен 12 сентября 2011 г.

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

Шкадов В.Я. Вычислительные машины и программирование

формат djvu
размер 2.18 МБ
добавлен 19 декабря 2009 г.

М.: МГУ, 1981. -112 с. Излагается содержание односеместрового курса лекций, в течение ряда лет читавшегося автором студентам механико-математического факультета МГУ. Цель курса — дать необходимые сведения о работе ЭВМ и программировании, которые могут служить основой для практического решения задач на ЭВМ. Рассматриваются способы кодирования, хранения и обработки информации в ЭВМ, назначение и функционирование основных устройств, организация рабо...