Учебно-методический комплекс дисциплины специальность: 050202 Информатика Канск

Скачать 330.17 Kb.

Название	Учебно-методический комплекс дисциплины специальность: 050202 Информатика Канск
страница	1/3
Дата публикации	28.10.2014
Размер	330.17 Kb.
Тип	Учебно-методический комплекс

100-bal.ru > Информатика > Учебно-методический комплекс

1 2 3

МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РФ

Филиал ФГБОУ ВПО

«Красноярский государственный педагогический университет

им. В.П. Астафьева» в г. Канске

Математическая логика

УЧЕБНО-МЕТОДИЧЕСКИЙ КОМПЛЕКС ДИСЦИПЛИНЫ

Специальность: 050202 – Информатика

Канск

2012

УМКД составлен преподавателем филиала, к.ф.-м.н., профессором Лариным С.В.

Обсужден на заседании Совета филиала

«_03»_сентября_2012 г.

Председатель Совета филиала А.Л. Андреев

Протокол согласования рабочей программы дисциплины «МАТЕМАТИЧЕСКАЯ ЛОГИКА»

с другими дисциплинами специальности 050202 ИНФОРМАТИКА

Наименование дисциплин, изучение которых опирается на данную дисциплину	Предложения об изменениях в пропорциях материала, порядка изложения и т.д.	Принятое решение (протокол №, дата) Совета филиала
Дискретная математика Элементы абстрактной и компьютерной алгебры. Теория алгоритмов Численные методы Теоретические основы информатики Теория вероятностей и математическая статистика Исследование операций	-	01/12 от 03.09.2012

лист внесения изменений
Дополнения и изменения рабочей программы на 2012/2013 учебный год

В рабочую программу вносятся следующие изменения:

1. ____________________________________________________________

2. ____________________________________________________________

3. ____________________________________________________________

Внесенные изменения утверждаю:
Директор филиала КГПУ им. В.П. Астафьева
"____"___________ 20__г.

СОДЕРЖАНИЕ

1. Пояснительная записка	6
2 Рабочая программа дисциплины	7
Выдержка из стандарта	8
Введение	9
Содержание теоретического курса дисциплин	10
Тематический план	11
Учебно-методическая (технологическая) карта дисциплины	12
Карта литературного обеспечения	14
Технологическая карта рейтинга	16
Методические рекомендации для студентов	18
Банк контрольных заданий и вопросов	22
Вопросы к зачёту	26
Тематика рефератов	27
Вопросов для самостоятельной работы	32

ПОЯСНИТЕЛЬНАЯ ЗАПИСКА
Учебно-методический комплекс дисциплины (УМКД) «Математическая логика» для студентов очной формы обучения по специальности 050202 – «Информатика» состоит из следующих элементов:

Рабочей программы дисциплины, включающей в себя основное её содержание и учебные ресурсы: литературное обеспечение, мультимедиа и электронные ресурсы.
Методических рекомендаций для студентов, которые содержат советы и разъяснения, позволяющие студенту оптимальным образом организовать процесс изучения дисциплины «Стилистика».
Рабочей тетради, которая включает задания, направленные на формирование навыков, необходимых для стилистического анализа текста, и закрепление учебного материала.
Банка контрольных заданий по дисциплине «Стилистика», каждое из которых представлено в 17 вариантах для индивидуальной проверки знаний студентов.
Вопросов к зачёту, который является итоговым контролем освоения студентом компетенции в области стилистики.
Тематики рефератов, которая отражает наиболее актуальные и значимые проблемы стилистики современного русского языка, и проверяет освоение вопросов рекомендованных для самостоятельного изучения студентом.

Поскольку в учебном плане по данной дисциплине не предусмотрено курсовых работ, то они отсутствуют; также не предусмотрены учебным планом рефераты, но перечень тем рефератов даётся в качестве дополнительного учебного материала.

РАБОЧАЯ ПРОГРАММА ДИСЦИПЛИНЫ

Математическая логика

