НЕФТЬ-ГАЗ ЭЛЕКТРОННАЯ БИБЛИОТЕКА
На главную >>


Теперь на нашем сайте можно за 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