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