Электронный каталог

Книга
С14 Б-649

Бирюков, Борис Владимирович.
Жар холодных числ и пафос бесстрастной логики: Формализация мышления от античных времен до эпохи кибернетики / Борис Владимирович Бирюков, Виктор Николаевич Тростников. – 3-е изд., перераб. и доп. – М. : Эдиториал УРСС, 2004. – 228 с. : ил. – URL: http://edurss.ru/cgi-bin/db.pl?cp=&page=Book&id=12801&lang=Ru&blang=ru&list=Found. – Библиогр. в примеч. – ISBN 5-354-00310-5.

С14 + 16


Индексный (книги) = С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ
Индексный (книги) = 16 - Логика
Ключевых слов = логика Аристотеля
Ключевых слов = логика
Ключевых слов = теорема Гёделя
Ключевых слов = математическая логика
Ключевых слов = кибернетика
Ключевых слов = информатика
Ключевых слов = финитизм
Ключевых слов = булевы алгебры
Ключевых слов = рациональное познание
Ключевых слов = машина Тьюринга
Ключевых слов = алгоритмизация
Ключевых слов = мышление