Спойлер: Характеристики Foundations for Programming Languages Автор: Дж. Митчелл Переводчики: П. Айткулов, Д. Котегов Редактор: Николай Непейвода Язык: Русский Издательство: НИЦ "Регулярная и хаотическая динамика" ISBN: 978-5-93972-757-0; 2010 г. Страниц:720 стр. Формат: 70x100/16 (167x236 мм) Переплет: Твердый переплет Спойлер: Описание издательства Книга "Основы языков программирования" написана для студентов старших курсов и аспирантов. В ней используется серия типизированных лямбда-исчислений для изучения аксиоматической, операциональной и денотационной семантики последовательностных языков программирования. По ходу книги происходит постепенное достраивание лямбда-исчисления всё более сложными системами типов. Отличительной чертой данной книги по сравнению с другими работами по данной теме является то, что в ней содержится материал по универсальной алгебре и алгебраическим типам данных, императивным языкам и Флойд-хоаровской логике, а в последних главах рассматриваются полиморфные типы, модули, подтипы и объектно-ориентированные понятия, а также вывод типов. Книга предназначена прежде всего для изучающих математику, но благодаря включению соответствующих вопросов и примеров материал книги доступен и студентам, специализирующимся по системам программного обеспечения, теории вычислительных систем или математической логике. Книга может использоваться в качестве справочника специалистами, занимающимися языками программирования, проверкой и аттестацией компьютерных программ и программированием, в том числе теми, кто работает с программными модулями или занимается объектно-ориентированным программированием.
Похожие складчины: Открыто - Программирование и алгоритмизация (304 стр.) 2010 Доступно - Функциональное и логическое программирование (320 стр.) 2010 Доступно - Электронный архив публикаций журнала «Защита информации. Инсайд» за 2010-2017 годы Доступно - Журнал "Потенциал.Математика.Физика.Информатика" (2005-2010) Открыто - Комментарий ICC к Инкотермс 2010. Понимание и практическое применение
книга очень специфическая, для очень узкой категории программистов, мне кажется, что перенос сбора не решит проблему. Тут много людей не собирем, лично я в переносе смысла не вижу.
2kaasnake Будет время - организуйте, плиз, и соседнюю тему. Там всего 134 страницы. http://skladchik.com/threads/Класси...ию-языков-программирования-134-стр-2013.9194/
Дело не во времени Ограничение на 3 одновременных складчины. Если никто не возьмется, тогда по завершении текущих складчин возьмусь и за ту