Математическая логика (стр. 1 )

Негосударственное образовательное учреждение

высшего профессионального образования

Центросоюза Российской Федерации

СИБИРСКИЙ УНИВЕРСИТЕТ

ПОТРЕБИТЕЛЬСКОЙ КООПЕРАЦИИ

ЗАБАЙКАЛЬСКИЙ ИНСТИТУТ ПРЕДПРИНИМАТЕЛЬСТВА

УТВЕРЖДАЮ

Зам. директора по учебной работе

_____________

«____»_________ 2012 г.

РАБОЧАЯ ПРОГРАММА

УЧЕБНОЙ ДИСЦИПЛИНЫ

МАТЕМАТИЧЕСКАЯ ЛОГИКА

направление 230700.62 Прикладная информатика

профиль «Прикладная информатика в информационной сфере»

Чита

2012

КАФЕДРА ПРИКЛАДНОЙ ИНФОРМАТИКИ

Рабочая программа учебной дисциплины «Математическая логика» составлена в соответствии с требованиями Федерального государственного образовательного стандарта высшего профессионального образования направления 230700.62 Прикладная информатика профиль «Прикладная информатика в информационной сфере».

Автор: ёжникова, канд. пед. наук, доцент

Рецензент: , канд. физ.-мат. наук, доцент

Программа рекомендована к изданию кафедрой прикладной информатики, протокол от «20» января 2012 г. № 5.

© Забайкальский институт

предпринимательства, 2012

1. ОРГАНИЗАЦИОННО-МЕТОДИЧЕСКИЙ РАЗДЕЛ

1.1. Цель и задачи изучения дисциплины

Цель изучения дисциплины «Математическая логика» –вооружить студентов математическим аппаратом, необходимым для создания и эксплуатации современных ЭВМ, средств передачи и обработки информации, автоматизированных систем управления и проектирования.

Основными задачами при изучении дисциплины «Математическая логика» являются:

− формирование теоретических знаний по основным разделам курса;

− развитие логического и алгоритмического мышления студентов;

− овладение методами математической логики, применяемыми в области информатики и вычислительной техники;

− развитие умения использовать знание основных понятий и предложений математической логики при изучении основ алгоритмизации и программирования, информационных технологий, архитектуры ЭВМ и вычислительных систем, компьютерных сетей и других общепрофессиональных и специальных дисциплин;

− выработка умения у студентов самостоятельно расширять математические знания и проводить математический анализ прикладных задач.

1.2. Место дисциплины

в системе высшего профессионального образования

Дисциплина «Математическая логика» относится к вариативной части базового цикла Б.2.В.04 направления 230700.62 Прикладная информатика профиль «Прикладная информатика в информационной сфере».

Изучение дисциплины «Математическая логика» является основой для изучения дисциплин «Введение в теорию алгоритмов и алгоритмические языки», «Программная инженерия», «Проектирование информационных систем».

1.3. Требования к уровню освоения

содержания дисциплины

В результате изучения дисциплины «Математическая логика» студент должен:

знать:

− методы теории множеств, математической логики, алгебры высказываний и булевых функций;

− элементы математической лингвистики и теории формальных языков.

Уметь:

− применять основные методы математической логики к решению прикладных задач;

− применять математическую символику для формализации количественных и качественных отношений объектов.

Иметь навыки:

− теоретико-множественного подхода к постановке и решению задач;

− моделирования прикладных задач методами математической логики.

Процесс изучения дисциплины направлен на формирование следующих профессиональных компетенций выпускника:

− способности осуществлять и обосновывать выбор проектных решений по видам обеспечения информационных систем (ПК-5);

− способности применять системный подход и математические методы в формализации решения прикладных задач (ПК-21).

2. ОБЪЕМ ДИСЦИПЛИНЫ И ВИДЫ УЧЕБНОЙ РАБОТЫ

ПО ФОРМАМ И СРОКАМ ОБУЧЕНИЯ (ч)

2.1. Очная форма обучения – 4 года

Вид занятия	4 семестр
Аудиторные занятия:	108
лекции	42
практические	–
семинарские	–
лабораторные	66
Курсовая работа (проект)	–
Самостоятельная работа	72
Зачетные единицы: всего, в том числе без экзамена	6
5
Общая трудоемкость	180
Вид итогового контроля	Экзамен

2.2. Очная форма обучения – 3 года

Вид занятия	4 семестр
Аудиторные занятия:	108
лекции	42
практические	–
семинарские	–
лабораторные	66
Курсовая работа (проект)	–
Самостоятельная работа	72
Зачетные единицы: всего, в том числе без экзамена	6
5
Общая трудоемкость	180
Вид итогового контроля	Экзамен

2.3. Заочная форма обучения – 4,6 года

Вид занятия	2 курс
Аудиторные занятия:	26
лекции	12
практические	14
семинарские	–
лабораторные	–
Контрольная работа	+
Курсовая работа (проект)	–
Самостоятельная работа	154
Зачетные единицы: всего, в том числе без экзамена	6
5
Общая трудоемкость	180
Вид итогового контроля	Экзамен

2.4. Заочная форма обучения – 3,6 года

Вид занятия	2 курс
Аудиторные занятия:	16
лекции	6
практические	10
семинарские	–
лабораторные	–
Контрольная работа	+
Курсовая работа (проект)	–
Самостоятельная работа	164
Зачетные единицы: всего, в том числе без экзамена	6
5
Общая трудоемкость	180
Вид итогового контроля	Экзамен

3. СОДЕРЖАНИЕ ДИСЦИПЛИНЫ

3.1. Тематический план

Очная форма обучения – 4 года

№ п/п	Темы дисциплины	Количество часов на изучение
всего	в том числе
лекции	практические (семинарские) занятия	лабораторные занятия	СРС
1	2	3	4	5	6	7
1.	Тема 1. Алгебра высказываний	28	6	–	10	12
2.	Тема 2. Булевы функции	30	8	–	10	12
3.	Тема 3. Формализованное исчисление высказываний	30	6	–	12	12
4.	Тема 4. Логика предикатов	32	8	–	12	12
5.	Тема 5. Неформальные аксиоматические теории	30	6	–	12	12
6.	Тема 6. Формальные аксиоматические теории	30	8	–	10	12
ИТОГО:	180	42	–	66	72

Очная форма обучения – 3 года