Главная Обратная связь

Дисциплины:

Архитектура (936)
Биология (6393)
География (744)
История (25)
Компьютеры (1497)
Кулинария (2184)
Культура (3938)
Литература (5778)
Математика (5918)
Медицина (9278)
Механика (2776)
Образование (13883)
Политика (26404)
Правоведение (321)
Психология (56518)
Религия (1833)
Социология (23400)
Спорт (2350)
Строительство (17942)
Технология (5741)
Транспорт (14634)
Физика (1043)
Философия (440)
Финансы (17336)
Химия (4931)
Экология (6055)
Экономика (9200)
Электроника (7621)






Устанавливаемый кафедрой коэффициент соотношения результатов текущего контроля и промежуточного контроля по итогам освоения дисциплины



Коэффициент результата текущего контроля(от 0 до 1)  
Коэффициент результата промежуточного контроля(от 0 до 1)  

 

10. Перечень клюЧевых слов дисциплины

№ раздела Наименование раздела, темы Ключевые слова
P1 Введение задача логики, предмет логики
P2 Логика высказываний алгебра логики, высказывание, логические операции, отрицание, конъюнкция, дизъюнкция, импликация, эквивалентность, формула алгебры логики, равносильные формулы, равносильности, равносильные преобразования формул
P3 Алгебра Буля. Алгебра множеств алгебра Буля, алгебра множеств, операции над множествами, объединение множеств, разность множеств, пересечение множеств, дополнение к множеству, свойства операций над множествами, Декартово произведение множеств
P4 Функции алгебры логики. Нормальные формы функции алгебры логики, закон двойственности, дизъюнктивная нормальная форма, совершенная дизъюнктивная нормальная форма, конъюнктивная нормальная форма, совершенная конъюнктивная нормальная форма, проблема разрешимости
P5 Приложения алгебры логики приложения алгебры логики, релейно-контактные схемы, логические задачи
P6 Понятие исчисления. Исчисление высказываний исчисление, исчисление высказываний, формула исчисления высказываний, система аксиом, правила вывода, правило подстановки, правило заключения, доказуемая формула, производные правила вывода, правило одновременной подстановки, правило сложного заключения, правило силлогизма, правило контрпозиции, правила снятия двойного отрицания, логическое следование, выводимость формулы из совокупности формул, вывод, правила выводимости, принцип дедукции
P7 Доказательство некоторых законов логики законы логики, закон перестановки посылок, закон соединения посылок, закон разъединения посылок, закон исключённого третьего
P8 Метод резолюций. Аксиоматические системы метод резолюций, аксиоматическая система, формальный вывод, проблемы аксиоматического исчисления высказываний, метатеория формальных систем
P9 Логика предикатов логика предикатов, предикат, логические операции над предикатами, кванторные операции, квантор всеобщности, квантор существования, формула логики предикатов, значение формулы логики предикатов, равносильные формулы логики предикатов, предварённая нормальная форма, общезначимость формулы логики предикатов, выполнимость формулы логики предикатов
P10 Запись математических предложений в виде формул логики предикатов математические предложения, предел числовой последовательности, непрерывность функции в точке, возрастающая функция, ограниченная функция, противоположное утверждение, прямая теорема, обратная теорема, противоположная теорема, необходимые и достаточные условия, доказательство методом от противного
P11 Исчисление предикатов исчисление предикатов, синтаксис языка логики предикатов, семантика языка логики предикатов, теории первого порядка, формальная арифметика, теория алгебраических систем
P12 Клазуальная логика, семантика дизъюнктов, секвенциальная нотация клазуальная логика, метод резолюций, проблема дедукции в исчислении предикатов, семантика дизъюнктов, секвенциальная нотация, семантические сети, Хорновский дизъюнкт
P13 Принцип логического программирования логическое программирование, темпоральные логики; нечёткая логика, модальные логики, нечёткая арифметика; алгоритмическая логика Хоара
P14 Понятие алгоритмической системы. Алгоритм и его характерные черты алгоритмическая система, алгоритм, характерные черты алгоритма, дискретность, детерминированность, элементарность шагов, массовость, результативность, формализация понятия алгоритма
P15 Вычислимые и рекурсивные функции вычислимые функции, частично рекурсивные функции, общерекурсивные функции, эффективно вычислимые функции, операции над функциями, суперпозиция функций, схема примитивной рекурсии, m-оператор, тезис Чёрча
P16 Машина Тьюринга. Нормальные алгоритмы Маркова машина Тьюринга, устройство машины Тьюринга, программа машины Тьюринга, основная гипотеза теории алгоритмов, тезис Тьюринга, нормальные алгоритмы Маркова, алфавит, слово, формулы подстановки
P17 Алгоритмически неразрешимые проблемы. Меры сложности алгоритмов алгоритмически неразрешимые проблемы, распознавание выводимости в математической логике, десятая проблема Гильберта, меры сложности алгоритмов, класс задач P, класс задач NP, NP-полные задачи, сложность вычислений, эффективные алгоритмы

 




Эта страница нарушает авторские права

allrefrs.ru - 2019 год. Все права принадлежат их авторам!