Название модуля | Математическая логика и теория алгоритмов |
Номер | | Академический год | 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 | Форма проведения самостоятельной работы | подготовка к лекционным, практическим и лабораторным занятиям, экзамену |
формы | экзамен | – |
Перечень модулей, знание которых необходимо для изучения модуля | «Математический анализ», «Аналитическая геометрия и линейная алгебра», «Вычислительные системы, сети и телекоммуникации». |