Зарипова, Э.Р. Дискретная математика Часть II. Математическая логика

107 и лемма о нелинейной функции. 4. Исчисление высказываний и предикатов Общие принципы построения формальной теории. Интерпретация, общезначимость, противоречивость, логическое следствие. Метод резолюций для исчисления высказываний. Понятие предиката. Кванторы. Алфавит. Предваренная нормальная форма. Алгоритм преобразования формул в предваренную нормальную форму. Скулемовская стандартная форма. Подстановка и унификация. Алгоритм унификации. Метод резолюций в исчислении предикатов. 5.2 Разделы дисциплины и междисциплинарные связи с обеспечиваемыми (последующими) дисциплинами № п/п Наименование обеспечиваемых (последующих) дисциплин № № разделов данной дисциплины, необходимых для изучения обеспечиваемых (последующих) дисциплин 1 2 3 4 1. Математический анализ + + 2. Теория автоматов и формальных языков + + + + 3. Теория вероятностей и математическая статистика + + +