Название модуля | Математическая логика и теория алгоритмов |
Номер | | Академический год | 2013/2014 | семестр | 5 |
кафедра | 16 Информационные системы | Программа | 230400.62 – направление «Информационные системы и технологии», профиль «Информационные системы и технологии» |
Гарант модуля |
Благодатский Григорий Александрович, старший преподаватель
|
Цели и задачи дисциплины, основные темы |
Целью дисциплины целью преподавания дисциплины является изучение теоретических и алгоритмических основ базовых разделов математической логики и теории алгоритмов.
Задачи дисциплины: состоят в том, чтобы дать студентам теоретические основы методов изучение теоретических и алгоритмических основ базовых разделов математической логики и теории алгоритмов.
Знания: знания теоретических и алгоритмических основ базовых разделов математической логики и теории алгоритмов.
Умения: применение теоретических и алгоритмических основ базовых разделов математической логики и теории алгоритмов.
Навыки: владения теоретическими и алгоритмическими основами базовых разделов математической логики и теории алгоритмов.
Лекции: Логика высказываний, Логические рассуждения, Логика предикатов, Неклассические логики и формальная арифметика, Основы теории алгоритмов.
Лабораторные: Алгебра высказываний, Нормальные формы формул, Логические рассуждения, Логика предикатов, Алгебра Жегалкина, Замкнутые классы булевых функций, Рекурсивность функций, Построение программ для машин Тьюринга.
|
Основная литература |
1. Смыслова З.А. Спецглавы математики. Часть 2: Учебное пособие. – Томск: Томский межвузовский центр дистанционного образования, 2001.
2. Шелупанов А.А., Зюзьков В.М. Математическая логика и теория алгоритмов. Учебное пособие.- Томск: STT, 2001. 2. Нинул А.С. Оптимизация целевых функций. Аналитика. Численные методы. – М.: ФИЗМАТЛИТ, 2009. – 336.
3. Гончаров В.А. Методы оптимизации. – Люберцы: Юрайт, 2010. -192.
4. Первозванский А.А. Курс теории автоматического управления. – М.: Лань, 2010. – 624.
5. Душин С.Е., Зотов Н.С., Имаев Д.Х. Теория автоматического управления. – М.: Высшая школа, 2009. – 568.
|
Технические средства |
1. Компьютерный класс – 10 шт. ЭВМ.
2. Open Office 3.1, MS SQL Server 2005, Oracle 10 g – 10 лицензий каждого ПО.
|
Компетенции |
Приобретаются студентами при освоении модуля
|
Общекультурные |
-
|
Профессиональные |
ПК-5 - способность проводить моделирование процессов и систем.
ПК-25 - способность обосновывать правильность выбранной модели, сопоставляя результаты экспериментальных данных и полученных решений.
|
Зачетных единиц
|
3
|
Форма прове-дения занятий
|
Лекции
|
Практические занятия
|
Лабораторные работы
|
Самостоятельная работа
|
всего часов
|
32
|
|
32
|
44
|
Виды контроля | Диф.зач /зач/ экз | КП/КР | Условие зачета модуля | получение оценки 3,4 или 5 | Форма проведения самостоятельной работы | подготовка к лекционным, практическим и лабораторным занятиям, экзамену |
формы | экзамен | – |
Перечень модулей, знание которых необходимо для изучения модуля | «Математический анализ», «Аналитическая геометрия и линейная алгебра», «Вычислительные системы, сети и телекоммуникации». |
