Refine your search
Availability
-
Bibliographic level
- Книги (21)
- Статьи из сериальных изданий (2)
-
Authors
- Зюзьков, Валентин Михайлович (2)
- Игошин, Владимир Иванович (2)
- Родин, Кирилл Александрович (2)
- Адян, Сергей Иванович (1)
- Арбиб, Майкл А (1)
- Бернайс, Пауль (1)
- Борисов, Алексей Владимирович (1)
- Вершик, Анатолий Моисеевич (1)
- Герасимов, Александр Сергеевич (1)
- Гильберт, Давид (1)
- Доксиадис, Апостолос (1)
- Драгалин, Альберт Григорьевич (1)
- Дубровский, Давид Израилевич (1)
- Ершов, Юрий Леонидович (1)
- Ивахненко, Алексей Григорьевич (1)
- Колмогоров, Андрей Николаевич (1)
- Кратко, М. И. (1)
- Лекторский, Владислав Александрович (1)
- Минц, Г. Е. (1)
- Нагель, Эрнест (1)
- Ньюмен, Джеймс Рой (1)
- Овчинникова, Елена Викторовна (1)
- Палютин, Евгений Андреевич (1)
- Паршин, Алексей Николаевич (1)
- Подниекс, Карлис Мартынович (1)
- Рюэль, Давид (1)
- Сарданашвили, Геннадий Александрович (1)
- Серовайский, Семен Яковлевич (1)
- Судоплатов, Сергей Владимирович (1)
- Шиханович, Юрий Александрович (1)
- Show more
- Show less
-
Locations
-
Item types
- Выдается в читальный зал (11)
- Выдается по месту хранения (7)
- 1 неделя (4)
- 1 месяц (3)
- 6 месяцев (3)
-
Topics
- Геделя теорема о неполноте (21)
- Тьюринга машины (7)
- исчисление высказываний (7)
- исчисление предикатов (7)
- математическая логика (7)
- Гедель, Курт (4)
- учебные пособия для вузов (4)
- функции рекурсивные (4)
- Маркова алгоритмы нормальные (3)
- алгоритмов теория (3)
- алгоритмы (3)
- история математики (3)
- логика предикатов (3)
- логико-математические языки (3)
- теория алгоритмов (3)
- учебные издания для вузов (3)
- элементарная арифметика (3)
- NP-полнота (2)
- NP-полные массовые проблемы (2)
- Витгенштейн, Людвиг (2)
- Гильберта десятая проблема (2)
- Гильберта программа обоснования математики (2)
- Евклида алгоритм (2)
- Тарского теорема (2)
- Черча нумералы (2)
- Черча тезис (2)
- аксиоматика (2)
- алгоритмическая сложность математических теорий разрешимых (2)
- алгоритмически неразрешимые проблемы массовые (2)
- алгоритмические проблемы математики (2)
- алгоритмические проблемы математической логики (2)
- алгоритмические проблемы неразрешимые (2)
- алгоритмические проблемы разрешимые частично (2)
- алгоритмы универсальные (2)
- вероятностей теория (2)
- вычислимость (2)
- доказуемость (2)
- искусственный интеллект (2)
- конечные автоматы (2)
- логический формализм (2)
- теория доказательств (2)
- теория моделей (2)
- философия математики (2)
- 20 век (1)
- p-адический континуум (1)
- Адамара теорема (1)
- Аракелова теория (1)
- Аристотеля научная картина мира (1)
- Бахтин, Михаил Михайлович (1)
- Бог (философия), гипотеза как универсальная структура (1)
- Show more
- Show less
-
Collections