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