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

Сам (встр. 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