1. Книги
  2. Формальные науки
  3. Компьютеры
  4. Основания языков программирования

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

Основания языков программирования
Оригинальное название
Foundations for Programming Languages
Автор(ы)
Язык
Размер
240/170 mm
Год выхода
Оформление
Количество страниц
720
ISBN
978-5-93972-757-0
 
Нет в нашем ассортименте.
Сообщить о поступлении Добавить в избранное
Книга "Основы языков программирования" написана для студентов старших курсов и аспирантов. В ней используется серия типизированных лямбда-исчислений для изучения аксиоматической, операциональной и денотационной семантики последовательностных языков программирования. По ходу книги происходит постепенное достраивание лямбда-исчисления всё более сложными системами типов. Отличительной чертой данной книги по сравнению с другими работами по данной теме является то, что в ней содержится материал по универсальной алгебре и алгебраическим типам данных, императивным языкам и Флойд-хоаровской логике, а в последних главах рассматриваются полиморфные типы, модули, подтипы и объектно-ориентированные понятия, а также вывод типов. Книга предназначена прежде всего для изучающих математику, но благодаря включению соответствующих вопросов и примеров материал книги доступен и студентам, специализирующимся по системам программного обеспечения, теории вычислительных систем или математической...
Kniga "Osnovy jazykov programmirovanija" napisana dlja studentov starshikh kursov i aspirantov. V nej ispolzuetsja serija tipizirovannykh ljambda-ischislenij dlja izuchenija aksiomaticheskoj, operatsionalnoj i denotatsionnoj semantiki posledovatelnostnykh jazykov programmirovanija. Po khodu knigi proiskhodit postepennoe dostraivanie ljambda-ischislenija vsjo bolee slozhnymi sistemami tipov. Otlichitelnoj chertoj dannoj knigi po sravneniju s drugimi rabotami po dannoj teme javljaetsja to, chto v nej soderzhitsja material po universalnoj algebre i algebraicheskim tipam dannykh, imperativnym jazykam i Flojd-khoarovskoj logike, a v poslednikh glavakh rassmatrivajutsja polimorfnye tipy, moduli, podtipy i obektno-orientirovannye ponjatija, a takzhe vyvod tipov. Kniga prednaznachena prezhde vsego dlja izuchajuschikh matematiku, no blagodarja vkljucheniju sootvetstvujuschikh voprosov i primerov material knigi dostupen i studentam, spetsializirujuschimsja po sistemam programmnogo obespechenija, teorii vychislitelnykh sistem ili matematicheskoj...
Категория
EAN
9785939727570
Похожие товары
  • Митчелл Дэвид
    Год выхода: 2022
    Твердый переплет
    22.60 £ 18.08 £
    16.43 £ без НДС
  • Митчелл Дэвид
    Год выхода: 2022
    Твердый переплет
    18.41 £ 14.73 £
    13.39 £ без НДС
  • Митчелл Дэвид
    Год выхода: 2024
    Мягкая обложка
    8.37 £
    7.61 £ без НДС
  • Митчелл Дэвид
    Год выхода: 2024
    Твердый переплет
    17.57 £
    15.98 £ без НДС
  • Митчелл Дэвид
    Год выхода: 2024
    Твердый переплет
    17.57 £
    15.98 £ без НДС
  • Митчелл Дэвид
    Год выхода: 2024
    Мягкая обложка
    10.04 £
    9.13 £ без НДС
  • Митчелл Дэвид
    Год выхода: 2023
    Мягкая обложка
    8.37 £
    7.61 £ без НДС
  • Митчелл Дэвид
    Год выхода: 2023
    Мягкая обложка
    8.37 £
    7.61 £ без НДС
  • Митчелл Дэвид
    Год выхода: 2023
    Мягкая обложка
    8.37 £
    7.61 £ без НДС
  • Митчелл Дэвид
    Год выхода: 2022
    Твердый переплет
    13.39 £
    12.17 £ без НДС