Основания языков программирования (720 стр.) 2010 Спойлер: Характеристики Foundations for Programming Languages Автор: Дж. Митчелл Переводчики: П. Айткулов, Д. Котегов Редактор: Николай Непейвода Язык: Русский Издательство: НИЦ "Регулярная и хаотическая динамика" ISBN: 978-5-93972-757-0; 2010 г. Страниц:720 стр. Формат: 70x100/16 (167x236 мм) Переплет: Твердый переплет Спойлер: Описание издательства Книга "Основы языков программирования" написана для студентов старших курсов и аспирантов. В ней используется серия типизированных лямбда-исчислений для изучения аксиоматической, операциональной и денотационной семантики последовательностных языков программирования. По ходу книги происходит постепенное достраивание лямбда-исчисления всё более сложными системами типов. Отличительной чертой данной книги по сравнению с другими работами по данной теме является то, что в ней содержится материал по универсальной алгебре и алгебраическим типам данных, императивным языкам и Флойд-хоаровской логике, а в последних главах рассматриваются полиморфные типы, модули, подтипы и объектно-ориентированные понятия, а также вывод типов. Книга предназначена прежде всего для изучающих математику, но благодаря включению соответствующих вопросов и примеров материал книги доступен и студентам, специализирующимся по системам программного обеспечения, теории вычислительных систем или математической логике. Книга может использоваться в качестве справочника специалистами, занимающимися языками программирования, проверкой и аттестацией компьютерных программ и программированием, в том числе теми, кто работает с программными модулями или занимается объектно-ориентированным программированием.
Похожие складчины Доступно - GPT менеджерам. 720 промптов повышающих производительность в 1000 раз [Вячеслав Мустакимов] Открыто - Программирование и алгоритмизация (304 стр.) 2010 Доступно - Функциональное и логическое программирование (320 стр.) 2010 Доступно - Книга: Слово пацана. Криминальный Татарстан 1970–2010-х [Роберт Гараев] Доступно - Электронный архив публикаций журнала «Защита информации. Инсайд» за 2010-2017 годы
книга очень специфическая, для очень узкой категории программистов, мне кажется, что перенос сбора не решит проблему. Тут много людей не собирем, лично я в переносе смысла не вижу.