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