Логика
Книги
0+Равносильные преобразования формул
0+Измерения при моделировании систем
0+Замкнутые классы функций
0+Задачи и методы принятия решений
0+Контактные схемы
0+Исчисление высказываний
0+Интеллектуальные модели систем
0+Семантика исчисления высказываний
0+Язык логики предикатов
0+Многозначные логики
0+Язык в математической лингвистике
0+Грамматики
0+Дерево вывода
0+Конечные автоматы
0+Способы задания конечных автоматов
0+Некоторые варианты автоматов
0+Автоматы и языки
0+Понятие алгоритма
0+Машины Тьюринга
0+Вычисления на машинах Тьюринга
0+Тезис Тьюринга
0+Рекурсивные функции
0+Делимость и делители
0+Сравнения и классы вычетов