Name: Основания языков программирования
Brand: Удмуртский государственный университет (УдГУ)
SKU: 619451
Availability: OutOfStock

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

недоступно к заказу

Добавить в лист ожидания

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

Артикул

619451

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

Удмуртский государственный университет (УдГУ)

Тип обложки

твердый переплет

Автор

Митчелл Дж.

Штрих код

9785939727570

Год

2010

Страниц

720

Вес

1180 гр.

Импортер

ООО «Абрис-Бел». 220112, РБ, г. Минск, ул. Cырокомли 7-167

Изготовитель

АНО "Институт Компьютерных Исследований", 426034, республика Удмуртская, город Ижевск, Университетская улица, 1