От абака к цифровой революции

Эта грамматика подробным образом изучается применительно к методам компиляции. Существует и четвертый тип семантики — денотационная, которая была разработана в Оксфордском университете американцами Даной Скоттом и британцем Кристофером Стрэчи в начале 1970-х. В денотационной семантике каждой программе присваивается значение, называемое денотацией (denotation), выраженное в терминах математических объектов. Денотация, как правило, является функцией, сопоставляющей входные и выходные значения программы. Проводились исследования систем для генерации компиляторов на основе денотационной семантики языка, однако на данный момент подобные системы являются крайне неэффективными.

Теория вычислительных систем далека от того момента, когда найдут применение все ранее полученные результаты и будут объединены ранее созданные теории. Напротив, эволюция вычислительных систем продолжается, и она как никогда связана с развитием технологий, дающих нам возможности, о которых раньше нельзя было и мечтать. Языки программирования управляют не только нашими компьютерами, но и телевизорами, мобильными телефонами и даже простейшей бытовой техникой. Мы вновь совершаем первые шаги в новый мир. Как вы увидели, современный облик нашего мира сформировался не случайно, а в результате упорного труда человека. Тем не менее настоящее — лишь эпизод по дороге к непредсказуемому, но, вне всяких сомнений, удивительному будущему.

Библиография

Al-KHWARIZMI, М. IbN Musa, El libro del algebra, Madrid, Nivola, 2009.

BENTLEY, P. J., El libro de las cifras, Barcelona, Paidos, 2008.

BOYER, C., Historia de la matematica, Madrid, Alianza, 1996.

CoELLO, C. A., Breve historia de la computation у sus pioneros, Mexico, Fondo de Cultura Economica, 2003.

Ifrah, G., Historia universal de las cifras, Madrid, Espasa-Calpe, 2002.

SMITH, D. E., History of Mathematics, Nueva York, Dover Publications, obra de 1921 reeditada en 1951.

* * *

_{Научно-популярное издание}

_{Выходит в свет отдельными томами с 2014 года}

_{Мир математики}

_{Том 15}

_{Бизенц Торра}

_{От абака к цифровой революции. Алгоритмы и вычисления}

_РОССИЯ

_{Издатель, учредитель, редакция:}

_{ООО «Де Агостини», Россия}

_{Юридический адрес:} 

_{Россия, 105066, г. Москва, ул. Александра Лукьянова, д. 3, стр. 1}

_{Письма читателей по данному адресу не принимаются.}

_{Генеральный директор: Николаос Скилакис}

_{Главный редактор: Анастасия Жаркова}

_{Выпускающий редактор: Людмила Виноградова}

_{Финансовый директор: Наталия Василенко}

_{Коммерческий директор: Александр Якутов}

_{Менеджер по маркетингу: Михаил Ткачук}

_{Менеджер по продукту: Яна Чухиль}

_{Для заказа пропущенных книг и по всем вопросам, касающимся информации о коллекции, заходите на сайт www.deagostini.ru, по остальным вопросам обращайтесь по телефону бесплатной горячей линии в России:}

_{8-800-200-02-01}

_{Телефон горячей линии для читателей Москвы:}

_{8-495-660-02-02}

_{Адрес для писем читателей: Россия, 105066, г. Москва, а/я 13, «Де Агостини», «Мир математики»}

_{Пожалуйста, указывайте в письмах свои контактные данные для обратной связи (телефон или e-mail).}

_{Распространение: ООО «Бурда Дистрибьюшен Сервисиз»}

_{УКРАИНА}

_{Издатель и учредитель:}

_{ООО «Де Агостини Паблишинг» Украина}

_{Юридический адрес:} 

_{01032, Украина, г. Киев, ул. Саксаганского, 119}

_{Генеральный директор: Екатерина Клименко}

_{Для заказа пропущенных книг и по всем вопросам, касающимся информации о коллекции, заходите на сайт www.deagostini.ua, по остальным вопросам обращайтесь по телефону бесплатной горячей линии в Украине:}

_{0-800-500-8-40}