ВУЗ:
Составители:
15
Самостоятельная работа
студентов под контролем
преподавателя
Число
часов
Практические занятия
Число
часов
Контроль
усвоения
материала
шинах Тьюринга, состав-
ляют их композиции.
Приводятся примеры со-
ставления нормальных
алгоритмов Маркова.
Студентам разъясняется
понятие сложности алго-
ритмов, какие меры слож-
ности используются для
их оценки. Студенты ре-
шают практические зада-
чи по определению раз-
решимости задач, состав-
лению численных и логи-
ческих алгоритмов, оце-
нивают временную слож-
ность алгоритмов по от-
дельным фрагментам ко-
дов программы.
0,5 Оценка временной и емко-
стной сложности алгорит-
мов.
1,5 контрольная
работа
3. Курсовые проекты и работы, типовые расчеты, типовые задания, до-
машние задания по учебному плану ТРТУ реализации ОПП
Дата № Вид и содержание
Выдачи Сдачи
1. Индивидуальное задание включает следующие
типовые задания:
1.1. Формализация сложных высказываний естест-
венного языка.
1.2. Составление таблиц истинности.
1.3. Эквивалентные преобразования и упрощение
сложных высказываний.
1.4. Применение логики высказываний для реше-
ния логических задач, упрощения релейно-
контактных схем.
1.5. Проверка тождественной истинности высказы-
ваний. Применение правил вывода при построении
правильных рассуждений.
12.09.05 21.10.05
2. Индивидуальное задание включает следующие
типовые задания:
1.1. Получение предваренной нормальной формы
формулы логики предикатов.
1.2. Составление таблиц истинности для формулы
нечетких переменных. Преобразования нечетких
формул.
1.3. Решение задач с нечеткой арифметикой. Вы-
числение индексов нечеткости.
1.4. Построение машины Тьюринга.
1.5. Оценка временной сложности алгоритмов.
01.11.05 23.12.05
