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

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

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

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

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

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

формат 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
размер 603.77 КБ
добавлен 21 января 2011 г.

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

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

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

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

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

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

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

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

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

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