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