Дж. Митчелл Основания языков программирования

27.03.2018 Дж. Митчелл Основания языков программирования 4 Comments

Дж. Митчелл Основания языков программирования

Сказали спасибо: 49

Рейтинг файла: 62

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

Еще по теме

4 комментариев Дж. Митчелл Основания языков программирования

  1. ana354506.04.2018 at 01:53

    Притом сон, знаете ли, как наяву.

    Ответить
  2. back2ffm09.04.2018 at 17:32

    Вы не правы. Предлагаю это обсудить.

    Ответить
  3. babyvoodoo17.04.2018 at 03:54

    Очень полновесная вещь много настроек

    Ответить
  4. angi_champion19.04.2018 at 01:40

    Примите благодарность!

    Ответить
1 2 »