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