Прибыль можно копировать! Дешевые доменные имена! Карта сайта Корзина В корзине: 0 товаров
На сумму: 0 руб.

Основания языков программирования

Дж. Митчелл. Основания языков программирования Авторы:Дж. Митчелл.
Издательство:НИЦ "Регулярная и хаотическая динамика"
Год издания:2010
Серия:
Страниц:720
Размеры:70x100/16
Цена:1933 руб.
Купить

Аннотация к книге:
Книга "Основы языков программирования" написана для студентов старших курсов и аспирантов. В ней используется серия типизированных лямбда-исчислений для изучения аксиоматической, операциональной и денотационной семантики последовательностных языков программирования. По ходу книги происходит постепенное достраивание лямбда-исчисления всё более сложными системами типов. Отличительной чертой данной книги по сравнению с другими работами по данной теме является то, что в ней содержится материал по универсальной алгебре и алгебраическим типам данных, императивным языкам и Флойд-хоаровской логике, а в последних главах рассматриваются полиморфные типы, модули, подтипы и объектно-ориентированные понятия, а также вывод типов. Книга предназначена прежде всего для изучающих математику, но благодаря включению соответствующих вопросов и примеров материал книги доступен и студентам, специализирующимся по системам программного обеспечения, теории вычислительных систем или математической...

Заказывают также