НЕФТЬ-ГАЗ
ЭЛЕКТРОННАЯ БИБЛИОТЕКА
На главную >>
Теперь на нашем сайте можно за 5 минут
создать
свежий реферат или доклад
Скачать книгу целиком можно на сайте:
www.nglib.ru
.
<<
Ершов Ю.Л.
Математическая логика
Глоссарий: Буква "Т"
Така
(встр. 225 раз)
алгебраический
атомарный
введенный
главная
другой
истинный
некоторой
определенный
равный
реализующий
рекурсивными
Такий
(встр. 25 раз)
Такое
(встр. 14 раз)
Те
(встр. 29 раз)
такое
Теор
(встр. 26 раз)
замечательный
одбчный важнейший
полученный
такий
Теорем
(встр. 301 раз)
важный
доказанный
многий
перечисляющий
показывающий
предыдущий
самое
самый
следующий важный
следующий
упомянутый
эффективный
Теории
(встр. 157 раз)
аксиоматизируемая непротиворечивая
аксиоматизи-руемая полная
аксиоматизируемая
данная
конгруэнтная эквивалентная
матическая
наивная
найденные наивная
некоторая
непротиворечивая
полная
полный
предложенная скулемая позволяющая
представимая
представляемая
рассматриваемая
тая иная
эквивалентная
элементарная
Теперь
(встр. 66 раз)
требуемый
Терм
(встр. 40 раз)
базисный
зисный
каждый
константный
любый
некоторой рекурсивным
некоторой
ный
определенный
переменный
подходящий рекурсивных
различный
реализуемый
рекурсивных
Терма
(встр. 27 раз)
Терма
(встр. 84 раз)
аксиоматизируемый уэ-аксиоматизируемый аксиоматизируемый
базисная
базисный
входящий
замкнутая
замкнутый
каждая
константная
любая рекурсивного
любая
некоторая константная
некоторая
переменная любая
переменная связанная любая
переменная
переменный
произвольный
равная
различная
рекурсивный
свободная переменная
сущая
такая
тая
Тип
(встр. 42 раз)
базисный замкнутый рекурсивный свободный
важный
генценовский
гильбертовский
неглавием
опускающий
различный
следующий
совместный
соответствующий
Том
(встр. 34 раз)
которой
соответствующий
Точность
(встр. 12 раз)
исчерпывающая
которая
максимальная
однозначная
основная
Тп
(встр. 42 раз)
некоторая
Ть
(встр. 30 раз)
любый
такопейный
Тьюринга
(встр. 16 раз)
Главный редактор проекта: Мавлютов Р.Р.
oglib@mail.ru