1. Книги
  2. Художественная литература
  3. Проза
Код товара: 5204868
Основания языков программирования #1
−15%

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

Тип книги:
ISBN
978-5-93972-757-0
Год выпуска
2010
Издательство
Регулярная и хаотическая динамика
Язык издания
Русский
Формат издания
70x100/16
Перейти к описанию

О книге

Книга "Основы языков программирования" написана для студентов старших курсов и аспирантов. В ней используется серия типизированных лямбда-исчислений для изучения аксиоматической, операциональной и ден
Товар не доставляется в ваш город
 
Доставка недоступна
OZON Россия
Продавец
  • Безопасная оплата онлайн
  • Возврат 7 дней

Описание

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

Книга может использоваться в качестве справочника специалистами, занимающимися языками программирования, проверкой и аттестацией компьютерных программ и программированием, в том числе теми, кто работает с программными модулями или занимается объектно-ориентированным программированием.
Артикул
5204868
ISBN
978-5-93972-757-0
Год выпуска
2010
Издательство
Регулярная и хаотическая динамика
Язык издания
Русский
Формат издания
70x100/16
Оригинальное название
Foundations for Programming Languages
Количество страниц
720
Тип книги
Печатная книга
Автор на обложке
Дж. Митчелл
Тип обложки
Твердый переплет
Информация о технических характеристиках, комплекте поставки, стране изготовления, внешнем виде и цвете товара носит справочный характер и основывается на последних доступных к моменту публикации сведениях

Издательства

  • Регулярная и хаотическая динамика Издательство
Отзывы о товаре 0 Основания языков программирования
Нет оценок

Вопросы и ответы 0

Как правильно задавать вопросы?

Будьте вежливы и спрашивайте о товаре, на карточке которого вы находитесь

Если вы обнаружили ошибку в описанием товара, воспользуйтесь функцией

Как отвечать на вопросы?

Отвечать на вопросы могут клиенты, купившие товар, и официальные представители.

Выбрать «Лучший ответ» может только автор вопроса, если именно этот ответ ему помог.