Федеральное агентство по образованию
ФЕДЕРАЛЬНОЕ АГЕНТСТВО ПО ОБРАЗОВАНИЮ
Бийский технологический институт (филиал)
государственного образовательного учреждения
высшего профессионального образования
«Алтайский государственный технический университет
им. И.И. Ползунова»
Т.М. Тушкина, В.С. Фролов, О.Д. Ростова, Л.П. Кувшинова
МАТЕМАТИЧЕСКАЯ ЛОГИКА
И ТЕОРИЯ АЛГОРИТМОВ
Методические рекомендации по выполнению самостоятельной работы студентов специальностей 080801 «Прикладная информатика
в экономике», 230201 «Информационные системы и технологии»
Бийск
Издательство Алтайского государственного технического университета
им. И.И. Ползунова
2010
УДК 519.1
Рецензент: к.т.н., доцент кафедры МСИиА БТИ АлтГТУ
Гареева Р.Г.
Тушкина, Т.М.
Математическая логика и теория алгоритмов: методические реко-
мендации по выполнению самостоятельной работы студентов спе-
циальностей 080801 «Прикладная информатика в экономике»,
230201 «Информационные системы и технологии» / Т.М. Тушкина,
В.С. Фролов, О.Д. Ростова, Л.П. Кувшинова; Алт. гос. техн. ун-т,
БТИ. – Бийск: Изд-во Алт. гос. техн. ун-та, 2010. – 16 с.
Данная методическая разработка является составной частью учебно-методического комплекса по дисциплине «Математическая логика и теория алгоритмов» для студентов специальностей 080801 «Прикладная информатика в экономике», 230201 «Информационные системы и технологии». В методических рекомендациях представлены план-график выполнения самостоятельной работы студентов (СРС), ее содержание, примерные нормы на выполнение внеаудиторной СРС по каждому заданию, требования к представлению и оформлению результатов и критерии оценки выполнения СРС по дисциплине «Математическая логика и теория алгоритмов».
УДК 519.1
| Рассмотрены и одобрены на заседании кафедры высшей математики и математической физики. Протокол № 3 от 03.07.2009 г. |
© Т.М. Тушкина, В.С. Фролов,
О.Д. Ростова, Л.П. Кувшинова, 2010
© БТИ АлтГТУ, 2010
СОДЕРЖАНИЕ
1 ЦЕЛИ И ЗАДАЧИ КУРСА «МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ» 4
2 СОДЕРЖАНИЕ САМОСТОЯТЕЛЬНОЙ РАБОТЫ СТУДЕНТОВ.. 5
3 ПЛАН-ГРАФИК ВЫПОЛНЕНИЯ САМОСТОЯТЕЛЬНОЙ РАБОТЫ СТУДЕНТАМИ ПО ДИСЦИПЛИНЕ 6
4 ХАРАКТЕРИСТИКА И ОПИСАНИЕ САМОСТОЯТЕЛЬНОЙ РАБОТЫ СТУДЕНТОВ 7
5 ТРЕБОВАНИЯ К ПРЕДСТАВЛЕНИЮ И ОФОРМЛЕНИЮ РЕЗУЛЬТАТОВ САМОСТОЯТЕЛЬНОЙ РАБОТЫ СТУДЕНТОВ.. 10
6 ФОРМЫ И МЕТОДЫ КОНТРОЛЯ ЗНАНИЙ СТУДЕНТОВ.. 10
1 ЦЕЛИ И ЗАДАЧИ КУРСА «МАТЕМАТИЧЕСКАЯ ЛОГИКА
И ТЕОРИЯ АЛГОРИТМОВ»
В современной науке и технике математические методы исследования и проектирования играют все более возрастающую роль. Это обусловлено в первую очередь быстрым ростом возможностей вычислительной техники. Благодаря широкому внедрению вычислительной техники во все сферы научно-технической деятельности существенно расширяются возможности широкого применения математики при решении задач планирования и управления, проектирования технологических систем, логических устройств.
Основной целью изучения дисциплины является овладение студентами аппаратом математической логики и теории алгоритмов для решения задач анализа информации, в том числе изучение способов формального представления информации (высказываний), построения новых высказываний из имеющихся с помощью логически выдержанных преобразований, а также способов (методов) установления истинности или ложности высказываний.
Будущие специалисты в области информационных технологий должны иметь представления о формальных системах, владеть методами формализованного представления информации. В данном случае речь идет о методах, основанных на логических представлениях. В этой связи, будут рассмотрены следующие разделы изучаемой дисциплины: логика высказываний (модуль 1), логика предикатов (модуль 2), теория алгоритмов (модуль 3).
Изучение дисциплины «Математическая логика и теория алгоритмов» студентами данных специальностей осуществляется во втором семестре.
В результате изучения курса «Математическая логика и теория алгоритмов» обучающиеся должны:
· иметь представление о месте и роли математической логики в системе математических наук и возможности ее применения в экономических и естественных науках;
· владеть понятиями математической логики и теории алгоритмов;
· знать и уметь использовать методы математической логики и теории алгоритмов при решении задач анализа информации.
Для изучения дисциплины «Математическая логика и теория алгоритмов» студентам пригодятся знания по элементарной математике.
Курс математической логики и теории алгоритмов является базовым при изучении таких дисциплин, как «Вычислительная математика», «Теория информационных процессов и систем», «Управление данными», «Моделирование систем», «Основы теории управления», «Алгоритмы и методы переработки информации», «Методы оптимального управления», «Информационный менеджмент», «Моделирование информационных процессов», «Проектирование информационных систем» и др.
2 СОДЕРЖАНИЕ САМОСТОЯТЕЛЬНОЙ
РАБОТЫ СТУДЕНТОВ
На самостоятельную работу студентам специальности «Прикладная информатика в экономике» (ПИЭ) отводится 51 час, а студентам специальности «Информационные системы и технологии» (ИСТ) – 40 часов. В связи с тем, что объем часов достаточно большой, ряд вопросов студенты изучают самостоятельно по рекомендованной литературе. Для студентов, желающих иметь высокий текущий рейтинг, выдается индивидуальное дополнительное задание – задача повышенной степени сложности. Перечень таких задач находится у преподавателя. Отчитаться в выполнении дополнительного задания необходимо до наступления сессии.
Виды самостоятельной работы, предусмотренные рабочей программой по дисциплине «Математическая логика и теория алгоритмов», представлены в таблице 1.
Таблица 1 – Виды самостоятельной работы
| Наименование работы | Объем, ч | |
| ПИЭ | ИСТ | |
| 1 Подготовка к практическим занятиям | 14 | 12 |
| 2 Подготовка к контрольным работам и контрольным опросам | 7 | 6 |
| 3 Выполнение индивидуальных домашних заданий и подготовка к защите решения | 10 | 7 |
| 4 Выполнение индивидуального дополнительного задания повышенной сложности* | 10 | 5 |
| 4 Подготовка к зачету | 10 | 10 |
| Итого | 51 | 40 |
| * Задание выполняется по желанию студента с целью повышения аттестационного балла по дисциплине | ||
Различные виды самостоятельной работы предполагают:
· изучение лекционного материала и рекомендованной литературы;
· выполнение практических заданий, в том числе индивидуальных расчетных и дополнительных заданий;
· подготовку ответов на вопросы, вынесенные на самостоятельное изучение.
При самостоятельной работе студентам необходимо:
· обратить внимание на новые понятия и термины, встретившиеся при изучении дисциплины, и при необходимости составить глоссарий (словарь терминов) по каждому модулю дисциплины;
· отработать схемы решения типовых задач дисциплины. Для этого необходимо подробно разобрать схему или алгоритм решения основных классов задач; уметь привести примеры ситуаций, в которых схема решения или алгоритм могут быть использованы; уметь на примере показать действие схемы решения или алгоритма;
· в процессе решения задач, тестов и т.п. связывать полученные знания с реальной действительностью.
3 ПЛАН-ГРАФИК ВЫПОЛНЕНИЯ САМОСТОЯТЕЛЬНОЙ
РАБОТЫ СТУДЕНТАМИ ПО ДИСЦИПЛИНЕ
Для рациональной организации самостоятельной работы студентам предлагается в течение семестра придерживаться плана-графика, представленного в таблице 2.
Таблица 2 – План-график выполнения самостоятельной работы
| Вид самостоя-тельной работы | Номер недели семестра | ||||||||||||||||
| 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | |
| ППЗ | 1 | 1,5 | 2 | 2/1,5 | 2/1,5 | 2/1,5 | 1,5 | 2/1,5 | |||||||||
| ИДЗ | 2/1 | 2/1,5 | 2/1,5 | 2/1,5 | 2/1,5 | ||||||||||||
| ПК | 4/3 | 3/3 | |||||||||||||||
| ДЗ | 2/1 | 2/1 | 2/1 | 2/1 | 2/1 | ||||||||||||
| З | 10 | ||||||||||||||||
| Итого в не-делю | 1 | 3,5/ 2,5 | 4/3,5 | 8/6 | 4/3 | 4/2,5 | 2/1 | 5,5/4 | 2/1 | 7/5,5 | 10 | ||||||
В таблице 2: ППЗ – подготовка к практическим занятиям (изучение конспектов лекций и рекомендуемой литературы, решение задач);