Аннотация рабочей программы дисциплины - umotnas.ru o_O
Главная
Поиск по ключевым словам:
страница 1
Похожие работы
Аннотация рабочей программы дисциплины - страница №1/1

АННОТАЦИЯ РАБОЧЕЙ ПРОГРАММЫ ДИСЦИПЛИНЫ

Прикладная логика


Место дисциплины в структуре ООП

Принципы построения курса:

Курс адресован студентам-бакалаврам 3-го курса (6 семестр) направления подготовки 230100 Информатика и вычислительная техника.

В курсе выделено несколько разделов / тем:

Логика высказываний; логика предикатов; исчисления; непротиворечивость; теорема Геделя о полноте; синтаксис и семантика языка логики предикатов. Клаузальная форма. Метод резолюций в логике предикатов. Принцип логического программирования. Темпоральные логики; нечеткая и модальные логики; нечеткая арифметика; алгоритмическая логика Ч. Хоара. Логическое следование, принцип дедукции. Метод резолюций. Аксиоматические системы, формальный вывод. Метатеория формальных систем.
Компетенции обучающегося,

формируемые в результате освоения дисциплины

-владеет культурой мышления, способен к обобщению, анализу, восприятию информации, постановке цели и выбору путей ее достижения (ОК-1);

- умеет логически верно, аргументировано и ясно строить устную и письменную речь (ОК-2);

- стремится к саморазвитию, повышению своей квалификации и мастерства (ОК-6);



-использует основные законы естественнонаучных дисциплин в профессиональной деятельности, применяет методы математического анализа и моделирования, теоретического и экспериментального исследования (ОК-10).