Refine your search
Availability
- Showing only available items
- Show all items
-
Bibliographic level
- Книги (27)
-
Authors
- Гринченков, Дмитрий Валерьевич (2)
- Ершов, Юрий Леонидович (2)
- Зюзьков, Валентин Михайлович (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)
- Show more
- Show less
-
Locations
- Книгохранилище (18)
- Читальный зал 5 (11)
- Читальный зал. Депозитарий (4)
- Абонемент. Депозитарий (3)
- Абонемент (2)
-
Item types
- Выдается в читальный зал (18)
- 1 неделя (8)
- 1 месяц (8)
- Выдается по месту хранения (6)
- 6 месяцев (4)
-
Topics
- математическая логика [x]
- множеств теория (21)
- учебные пособия для вузов (10)
- исчисление предикатов (8)
- исчисление высказываний (7)
- логика высказываний (7)
- логика предикатов (6)
- алгоритмов теория (5)
- комбинаторика (5)
- Тьюринга машины (4)
- бинарные отношения (4)
- задачи (4)
- теория доказательств (4)
- Математический анализ (3)
- Множеств теория (3)
- алгоритмы (3)
- арифметика формальная (3)
- булева алгебра (3)
- графы (3)
- дискретная математика (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)
- Show more
- Show less
-
Collections
-
Places
- ЭБС Лань (1)