Основания языков программирования
Аннотация
Книга «Основания языков программирования» написана для студентов старших курсов и аспирантов. В ней используется серия типизированных лямбда-исчислений для изучения аксиоматической, операциональной и денотационной семантики последовательностных языков программирования. По ходу книги происходит постепенное достраивание лямбда-исчисления всё более сложными системами типов. Отличительной чертой данной книги по сравнению с другими работами по данной теме является то, что в ней содержится материал по универсальной алгебре и алгебраическим типам данных, императивным языкам и Флойд-хоаровской логике, а в последних главах рассматриваются полиморфные типы, модули, подтипы и объектно-ориентированные понятия, а также вывод типов. Книга предназначена прежде всего для изучающих математику, но благодаря включению соответствующих вопросов и примеров материал книги доступен и студентам, специализирующимся по системам программного обеспечения, теории вычислительных систем или математической логике.
Описание
Авторы
Составители/Переводчики
Год
2010
Journal Title
Journal ISSN
Volume Title
Издательство
Регулярная и хаотическая динамика
Ключевые слова
Коллекции
| dc.contributor.author | Митчелл, Джон | |
| dc.contributor.editor | Непейвода, Н. Н. | |
| dc.contributor.other | Котегов, Д. Ю. | |
| dc.contributor.other | Айткулов, П. Г. | |
| dc.date.accessioned | 2022-05-31T06:03:17Z | |
| dc.date.available | 2022-05-31T06:03:17Z | |
| dc.date.issued | 2010 | |
| dc.description.abstract | Книга «Основания языков программирования» написана для студентов старших курсов и аспирантов. В ней используется серия типизированных лямбда-исчислений для изучения аксиоматической, операциональной и денотационной семантики последовательностных языков программирования. По ходу книги происходит постепенное достраивание лямбда-исчисления всё более сложными системами типов. Отличительной чертой данной книги по сравнению с другими работами по данной теме является то, что в ней содержится материал по универсальной алгебре и алгебраическим типам данных, императивным языкам и Флойд-хоаровской логике, а в последних главах рассматриваются полиморфные типы, модули, подтипы и объектно-ориентированные понятия, а также вывод типов. Книга предназначена прежде всего для изучающих математику, но благодаря включению соответствующих вопросов и примеров материал книги доступен и студентам, специализирующимся по системам программного обеспечения, теории вычислительных систем или математической логике. | ru_RU |
| dc.identifier.citation | Митчелл, Джон. Основания языков программирования / Дж. Митчелл ; пер. с англ. П. Г. Айткулова и Д. Ю. Котегова ; под науч. ред. Н. Н. Непейводы. - Москва ; Ижевск : Регулярная и хаотическая динамика, 2010. - 718, [1] с. : ил. | ru_RU |
| dc.identifier.other | arhiv_book_14399 | |
| dc.identifier.uri | http://eanbur.unatlib.ru/handle/123456789/28461 | |
| dc.language.iso | ru | ru_RU |
| dc.publisher | Регулярная и хаотическая динамика | ru_RU |
| dc.subject | радиоэлектроника | ru_RU |
| dc.subject | языки программирования | ru_RU |
| dc.subject | программирование | ru_RU |
| dc.title | Основания языков программирования | ru_RU |
| dc.type | Book | ru_RU |