Refine your search
Availability
-
Bibliographic level
- Книги (6)
-
Authors
- Болтянский, Владимир Григорьевич (1)
- Гудстейн, Рейбен Луис (1)
- Клини, Стивен Коул (1)
- Менделеев, Иван Дмитриевич (1)
- Николенко, Сергей Игоревич (1)
- Савин, Анатолий Павлович (1)
- Сироткин, Александр Владимирович (1)
- Тулупьев, Александр Львович (1)
- Успенский, Владимир Андреевич (1)
- Черч, Алонзо (1)
- Юсупов, Рафаэль Мидхатович (1)
- Яновская, Софья Александровна (1)
- Show more
- Show less
-
Locations
- Книгохранилище (5)
- Читальный зал 5 (1)
- Книгохранилище-11 (1)
- Читальный зал. Депозитарий (1)
-
Item types
- Выдается в читальный зал (6)
- 1 неделя (1)
- 1 месяц (1)
-
Topics
- непротиворечивость (математическая логика) (6)
- математическая логика (4)
- Геделя теорема о полноте (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)
- графы (1)
- графы ориентированные (1)
- графы цепные (1)
- группы коммутативные (1)
- дизъюнкция (1)
- дискретная математика (1)
- дисперсия (1)
- задачи на взвешивание (1)
- задачи нестандартные, поиск решения (1)
- закон больших чисел (1)
- знаний фрагменты (1)
- знания экспертов, декомпозиция (1)
- игры позиционные конечные (1)
- изоморфизм (1)
- изоморфизм моделей (1)
- инсайт (1)
- интуиционизм (основания математики) (1)
- информация (1)
- Show more
- Show less