Вид документа : Однотомное издание Шифр издания : 22.12 Автор(ы) : Бирюков Б. В. Заглавие : Жар холодных чисел и пафос бесстрастной логики : формализация мышления от античных времен до эпохи кибернетики . -2-е изд., перераб. и доп. Выходные данные : Москва: Знание, 1985 Колич.характеристики :192 с. Серия: Наука и прогресс Цена : 0.35 р. ББК : 22.12 Предметные рубрики: Математика-- Математическая логика Ключевые слова (''Своб.индексиров.''): кибернетика--концепция брауэра--логика--математическая логика--теоремы геделя--теории действенных чисел--формулы--эвм Аннотация: Цель книги доктора философских наук Б. В. Бирюкова - создать общую картину подготовки и развития логико-математических аспектов кибернетики. Автор рассказывает о длительном развитии науки логики, возникшей еще в Древней Греции, прослеживает непрерывающуюся нить преемственности, тянущуюся от Аристотеля к "чуду ХХ века" - быстродействующим кибернетическим устройствам. Держатели документа: Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова)