Глоссарий: Буква "Т"

Така (встр. 225 раз)
- алгебраический
- атомарный
- введенный
- главная
- другой
- истинный
- некоторой
- определенный
- равный
- реализующий
- рекурсивными
Такий (встр. 25 раз)
Такое (встр. 14 раз)
Те (встр. 29 раз)
- такое
Теор (встр. 26 раз)
- замечательный
- одбчный важнейший
- полученный
- такий
Теорем (встр. 301 раз)
- важный
- доказанный
- многий
- перечисляющий
- показывающий
- предыдущий
- самое
- самый
- следующий важный
- следующий
- упомянутый
- эффективный
Теории (встр. 157 раз)
- аксиоматизируемая непротиворечивая
- аксиоматизи-руемая полная
- аксиоматизируемая
- данная
- конгруэнтная эквивалентная
- матическая
- наивная
- найденные наивная
- некоторая
- непротиворечивая
- полная
- полный
- предложенная скулемая позволяющая
- представимая
- представляемая
- рассматриваемая
- тая иная
- эквивалентная
- элементарная
Теперь (встр. 66 раз)
- требуемый
Терм (встр. 40 раз)
- базисный
- зисный
- каждый
- константный
- любый
- некоторой рекурсивным
- некоторой
- ный
- определенный
- переменный
- подходящий рекурсивных
- различный
- реализуемый
- рекурсивных
Терма (встр. 27 раз)
Терма (встр. 84 раз)
- аксиоматизируемый уэ-аксиоматизируемый аксиоматизируемый
- базисная
- базисный
- входящий
- замкнутая
- замкнутый
- каждая
- константная
- любая рекурсивного
- любая
- некоторая константная
- некоторая
- переменная любая
- переменная связанная любая
- переменная
- переменный
- произвольный
- равная
- различная
- рекурсивный
- свободная переменная
- сущая
- такая
- тая
Тип (встр. 42 раз)
- базисный замкнутый рекурсивный свободный
- важный
- генценовский
- гильбертовский
- неглавием
- опускающий
- различный
- следующий
- совместный
- соответствующий
Том (встр. 34 раз)
- которой
- соответствующий
Точность (встр. 12 раз)
- исчерпывающая
- которая
- максимальная
- однозначная
- основная
Тп (встр. 42 раз)
- некоторая
Ть (встр. 30 раз)
- любый
- такопейный
Тьюринга (встр. 16 раз)

Главный редактор проекта: Мавлютов Р.Р.
oglib@mail.ru