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