Написал рецензию в тусовке литература
0
0 7 Октября Ответить
Написал рецензию в тусовке кино
0
0 4 Сентября Ответить
Написал рецензию в тусовке
1
0 1 Ноября 2017 Ответить
Написал рецензию в тусовке литература
0
0 25 Июня 2017 Ответить
Написал рецензию в тусовке литература
0
0 24 Июня 2017 Ответить
Для быстрого поиска начните вводить запрос
Основания языков программирования
от 993 руб.

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

0.0
Ваша оценка 0.0 Отменить оценку
  • Год выхода
    2010
  • Издательства
    Регулярная и хаотическая динамика
Персоны
Рецензии (0)
Авторизуйтесь чтобы писать рецензии. Все рецензии
Комментарии (0)
Авторизуйтесь чтобы оставлять комментарии.

Поделитесь с друзьями