ВЫДЕРЖКА ИЗ СТАНДАРТА
Настоящая рабочая модульная программа дисциплины (далее программа) составлена в соответствии с Государственным образовательным стандартом высшего профессионального образования по специальности 030100 – Информатика, утвержденного заместителем Министра образования и науки Российской Федерации А.Г.Свинаренко 31 января 2005 г., номер государственной регистрации № 661 пед/сп (новый).

ДПП.Ф.01

Математическая логика

Алгебра высказываний. Нормальные формы. Совершенные нормальные формы. Теорема существования и единственности совершенных нормальных форм. Логическое следствие. Прямая и обратная теоремы, противоположная и обратная теоремы; закон контрапозиции. Методы математических доказательств. Применение алгебры высказываний к описанию релейно-контактных схем. Исчисление высказываний. Формулы исчисления высказываний. Аксиомы исчисления высказывания и правила вывода. Теорема дедукции и ее применение. Исследования системы аксиом исчисления высказываний; их непротиворечивость и полнота.

Логика предикатов. Формулы логики предикатов и их классификация. Приведенная форма для формул логики предикатов. Предваренная нормативная форма. Проблема разрешения в логике предикатов. Применение логики предикатов. Строение математических теорем. Методы доказательства теорем. Исчисление предикатов. Непротиворечивость исчисления предикатов. Теорема Геделя о полноте исчисления предикатов.

130

Введение
Дисциплина «Математическая логика» относится к циклу дисциплин предметной подготовки. Она занимает одно из центральных мест в системе подготовки учителя по специальности 050202 Информатика.

Содержание дисциплины «Математическая логика» глубоко интегрировано в структуру блока дисциплин предметной подготовки.

Изучение данной дисциплины базируется на следующих дисциплинах:

Математика.
Информатика.
Программирование.
Программное обеспечение ЭВМ.

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

Дискретная математика.
Элементы абстрактной и компьютерной алгебры.
Теория алгоритмов.
Численные методы.
Теоретические основы информатики.
Теория вероятностей и математическая статистика.
Исследование операций.

Целью дисциплины является усвоение основных теоретических вопросов формальной логики и в связи с этим применение логических законов, приемов и операций на практике, в процессе рассуждения.

Задачи дисциплины:

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

Технология процесса обучения по дисциплине «Математическая логика» осуществляется в форме лекций и семинарских занятий, внеаудиторной самостоятельной работы. Дисциплина рассчитана на один семестр.

Содержание теоретического курса дисциплины
Модуль 1. Основные исчисления математической логики

Тема 1. Исчисление высказываний

Понятие формального языка, его синтаксиса и семантики. Язык исчисления высказываний. Семантика исчисления высказываний. Выполнимые и общезначимые формулы. Логическое следование. Элементарные конъюнкции и дизъюнкции. Дизъюнктивные и конъюнктивные нормальные формы. Принцип двойственности. Метод резолюций. Теорема компактности.
Тема 2. Исчисление предикатов

Язык исчисления предикатов. Семантика исчисления предикатов. Нормальные формы. Принцип двойственности. Метод резолюций. Принцип логического программирования.
Модуль 2. Основные системы и теории математической логики

Тема 3. Аксиоматические системы

Аксиоматические системы, их свойства (непротиворечивость, полнота, категоричность). Аксиоматическая система исчисления высказываний. Полнота и непротиворечивость исчисления высказываний. Натуральный вывод в исчислении высказываний. Аксиоматическая система исчисления предикатов. Натуральный вывод в исчислении предикатов. Эрбрановский универсум. Семантические деревья. Теорема Эрбрана и ее применение. Равенство в исчислении предикатов. Формальная арифметика.
Тема 4. Теории первого порядка

Теории первого порядка, их свойства (непротиворечивость, полнота, категоричность, аксиоматизируемость). Интерпретации. Модели. Существование модели для непротиворечивой теории. Полнота и непротиворечивость исчисления предикатов. Программа Гильберта. Понятие о теоремах Геделя.
Тема 5. Поиск вывода

Формулировка задачи поиска вывода. Синтетические и аналитические методы поиска вывода. Поиск натурального вывода в режиме диалога.

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

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

