1. Libros
  2. Ciencias formales
  3. Informática
  4. Osnovanija jazykov programmirovanija

Osnovanija jazykov programmirovanija

Основания языков программирования
Osnovanija jazykov programmirovanija
Título original
Foundations for Programming Languages
Autor(s)
Idioma
Mediciones
240/170 mm
Año de publicación
Formato
Páginas
720
ISBN
978-5-93972-757-0
 
Producto no disponible
Notificar cuando disponible Agregar a los favoritos
Книга "Основы языков программирования" написана для студентов старших курсов и аспирантов. В ней используется серия типизированных лямбда-исчислений для изучения аксиоматической, операциональной и денотационной семантики последовательностных языков программирования. По ходу книги происходит постепенное достраивание лямбда-исчисления всё более сложными системами типов. Отличительной чертой данной книги по сравнению с другими работами по данной теме является то, что в ней содержится материал по универсальной алгебре и алгебраическим типам данных, императивным языкам и Флойд-хоаровской логике, а в последних главах рассматриваются полиморфные типы, модули, подтипы и объектно-ориентированные понятия, а также вывод типов. Книга предназначена прежде всего для изучающих математику, но благодаря включению соответствующих вопросов и примеров материал книги доступен и студентам, специализирующимся по системам программного обеспечения, теории вычислительных систем или математической...
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...
Categoría
EAN
9785939727570
Clasificación de la biblioteca BIC:
U
Productos similares
  • Mitchell David
    Año de publicación: 2022
    Tapa dura
    27.00 € 21.60 €
    19.64 € sin IVA
  • Mitchell David
    Año de publicación: 2022
    Tapa dura
    22.00 € 17.60 €
    16.00 € sin IVA
  • Mitchell David
    Año de publicación: 2024
    Encuadernación en rústica
    10.00 €
    9.09 € sin IVA
  • Mitchell David
    Año de publicación: 2024
    Tapa dura
    21.00 €
    19.09 € sin IVA
  • Mitchell David
    Año de publicación: 2024
    Tapa dura
    21.00 €
    19.09 € sin IVA
  • Mitchell David
    Año de publicación: 2024
    Encuadernación en rústica
    12.00 €
    10.91 € sin IVA
  • Mitchell David
    Año de publicación: 2023
    Encuadernación en rústica
    10.00 €
    9.09 € sin IVA
  • Mitchell David
    Año de publicación: 2023
    Encuadernación en rústica
    10.00 €
    9.09 € sin IVA
  • Mitchell David
    Año de publicación: 2023
    Encuadernación en rústica
    10.00 €
    9.09 € sin IVA
  • Mitchell David
    Año de publicación: 2022
    Tapa dura
    16.00 €
    14.55 € sin IVA