НЕФТЬ-ГАЗ
ЭЛЕКТРОННАЯ БИБЛИОТЕКА
На главную >>
Теперь на нашем сайте можно за 5 минут
создать
свежий реферат или доклад
Скачать книгу целиком можно на сайте:
www.nglib.ru
.
<<
Ершов Ю.Л.
Математическая логика
Глоссарий: Буква "С"
Сам
(встр. 19 раз)
интерполирующий
Свободный
(встр. 10 раз)
Свойства
(встр. 11 раз)
Свойства
(встр. 97 раз)
важное
дальнейшее некоторое
дующий
некоторое базисное
некоторое
необходимое
обладающее следующее
обладающее
обладающий
обычное
основное структурное
отмеченное
отмеченный
очевидное
последнее
примечательное
простое
следующее проверяемое
следующее
следующий
соответствующий
удовлетворяющее
характеристический
характеристическое
элементарное
Сегмент
(встр. 27 раз)
дальнейший начальный
любый замкнутый начальный
любый начальный
начальный
некоторой начальный
никакий различный начальный
общий начальный
общий непустые начальный
открытый замкнутый начальный
открытый начальный
отличный начальный
Секвенции
(встр. 343 раз)
всякая начальная
всякая
доказуемая
доказуемый
единственная
заключительная
заклю-чительная
ипм
истинная
истинный
каждая входящая
каждая
которая переменная
которая
левая
любая
начальная
начальный
нижняя
нужная
нужный
нья
определенный
первая последняя
полученная
последняя
расположенная
свободная переменная
свободная
следующая
состоящий
такопейная
тая
Семантика
(встр. 16 раз)
классическая
называемая
Семейства
(встр. 24 раз)
направленное
нье
содержащее центрированное
счетное
универсальное
Сигнатура
(встр. 254 раз)
аксиоматизируемая
главная переменная
дальнейшая произвольная
дальнейшая
зависящая
заданная
имеющая
конечная счетная
конечная
любая конечная
некоторая конечная
некоторая произвольная
никакая
новая
общезначимая положительная рекурсивная перечислимая
полная
полученная
предикативная
произвольная
противная
пустая
старая
счетная
тая
функциональная
Сила
(встр. 118 раз)
конечная
которая
первая
разнозначная
существующая
тая
этая
Символ
(встр. 145 раз)
305ный
вспомогательный
двухместный предикативный
двухместный функциональный предикативный
двухместный функциональный
единственный
каж-дый введенный
которой
логический
математический
местный предикативный
местный функциональный
нальный
начинающийся функциональный
некоторой новенький функциональный
некоторой функциональный
некоторой
новенький местный функциональный
новенький функциональный
новенький
нульместный предикативный
ный
обозначаемый
обозначенный
одбчный местный функциональный
одбчный
одноместный функциональный
одноместный
первый
п-местный функциональный
предикативный функциональный
предикативный
пропозициональный переменный нульместный предикативный
пустой
различный
сигнатурный
содержащий одбчный сигнатурный
содержащий
соответствующий сигнатурный
соответствующий
состоящий
функциональный
эквивалентный содержащий
этый предикативный
Система
(встр. 297 раз)
аксиоматизируемая алгебраическая
алгебраическая
алгебраический
бесконечная
бесконечный алгебраический
бесконечный
ветствующая алгебраическая
всяя фиксированная алгебраическая
выполнимая
выражающий
генценовская
геп1деновская
данная алгебраическая
единичная
единственная
задавший
изоморфный
истинная общезначимой
истинная
каждый выписанный
каноническая насыщенная однородная рекурсивная универсальная х-насыщенная алгебраическая
каноническая
категоричная
конечная
конечный
которая аксиоматическая
которая фиксированная алгебраическая
которая
любая
любый
минимальная
неизоморфная алгебраическая
неодноэлементный
новая
обратный бесконечный
одбчная
одбчный
однородная универсальная насыщенная счетная
однородная
п-общезначимым алгебраическая
полная
произвольная
рассматриваемая алгебраическая
рекурсивная алгебраическая
рекурсивной алгебраическая
содержащая
соответствующая алгебраическая
состоящий бесконечный
счетная алгебраическая
счетная насыщенные эквивалентная
счетная однородная
счетная
такая
такий
такопейная любая
тый
универсальная
формальная
Скулемизации
(встр. 10 раз)
некоторая полная
полная
Следствие
(встр. 60 раз)
некоторой
непосредственное
полученное
предыдущее
Слова
(встр. 90 раз)
абстрактное
абстрактный
вычисляющее
дальнейшее
другий
иной
каждое
какий
какое
конкретное
конкретный
любый
машинное
машинный
некоторой
полное
полученное
последнее
пустое абстрактное
пустое
равный конкретный
ременное
такий
такое абстрактное
такое
тупиковое
Случаи
(встр. 100 раз)
вторая
данная
многий
обоих
обратная общая
общая
остальной
первая
предыдущая
произвольная противная
противная
следующий
такопейная противная
типичный
частный
Случай
(встр. 31 раз)
возможный
любый
нужный
различный подходящий этый
частный
этый
Смысл
(встр. 11 раз)
имеющий рбычный
интуитивный
которой определенный
обычный
определенный конструктивный
определенный
разъясняющий
Совместность
(встр. 12 раз)
Сокращение
(встр. 10 раз)
тое
тый обычный
Соотношение
(встр. 12 раз)
определенное
следующее
Списки
(встр. 45 раз)
доказуемый
единственный непустого
заключительный пустой
заключительный
которой
любый
некоторой
непустые
пустой
соответствующий
Способ
(встр. 13 раз)
аналогичный
дартный логический
общепринятый
различный детерминационный недетерминационный
стандартный логический
такий
эффективный
Существование
(встр. 32 раз)
отмеченного
плотное
утверждающее
Схема
(встр. 37 раз)
истинный
которая доказуемая
определенная
полученная
полученных
принадлежащую
следующий
соответствующий
Главный редактор проекта: Мавлютов Р.Р.
oglib@mail.ru