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
    22.48 £ 17.99 £
    16.35 £ sin IVA
  • Mitchell David
    Año de publicación: 2022
    Tapa dura
    18.32 £ 14.66 £
    13.32 £ sin IVA
  • Mitchell David
    Año de publicación: 2024
    Encuadernación en rústica
    8.33 £
    7.57 £ sin IVA
  • Mitchell David
    Año de publicación: 2024
    Tapa dura
    17.49 £
    15.90 £ sin IVA
  • Mitchell David
    Año de publicación: 2024
    Tapa dura
    17.49 £
    15.90 £ sin IVA
  • Mitchell David
    Año de publicación: 2024
    Encuadernación en rústica
    9.99 £
    9.08 £ sin IVA
  • Mitchell David
    Año de publicación: 2023
    Encuadernación en rústica
    8.33 £
    7.57 £ sin IVA
  • Mitchell David
    Año de publicación: 2023
    Encuadernación en rústica
    8.33 £
    7.57 £ sin IVA
  • Mitchell David
    Año de publicación: 2023
    Encuadernación en rústica
    8.33 £
    7.57 £ sin IVA
  • Mitchell David
    Año de publicación: 2022
    Tapa dura
    13.32 £
    12.11 £ sin IVA