2.3. Структурно-логическая схема дисциплины

Элементы теории

Логика

Формальные

алгоритмов

высказываний

теории

Алгоритмы и

Логика

Исчисление

вычислимость

предикатов

высказываний

Эффективность

алгоритмов

Исчисление

Варианты логики

предикатов

Верификация

алгоритмов и пр.

Логическое

программирование

Темпоральная

Модальная

Нечеткая

логика

логика

логика

Продолжительность

№

Название раздела (темы)

изучения раздела (темы)

п/п

(из расчета – 4часа в день)

1

Раздел 1. Логика высказываний

3 дн.

2

Раздел 2. Логика предикатов

3 дн.

3

Раздел 3. Формальные теории

3 дн.

4

Раздел 4. Логическое программирование, модальная,

нечеткая и темпоральная логики

3 дн.

5

Раздел 5.

Элементы теории алгоритмов

3 дн.

6

Раздел 6.

Верификация алгоритмов и программ

2 дн.

7

Раздел 7.

Эффективность алгоритмов

2 дн.

8

Контрольная работа №1

3 дн.

9

Контрольная работа №2

3 дн.

ИТОГО

25 дн.

№

Количество часов

Наименование тем практических занятий

Форма обучения

раздела

очная

очно-

заочная

заочная

1

Равносильные преобразования и упрощение

2+2

1+3

1+3

формул логики высказываний

1

Определение отношений логического

2+2

1+3

0+4

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

логики высказываний

2

Определение множества истинности формул

3+0

1+2

1+2

логики предикатов

3

Установление общезначимости формул логики

2+2

1+3

1+3

предикатов и их истинности для заданной

интерпретации

3

Доказательство логического следования формул

2+0

0+2

0+2

исчисления высказываний методом резолюций

4

Выполнение нечетких теоретико-

2+2

1+3

0+4

множественных и логических операций

4

Представление формул логики предикатов в

2+0

0+2

0+2

виде клауз Хорна

5

Программирование на машине Тьюринга

3+0

1+2

0+3

6

Верификация линейных программ и программ с

2+2

2+2

1+3

ветвлением

7

Оценка сложности переборных задач

2+0

0+2

0+2

ИТОГО

22+10

8+24

4+28