Языки программирования от Фортрана и Кобола до Caml и Java играют ключевую роль в управлении сложными компьютерными системами. Книга "Введение в теорию языков программирования" представляет читателю средства, необходимые для проектирования и реализации подобных языков. В ней предлагается единый подход к различным формализмам для определения языков программирования — операционной и денотационной семантике.
Особое внимание при этом уделяется способам задания отношений между тремя объектами: программой, входным значением и результатом. Эти формализмы демонстрируются на примере таких типичных элементов языков программирования, как функции, рекурсия, присваивание, записи и объекты. При этом показывается, что теория языков программирования состоит не в последовательном изучении самих языков один за другим, а строится вокруг механизмов, входящих в раз ... Читать дальше »

Очевидно, что тема мозга находится сегодня на пике популярности, а любой мотив человеческого поведения можно очень убедительно объяснить с точки зрения нейронных связей. Эта книга - критическое эссе о повальном увлечении наукой о мозге в качестве универсального объяснения любых поступков человека. При всей серьезности проблемы Салли Сэйтл и Скотт Лилиенфельд написали книгу чрезвычайно увлекательную: они рассказывают много интересного о нейронауках, и о том, чем поп-культура пытается их заменить. Также книга выходит под названием "Вынос мозга. Чарующее обаяние бездумной нейронауки". Сегодня популярная нейронаука процветает, а идеи со скандальной подоплекой подхватываются и доводятся до абсурда. По большей части они "упаковывают" старые добрые советы в обертку нейробиологических открытий, ничего не добавляя по существу. Авторы книги отвечают на главный ... Читать дальше »

Эжен-Эммануэль Виолле-ле-Дюк (1814-1879) принадлежит к числу наиболее известных французских историков искусства и архитектуры. Архитектор и инженер, реставратор и педагог, историк и публицист, он снискал себе славу неустанной деятельностью в области обследования, консервации и реставрации архитектурных памятников Средневековья. Для Виолле-ле-Дюка архитектурное здание - это целостный организм, внешние формы которого являются естественным отражением его внутреннего устройства, которое, в свою очередь, в идеале стремится к решению поставленной практической задачи наиболее простым и рациональным способом. Уроки, которые он пытается извлечь из опыта средневекового искусства, прямо предвосхищают архитектурную теорию и практику последующей эпохи модерна, на которую он оказал существенное влияние. «В произведении, которое мы представляем на суд читателя, мы п ... Читать дальше »