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

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

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

Издательство: "Мир", Москва
Год: 1978
Страниц: 277

УДК 681.142.2

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

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

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

формат 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 г.

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

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

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

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

Кораблин Ю.П. Семантика языков программирования

формат pdf
размер 28.85 МБ
добавлен 09 ноября 2010 г.

Издательство: МЭИ-1992г. Учебное пособие по курсу «Семантика языков программирования». Московский Энергетический институт (Технический университет). Кафедра прикладной математики. Рассмотрены вопросы формальной семантики программирования. Особое внимание уделено рассмотрению аксиоматической и денотационной семантики языков программирования, их прикладных аспектов. Пособие предназначено для студентов старших курсов специальности «Прикладная матема...

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

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

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

Курсовая работа - Методы глобальной и локальной интерполяции функций

Курсовая работа

формат png, pdf
размер 648.02 КБ
добавлен 23 января 2012 г.

СамГУ, 2011. 13 стр. Дисциплина - Языки программирования. Введение. Глобальная интерполяция. Локальная интерполяция. Реализация алгоритмов интерполяции на Python. Результаты работы программы. Заключение. В архиве pdf, tex файлы с текстом курсовой работы и изображения png построенных графиков.

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

Реферат

формат 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. Материал книги охватывает все парадигмы программир...