Refine your search
Availability
-
Bibliographic level
- Книги (2)
-
Authors
-
Locations
- Книгохранилище (2)
- Читальный зал 5 (1)
- Читальный зал. Депозитарий (1)
-
Item types
- Выдается в читальный зал (2)
- 1 неделя (1)
- 1 месяц (1)
-
Topics
- булевы алгебры [x]
- исчисление высказываний (2)
- исчисление предикатов (2)
- логика высказываний (2)
- логика предикатов (2)
- математическая логика [x]
- метод резолюций (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)
- Show more
- Show less