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