Направление подготовки: 09.03.03 «Прикладная информатика»
Учебный план : Очное обучение, 2014
Дисциплина: «Линейная алгебра» (бакалавриат, 1 курс, очное обучение) 
Количество часов: 144 ч. (в том числе: лекции - 36, практические занятия - 36, самостоятельная работа - 36, экзамен - 36); форма контроля: экзамен


В курсе излагаются основные разделы линейной алгебры


Темы: 1. Решение систем линейных уравнений. 2. Теория определителей. 3. Комплексные числа. 4. Многочлены от одной переменной.


Ключевые слова: СЛУ, метод Гаусса, матрица, базис векторного пространства, ранг матрицы,  определитель,  многочлен, алгоритм Евклида, комплексные числа.


Автор: Насрутдинов Марат Фаритович, кандидат физико-математических наук, доцент кафедры алгебры и математической логики, email: marat.nasrutdinov@kpfu.ru 


Дата начала эксплуатации: 1 сентября 2014 г.

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

Направление подготовки : 230700.62 «Прикладная информатика»
Учебный план : Очное обучение, 2013 
Дисциплина: «Математическая логика» (бакалавриат, 2 курс, очное обучение)
Количество часов: 108 ч. (в том числе: лекции - 18, практические занятия - 18, самостоятельная работа - 36, экзамен - 36); форма контроля: экзамен (3 семестр)
В курсе излагаются основные разделы математической логики. Изучается логика высказываний и логика предикатов и соответствующие им аксиоматические системы: исчисление высказываний и исчисление предикатов. Доказываются теоремы о непротиворечивости и полноте указанных исчислений.
Темы: 1. Логика высказываний. 2. Исчисление высказываний. 3. Логика предикатов. 4. Исчисление предикатов. 
Ключевые слова: высказывание, предикат, логические операции, кванторы, аксиоматическая система, непротиворечивость, полнота
Автор: Корнеева Наталья Николаевна, кандидат физико-математических наук, старший преподаватель кафедры автономных робототехнических систем, email: Natalia.Korneeva@kpfu.ru 
Дата начала эксплуатации: 1 сентября 2014 г.

Краткий конспект лекций

Рабочая программа курса