Refine your search
Availability
-
Bibliographic level
- Книги (11)
- Статьи из сборников (1)
-
Authors
- Кузнецов, Олег Петрович (4)
- Спирин, Павел Алексеевич (2)
- Спирина, Марина Савельевна (2)
- Адельсон-Вельский, Георгий Максимович (1)
- Бар-Хиллел, Иегошуа (1)
- Гастев, Юрий Алексеевич (1)
- Есенин-Вольпин, Александр Сергеевич (1)
- Карри, Хаскелл Брокс (1)
- Кузнецов О. П. (1)
- Москвитин, Анатолий Алексеевич (1)
- Осипов, Геннадий Семенович (1)
- Тимофеева, Мария Кирилловна (1)
- Федоров, Борис Иванович (1)
- Френкель, Абрахам Адольф (1)
- Show more
- Show less
-
Locations
-
Item types
- Выдается в читальный зал (8)
- 1 неделя (3)
- 1 месяц (3)
- 6 месяцев (2)
-
Topics
- множества (7)
- дискретная математика (6)
- исчисление высказываний (5)
- логика предикатов (5)
- формальные системы (5)
- алгебра логики (4)
- булева алгебра (4)
- математическая логика (4)
- функции (4)
- Тьюринга машины (3)
- анализ автоматов (3)
- вычислимость (теория алгоритмов) (3)
- вычислительная сложность алгоритмов (3)
- графы (3)
- графы двудольные (3)
- графы неориентированные (3)
- графы ориентированные (3)
- графы планарные (3)
- группы (3)
- деревья (теория графов) (3)
- исчисление предикатов (3)
- логические исчисления (3)
- метатеория логических исчислений (3)
- операции на множествах (3)
- оптимизационные задачи на графах (3)
- покрытия (теория графов) (3)
- полугруппы (3)
- программная реализация автоматов (3)
- программная реализация логических функций (3)
- пространство циклов (3)
- раскраски графов (3)
- распознавание множеств автоматами (3)
- рекурсивные функции (3)
- семантика формальных языков (3)
- сети автоматов (3)
- синтез автоматов (3)
- теория автоматов (3)
- формальные грамматики (3)
- формальные системы (дискретная математика) (3)
- формальные системы абстрактные (дискретная математика) (3)
- функции алгебры логики (3)
- алгебра вычетов (2)
- алгоритмов теория (2)
- булевы функции (2)
- кодирование информации (2)
- комбинаторика (2)
- криптографические шифры (2)
- логика (2)
- логика диалектическая (2)
- математическая индукция (2)
- Show more
- Show less
-
Collections
-
Places
- ЭБС Лань (1)