Рабочая учебная программа (3- курс) Направление знаний: Направление образования: Направление бакалавриата

Показатели и предложение по составлению
практических уроков.

Используя предложенных на практических уроках примеров и задач студенты формируют как практические навыки теоретические знания.

Темы предложенные для практических уроков:
Элементы математической логики. Действия логики: основы дизъюнкции, конъюнкции, импликация, эквиваленция, несомненно истинный, несомненно ложный, выполняющий; равно сильные формулы; 1,2,3 местные предикаты, стоимость предикатов и действительные части, составить диспуты из предикатов при помощи кванторов. Используемые образовательные технологии, алгоритм, диаграмм Венна, самооценка.
Литература: О2, О5, Д1.
Многочленные над полем действительных и комплексных чисел: решение уравнении при помощи формулы Виета, не приводимые многочленные над площадью действительных коэффициентных многочленных, система штурм многочленных. Используемые технологии образование диалогический подход, проблемное образование, ВВВ, кластер, алгоритм, диаграмма Венна, самооценка.
Литература: О2, О5, Д3.
Многочлены от нескольких перемен: составить кратное расширение кольца. Превращение данное много изменяющими многочленное на симметрическую много сторонность. Решения системы высоко степенных уравнении при помощи результанта. Используемые технологии образование диалогический подход, проблемное образование, ВВВ, кластер, алгоритм, диаграмма Венна, самооценка.
Литература: О2, О5, Д3.
Задачи диспутов: Доказать приводимость формулой при помощи аксиом и правилами приведения. Привести из гипотез. Использовать теорему дедукция. Выполнение в формулах равносильных формул. Привести в нормальную форму. Используемые технологии образование диалогический подход, проблемное образование, ВВВ, кластер, алгоритм, диаграмма Венна, самооценка.
Литература: О2, О5, Д1.
Задачи предикатов: истинная часть предиката. Обозначить языке алгебры предикатов математических подтверждении.
Примеры алгоритму. Проверка свойств алгоритма. Знаменательные рекурсивные функции. Рассчитать знаменательные ресурсные функции маминках Т ‘ уюгинг. Общекурсные функции.
Доказать свойств целых чисел, рациональных чисел, действительных, комплексных чисел. Доказать образование кватернионов линей алгебры множественности. Используемые технологии образование диалогический подход, проблемное образование, ВВВ, кластер, алгоритм, диаграмма Венна, самооценка.
Литература: О2, О5, Д1.
В процессе практических уроков студенты для эффективного формирование практических навыков используется разные методы, как проблемные, классифированные, работать малыми группами взаимно оценок, самооценок и т.д. Эти методы результативно используются.