ВУЗ:
Составители:
14
Самостоятельная работа
студентов под контролем
преподавателя
Число
часов
Практические занятия
Число
часов
Контроль
усвоения
материала
ремы дедукции при дока-
зательстве математиче-
ских утверждений.
Студентам разъясняется
понятие предиката и опе-
раций над ними. Студен-
ты самостоятельно реша-
ют задачи с использова-
нием операции навешива-
ния кванторов, получают
нормальные и предварен-
ные нормальные формы
формул логики предика-
тов.
0,5 Логика предикатов. 1,5 контрольная
работа
Студенты получают пред-
ставление о различных
видах логики, решают
практические задачи по
составлению простых и
сложных нечетких выска-
зываний, составляют таб-
лицы истинности, изуча-
ют основные принципы
равносильных преобразо-
ваний, получают полино-
миальные формы.
0,5 Нечеткая, модальная и тем-
поральная логики.
1,5 контрольная
работа
Студенты решают задачи
с использованием нечет-
ких предикатов и кванто-
ров, а также примеры с
нечеткими числами, изу-
чают простейшие схемы
экспертного опроса, фор-
мализации нечетких зна-
ний, построения функций
принадлежности.
0,5 Нечеткие предикаты и
кванторы. Нечеткая ариф-
метика. Построение функ-
ций принадлежности на
основе экспертных оценок.
1,5 контрольная
работа
Студенты решают задачи
по составлению произ-
водных частично-
рекурсивных функций из
элементарных при помо-
щи различных операций,
определяют их свойства.
0,5 Рекурсивные функции. 1,5 контрольная
работа
После предварительного
пояснения принципов
функционирования ма-
шин Тьюринга, студенты
решают задачи по реали-
зации алгоритмов на ма-
0,5 Машины Тьюринга. Нор-
мальные алгоритмы Мар-
кова.
1,5 контрольная
работа
