Рабочая программа специальность 351500 математическое обеспечение и администрирование информационных систем статус дисциплины icon

Рабочая программа специальность 351500 математическое обеспечение и администрирование информационных систем статус дисциплины


Смотрите также:
Рабочая программа специальность 351500 математическое обеспечение и администрирование...
Рабочая программа специальность 351500 математическое обеспечение и администрирование...
Рабочая программа специальность 351500 математическое обеспечение и администрирование...
Рабочая программа специальность 351500 математическое обеспечение и администрирование...
Рабочая программа специальность 351500 математическое обеспечение и администрирование...
Рабочая программа специальность 351500 математическое обеспечение и администрирование...
Рабочая программа специальность 351500 математическое обеспечение и администрирование...
Рабочая программа специальность 351500 математическое обеспечение и администрирование...
Рабочая программа специальность 351500 математическое обеспечение и администрирование...
Рабочая программа специальность 351500 математическое обеспечение и администрирование...
Рабочая программа специальность 351500 математическое обеспечение и администрирование...
Рабочая программа специальность 351500 математическое обеспечение и администрирование...



Загрузка...
скачать
МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ


ТОМСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ

Утверждаю

Декан факультета информатики

С.П. Сущенко

« » 2010 г.

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

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


Специальность 351500 – МАТЕМАТИЧЕСКОЕ ОБЕСПЕЧЕНИЕ И АДМИНИСТРИРОВАНИЕ ИНФОРМАЦИОННЫХ СИСТЕМ


Статус дисциплины:

федеральный компонент специальности

Томск - 2010 г.

ОДОБРЕНО кафедрой программной инженерии


Протокол №19 от 01.12.2010.


Зав. кафедрой, профессор _________________О.А.Змеев


РЕКОМЕНДОВАНО методической комиссией факультета информатики


Председатель комиссии, профессор _____________________ Б.А.Гладких


“___”_____________2010 г.


Рабочая программа по курсу “^ Математическая логика” требований Государственного образовательного стандарта высшего профессионального образования по специальности 351500 – МАТЕМАТИЧЕСКОЕ ОБЕСПЕЧЕНИЕ И АДМИНИСТРИРОВАНИЕ ИНФОРМАЦИОННЫХ СИСТЕМ, утвержденного 10 марта 2000 г. Общий объем курса 204 часа. Из них: лекции – 48 часов, семинарские занятия – 16 часов, лабораторные занятия – 32 часа, самостоятельная работа студентов – 108 часов. Экзамен во втором семестре. Общая трудоемкость курса 5 зач. ед.


СОСТАВИТЕЛЬ:

Матушевский Виктор Валентинович – старший преподаватель кафедры прикладной информатики


Выписка

из Государственного образовательного стандарта высшего профессионального образования по специальности 351500 – МАТЕМАТИЧЕСКОЕ ОБЕСПЕЧЕНИЕ И АДМИНИСТРИРОВАНИЕ ИНФОРМАЦИОННЫХ СИСТЕМ (квалификация – математик-программист).


^ ЕН.Ф.01.09 Математическая логика. Знаковые системы, высказывания, предикаты, исчисления общего вида; понятие вывода; вычислимые функции; модели вычислений; невычислимые функции; разрешимость и перечислимость; логика высказываний; нормальные формы; выполнимость и общезначимость; логико-математический язык; исчисление предикатов; теория логического вывода; дедуктивные системы; полнота и непротиворечивость исчисления предикатов; теорема Геделя о неполноте; метод резолюций; тактики поиска вывода.


Цели и задачи дисциплины, ее место в учебном процессе

1.1. Цель преподавания дисцилины

Целью курса является изучение математической логики.


1.2. Задачи изучения дисциплины

Студент должен уметь пользоваться методами математической логики.


^ 1.3. Перечень дисциплин, усвоение которых необходимо для изучения курса

Для изучения курса необходимо знание курса дискретной математики.

2. Содержание дисцилины
2.1. Теоретическая часть
1. Логика высказываний.
Высказывания. Формулы. Истинностные значения формул. Интерпретация формул. Общезначимость и противоречивость. Эквивалентность формул. Нормальные формы. Приведение к нормальным формам. 2. Логическое следствие.
Определение логического следствия. Теоремы о логическом следствии. Правила логического вывода. 3. Метод резолюций.
Теорема о резольвенте. Резолютивный вывод. Теорема о полноте резолютивного вывода.
^ 4. Логика предикатов первого порядка.Термы, предикаты, кванторы. Связанные и свободные переменные. Правильно построенные формулы. Интерпретация формул в логике первого порядка. Резолютивный вывод в логике первого порядка. Доказательство теорем.

^ 2.2. Практические и семинарские занятия

По курсу предусмотрены следующие темы практических занятий:
Т е м а 1. Логика высказываний (4 часов).
Т е м а 2. Логическое следствие (4 часов).
Тема 3. Метод резолюций (4 часа).
Тема 4. Логика предикатов первого порядка (4 часа).
Тема 5. Резолютивный вывод в логике предикатов (4 часа).

^ 2.3. Лабораторные работы выполняются в рамках курса “Программирование”.

2.4. Курсовой проект

Курсовой проект не предусмотрен.


3. Учебно-методические материалы по дисциплине
3.1. Основная литература
1. Чень Ч., Ли Р. Математическая логика и автоматическое доказательство теорем. – М., Наука, 1983.
2. Колмогоров А.Н., Драгалин А.Г. Введение в математическую логику. – М., изд-во МГУ, 1982.


3.2. Дополнительная литература
1. Колмогоров А.Н., Драгалин А.Г. Математическая логика. Дополнительные главы. – М., изд-во МГУ, 1984.
4. Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов. – М., Наука, 1984.

4.1. Наглядных пособий и технических средств обучения при чтении данного курса не предусмотрено.




оставить комментарий
Дата03.10.2011
Размер43,7 Kb.
ТипРабочая программа, Образовательные материалы
Добавить документ в свой блог или на сайт

Ваша оценка этого документа будет первой.
Ваша оценка:
Разместите кнопку на своём сайте или блоге:
rudocs.exdat.com

Загрузка...
База данных защищена авторским правом ©exdat 2000-2017
При копировании материала укажите ссылку
обратиться к администрации
Анализ
Справочники
Сценарии
Рефераты
Курсовые работы
Авторефераты
Программы
Методички
Документы
Понятия

опубликовать
Загрузка...
Документы

Рейтинг@Mail.ru
наверх