Книга: Дж. Митчелл «Основания языков программирования»
|
Книга "Основы языков программирования" написана для студентов старших курсов и аспирантов. В ней используется серия типизированных лямбда-исчислений для изученияаксиоматической, операциональной и денотационной семантики последовательностных языков программирования. По ходу книги происходит постепенное достраивание лямбда-исчисления всё более сложными системами типов. Отличительной чертой данной книги по сравнению с другими работами по данной теме является то, что в ней содержится материал по универсальной алгебре и алгебраическим типам данных, императивным языкам и Флойд-хоаровской логике, а в последних главах рассматриваются полиморфные типы, модули, подтипы и объектно-ориентированные понятия, а также вывод типов. Книга предназначена прежде всего для изучающих математику, но благодаря включениюсоответствующих вопросов и примеров материал книги доступен и студентам, специализирующимся по системам программного обеспечения, теории вычислительных системили математической логике.... Издательство: "Регулярная и хаотическая динамика" (2010) Формат: 70x100/16, 720 стр.
ISBN: 978-5-93972-757-0 Купить за 993 руб на Озоне |
Другие книги схожей тематики:
| Автор | Книга | Описание | Год | Цена | Тип книги |
|---|---|---|---|---|---|
| Святослав Лавров | Программирование. Математические основы, средства, теория | Современное программирование излагается как искусство заставить компьютер решить задачу, возникшую перед… — БХВ-Петербург, электронная книга Подробнее... | 2001 | 79 | электронная книга |
| С. Лавров | Программирование. Математические основы, средства, теория | Современное программирование излагается как искусство заставить компьютер решить задачу, возникшую перед… — БХВ-Петербург, (формат: 70x100/16, 320 стр.) Мастер. Учебное пособие Подробнее... | 2001 | 245 | бумажная книга |
См. также в других словарях:
Институт автоматики и вычислительной техники МЭИ — Институт автоматики и вычислительной техники Московского энергетического института (технического университета) … Википедия
Парадигма — (Paradigm) Определение парадигмы, история возникновения парадигмы Информация об определении парадигмы, история возникновения парадигмы Содержание Содержание История возникновения Частные случаи (лингвистика) Управленческая парадигма Парадигма… … Энциклопедия инвестора
Курочкин, Владимир Михайлович (учёный) — Для улучшения этой статьи желательно?: Викифицировать статью. Добавить иллюстрации. Проставить интервики в рамках проекта Интервики … Википедия
Курочкин, Владимир Михайлович — Владимир Михайлович Курочкин (1926 1999) российский ученый в области информатики. Стоял у истоков зарождения отечественного программирования, возглавлял отдел систем математического обеспечения ВЦ РАН с основания ВЦ в 1955 году по 1966 год и… … Википедия
Владимир Михайлович Курочкин — (1926 1999) российский ученый в области информатики. Стоял у истоков зарождения отечественного программирования, возглавлял отдел систем математического обеспечения ВЦ РАН с основания ВЦ в 1955 году по 1966 год и затем с 1971 года по 1991 год. В … Википедия
Курочкин Владимир Михайлович — Владимир Михайлович Курочкин (1926 1999) российский ученый в области информатики. Стоял у истоков зарождения отечественного программирования, возглавлял отдел систем математического обеспечения ВЦ РАН с основания ВЦ в 1955 году по 1966 год и… … Википедия
