Refine your search
Availability
-
Bibliographic level
- Книги (26)
- Статьи из сериальных изданий (1)
-
Authors
- Драгалин, Альберт Григорьевич (5)
- Ершов, Юрий Леонидович (4)
- Колмогоров, Андрей Николаевич (4)
- Палютин, Евгений Андреевич (4)
- Андерсон, Джеймс А. (2)
- Бочаров, Вячеслав Александрович (2)
- Верещагин, Николай Константинович (2)
- Клини, Стивен Коул (2)
- Минц, Г. Е. (2)
- Плиско, Валерий Егорович (2)
- Саит-Аметов, М. Р. (2)
- Соболева, Татьяна Сергеевна (2)
- Успенский, Владимир Андреевич (2)
- Чечкин, Александр Витальевич (2)
- Шкильняк, С. С. (2)
- Wille, Matthias (1)
- Адян, С. И. (1)
- Белкин, Рафаил Самуилович (1)
- Брюшинкин, Владимир Никифорович (1)
- Бурыка (1)
- Винберг, Абрам Ильич (1)
- Войшвилло, Евгений Казимирович (1)
- Гладких, Юрий Григорьевич (1)
- Дорохов, Василий Яковлевич (1)
- Егорова, Е. В. (1)
- Жогин, Николай Венедиктович (1)
- Карпенко, Александр Степанович (1)
- Седов, Юрий Григорьевич (1)
- Смирнов, Владимир Александрович (1)
- Тимофеева, Ирина Леонидовна (1)
- Ходикова, Нина Анатольевна (1)
- Шалак, В. И. (1)
- Show more
- Show less
-
Locations
- Книгохранилище (17)
- Читальный зал 5 (7)
- Абонемент. Депозитарий (7)
- Абонемент (3)
- Читальный зал 4 (2)
- Библиотека РФФ (2)
- Читальный зал. Депозитарий (2)
- Читальный зал 3 (1)
- Немецкий читальный зал (1)
- Show more
- Show less
-
Item types
- Выдается в читальный зал (17)
- 6 месяцев (9)
- 1 месяц (8)
- 1 неделя (7)
- Выдается по месту хранения (5)
-
Topics
- теория доказательств (26)
- математическая логика (14)
- исчисление предикатов (13)
- учебные пособия для вузов (11)
- теория алгоритмов (10)
- исчисление высказываний (9)
- логика высказываний (9)
- теория множеств (8)
- Тьюринга машины (6)
- теория моделей (6)
- логика предикатов (5)
- рекурсивные функции (5)
- Геделя теорема о полноте (4)
- Математическая логика - Учебники и пособия (4)
- Черча тезис (4)
- алгоритмы (4)
- множеств теория (4)
- множества счетные (4)
- Геделя теорема (3)
- Гильберта программа обоснования математики (3)
- алгебраические системы (3)
- доказательства (3)
- Байеса теорема (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)
- Эрбрана теорема для непредваренных формул (2)
- автоморфизмы (2)
- аксиоматическая теория множеств (2)
- Show more
- Show less
-
Places
- ЭБС Юрайт (1)