по специальности 050202 «Информатика»

№ п/п	Название раздела дисциплины	Количество часов занятий
		аудиторных			самостоятельных
		Лекцион-ных	практических занятий	лабораторных	самостоятельных
1	2	3	4	5	6
БАЗОВЫЙ МОДУЛЬ № 1 Основные исчисления математической логики
1	Исчисление высказываний	7	7	-	15
2	Исчисление предикатов	5	5	-	13
БАЗОВЫЙ МОДУЛЬ № 2 Основные системы и теории математической логики
4	Аксиоматические системы	8	8	-	15
5	Теории первого порядка	6	6	-	13
6	Поиск вывода	6	6	-	10
	Всего	32	32	-	66

1 2 3

Добавить документ в свой блог или на сайт

Похожие:

	Учебно-методический комплекс дисциплины специальность: 050202. 65 Информатика Канск Учебно-методический комплекс дисциплины (умкд) «Программирование» для студентов очной формы обучения по специальности 050202. 65...		Учебно-методический комплекс дисциплины специальность: 050202. 65 Информатика Канск Учебно-методический комплекс дисциплины (умкд) «Физика» для студентов очной формы обучения по специальности 050202. 65 «Информатика»...
	Учебно-методический комплекс дисциплины специальность: 050202. 65 Информатика Канск Учебно-методический комплекс дисциплины (умкд) «Сайтостроение» для студентов очной формы обучения по специальности 050202. 65 «Информатика»...		Учебно-методический комплекс дисциплины специальность: 050202. 65 Информатика Канск Учебно-методический комплекс дисциплины (умкд) «Эстетика» для студентов очной формы обучения по специальности 050202. 65 «Информатика»...
	Учебно-методический комплекс дисциплины специальность: 050202. 65 Информатика Канск Учебно-методический комплекс дисциплины (умкд) «Химия» для студентов очной формы обучения по специальности 050202. 65 «Информатика»...		Учебно-методический комплекс дисциплины специальность: 050202. 65 Информатика Канск Учебно-методический комплекс дисциплины (умкд) «История информатики» для студентов очной формы обучения по специальности 050202....
	Учебно-методический комплекс дисциплины специальность: 050202. 65 Информатика Канск Учебно-методический комплекс дисциплины (умкд) «Информационные системы» для студентов очной формы обучения по специальности 050202....		Учебно-методический комплекс дисциплины специальность: 050202. 65 Информатика Канск Учебно-методический комплекс дисциплины (умкд) «Основы микроэлектроники» для студентов очной формы обучения по специальности 050202....
	Учебно-методический комплекс дисциплины специальность: 050202. 65 Информатика Канск Учебно-методический комплекс дисциплины (умкд) «Информационная культура» для студентов очной формы обучения по специальности 050202....		Учебно-методический комплекс дисциплины специальность: 050202 Информатика Канск Учебно-методический комплекс дисциплины (умкд) «Архитектура компьютера» для студентов очной формы обучения по специальности 050202...
	Учебно-методический комплекс дисциплины специальность: 050202. 65 Информатика Канск Протокол согласования рабочей программы дисциплины «культурология» с другими дисциплинами специальности 050202. 65 Информатика		Учебно-методический комплекс дисциплины специальность: 050202. 65 Информатика Канск ...
	Учебно-методический комплекс дисциплины специальность: 050202. 65 Информатика Канск ...		Учебно-методический комплекс дисциплины специальность: 050502. 65 Информатика Канск Учебно-методический комплекс дисциплины (умкд) «Политология» для студентов очной формы обучения по специальности 050202 «Информатика»...
	Учебно-методический комплекс дисциплины специальность: 050502 Информатика Канск Учебно-методический комплекс дисциплины (умкд) «Социология» для студентов очной формы обучения по специальности 050202 «Информатика»...		Вводный курс информатики учебно-методический комплекс дисциплины... Учебно-методический комплекс дисциплины (умкд) «Вводный курс информатики» для студентов очной формы обучения по специальности 050202....

Школьные материалы