Название работы	Кол-во страниц	Размер
К рабочей программе дисциплины «История математики»	3	949.69kb.
К рабочей программе дисциплины «Массовая коммуникация» дс	1	44.57kb.
К рабочей программе дисциплины в 06 социология образования	1	37.96kb.
К рабочей программе дисциплины «Современные концепции политической...	1	49.06kb.
К рабочей программе дисциплины «Социальное моделирование и программирование» опд	1	45.34kb.
Рабочей программы дисциплины ЭВМ и периферийные устройства Место...	1	18.03kb.
Рабочей программы дисциплины Архитектура информационных систем Место...	1	22.64kb.
Рабочей программы дисциплины Математические основы информатики Место...	1	11.56kb.
Рабочей программы дисциплины Кратные интегралы и ряды Место дисциплины...	1	28.18kb.
К рабочей программе дисциплины «Общая физика» Место дисциплины в...	1	393.61kb.
Рабочей программы дисциплины филологический анализ текста	1	31.48kb.
Аннотация рабочей программы дисциплины	1	10.87kb.
Викторина для любознательных: «Занимательная биология»	1	9.92kb.

Аннотация рабочей программы дисциплины

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

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

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

Курс входит в профессиональный цикл ООП 230700 Прикладная информатика.

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

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

Компетенции обучающегося,

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

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

- способен применять методы анализа прикладной области на концептуальном, логическом, математическом и алгоритмическом уровнях (ПК-17);

- способен применять системный подход и математические методы в формализации решения прикладных задач (ПК-21).