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