| Найдено документов - 1 | Выборка документов | Версия для печати |
Сортировать по:
1. Книга
Полочный шифр: 15г - Б 649
Бирюков, Б. В.
Жар холодных чисел и пафос бесстрастной логики: Формализация мышления от античных времен до эпохи кибернетики / Б. В. Бирюков. — 2-е изд., перераб. и доп. — Москва : Знание, 1985. — 192 с. — (Наука и прогресс). — Текст : непосредственный.
Жар холодных чисел и пафос бесстрастной логики: Формализация мышления от античных времен до эпохи кибернетики / Б. В. Бирюков. — 2-е изд., перераб. и доп. — Москва : Знание, 1985. — 192 с. — (Наука и прогресс). — Текст : непосредственный.
Экземпляры: Всего: 1, из них: аб.-1 в наличии 1
Подробнее
Авторы: Бирюков Б. В.
Отраслевые рубрики: кибернетика
Ключевые слова: булева алгебра, доказательство, древний мир, Древняя Греция, искусственный интеллект, история кибернетики, история философии, логика, математическая логика, методология философии, механизация рассуждения, мышление, новейшее время, новое время, познание, рассуждения, силлогизмы, силлогистика, символическая логика, средние века, средства познания, схоластика, технические науки, умозаключение, философия техники, философские науки, формальная логика, ЭВМ
Персоналии: Аристотель, Брауэр Лейтзен Эгберт Ян, Буль Джордж, Гильберт Давид, Лейбниц Готфрид Вильгельм, Луллий Раймунд, Сократ
Индексы ББК: 15г, 87.251, 87.3(0)
Переиздания: RU/IS/BASE/201375091
Представления: Формат MARC21