1	Предваренная нормальная форма формулы
     2	КНФ форма формулы
     3	Предложение
     4	Сигнатура
     5	Пустой дизъюнкт (?)
     6	Модель некоторой сигнатуры
     7	Означивание формулы А(х1, х2, ...)
     8	Н-интерпретация (?)
     9	Семнатическое дерево
    10	Полное семантическое дерево
    11	Закрытое семантическое дерево
    12	Подстановка (отсюда сразу можно спросить про выражение)
    13	Унификатор множества выражений
    14	Наиболее общий унификатор множества выражений
    15	Множество рассогласований
    16	Терм
    17	Формула
    18	Алфавит исчисления предикатов
    19	Алфавит логики высказываний
    20	Определение тожд. истин. ф-лы в ЛП и ЛВ
    21	Определение тож. ложной формулы в ЛП и ЛВ
    22	Определение теории
    23	Определение ЛУМ, ЧУМ (ВУМ под вопросом)
    24	(?) Множество формул локально совмествно
    25	(?) Локальная теорема Мальцева
    26	Виды кванторов
    27	Почему квантор "exist", "for all" так обозначается? (на двойку!)
    28	Что такое подмодель нек. модели?
    29	Как определить декартово произведение моделей?
    30	Противоречивое множество предложений
    31	Непротиворечивое множетсво предложений
    32	Аксиоматизируем ли класс всех моделей некоторой сигнатуры?
    33	Теория некоторой сигнатуры
    34	Аксиоматизируемый класс моделей
    35	Определение истинности формулы на модели
    36	Алгебраическая система
    37	Что такое функция, отображение, оператор? Отличия.
    38	Всегда ли можно перейти к предикатной сигнатуре? Всегда ли можно перейти к функциональной сигнатуре?
    39	Частичный порядок. Свойтсва частичного порядка. ЛИнейный порядок. Слвойства линейного порядка. Записать свойства порядков в виде формул.
    40	Секвенция. Секвенциальная выводимость. Отличие секвенциального вывода от вывода резольвентного типа.
    41	Резольвента.
    42	Контрарная пара
    43	Литера (исключительно на два вопрос)
    44	Метод резолюций в ЛВ и ЛП
    45	Отличие ЛП от ЛВ
    46	Логические связки (на два)
    47	Склейка дизъюнкта
    48	Теоретико-множественные операции (на два)
    49	Основной пример
    50	Эрбранов универсум
    51	Эрбранов базис
    52	В чем преимущество в проверке формулы на выполнимость по методы Эрбрана перед стандартным перебором всех интерпретаций относительно всех областей?
    53	ССФ
    54	Алгоритм приведения к ССФ. Множество дизъюнктов.
    55	Всякая ли ф-ла приводима к ССФ? (на два)
    56	Всякая ли ф-ла может быть приведена к ПНФ? (на два)
    57	Скулемовские функции
    58	В каком случае сигнатуру можно свести к функциональной сигнатуре?
    59	Дизъюнкт. Литера. Дизъюнкт как множество литер. Пустой дизъюнкт. Истинность и ложность пустого дизьюнкта.
    60	Сохраняется ли противоречивость формулы в алгоритме Эрбрана (приведение к ССФ) в рез-те элминации кванторов? (на два)
    61	Что значит , что ф-ла А(х1, х2) выполнима? Дать определение множества дизъюнктов.
    62	Сем. эквивалентность. Если А -- это непротиворечивая формула, будет ли А семантически эквивалентна S(A) (ССФ ф-лы А)
    63	Сколько существует ССФ для любой формулы: только 1, иногда 2; иногда 3, но не больше; не более 13; более одной
    64	Может ли Эрбранов универсум состоять из 1 эл-та? Привести пример
    65	Что такое основной дизъюнкт?
    66	Является ли Эрбрановский базис Н-интерпретацией? (согласно определению, Н-интерпретация представялем в стандартном виде)
    67	Всякая ли интерпретация множества дизюнктов является Н-интерпретацией? ( на два)
    68	Пусть I - произвольная интерпретация множества дизъюнктов S. Дать определение Н-интерпретации, соответст. интерпретации I. Сколько может сушествовать Н-интерпретаций для заданной интерпретации I? Привести пример, когда существует только одна H-интерпретация, соотв. интерпретации I. От чего зависит количество Н-интерпретаций интерпретации I?
    69	Существуют ли бесконечные полные семантические деревья? Дать определение полного семантического дерева.
    70	Привести пример множества дизъюнктов, для которого существует только две Н-интерпретации.
    71	Может ли полное сематическое дерево быть бесконечным, если Эрбранов базис конечен? Может ли семантическое дерево быть конечным, если Эрбранов базис бесконечен? Чем, в терминах интерпретаций, соответствует ветвь беконечного полного семантического дерева?
    72	Опровергающий узел семантического дерева.
    73	Закрытое семантическое дерево
    74	Каков смымсл опровергающего узла семантического дерева (в терминах интепретаций)
    75	Смысл закрытого семантического дерева ( в терминах интерпретаций)
    76	Пусть N -- узел семантического дерева. Каков смысл ветки I(N)  в терминах интерпретаций?