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