Скачать 330.17 Kb.
|
МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РФ Филиал ФГБОУ ВПО «Красноярский государственный педагогический университет им. В.П. Астафьева» в г. Канске Математическая логика УЧЕБНО-МЕТОДИЧЕСКИЙ КОМПЛЕКС ДИСЦИПЛИНЫ Специальность: 050202 – Информатика Канск 2012 УМКД составлен преподавателем филиала, к.ф.-м.н., профессором Лариным С.В. Обсужден на заседании Совета филиала «_03»_сентября_2012 г. Председатель Совета филиала А.Л. Андреев Протокол согласования рабочей программы дисциплины «МАТЕМАТИЧЕСКАЯ ЛОГИКА» с другими дисциплинами специальности 050202 ИНФОРМАТИКА
лист внесения изменений Дополнения и изменения рабочей программы на 2012/2013 учебный год В рабочую программу вносятся следующие изменения: 1. ____________________________________________________________ 2. ____________________________________________________________ 3. ____________________________________________________________ Внесенные изменения утверждаю: Директор филиала КГПУ им. В.П. Астафьева "____"___________ 20__г. СОДЕРЖАНИЕ
ПОЯСНИТЕЛЬНАЯ ЗАПИСКА Учебно-методический комплекс дисциплины (УМКД) «Математическая логика» для студентов очной формы обучения по специальности 050202 – «Информатика» состоит из следующих элементов:
Поскольку в учебном плане по данной дисциплине не предусмотрено курсовых работ, то они отсутствуют; также не предусмотрены учебным планом рефераты, но перечень тем рефератов даётся в качестве дополнительного учебного материала. РАБОЧАЯ ПРОГРАММА ДИСЦИПЛИНЫ Математическая логика ВЫДЕРЖКА ИЗ СТАНДАРТА Настоящая рабочая модульная программа дисциплины (далее программа) составлена в соответствии с Государственным образовательным стандартом высшего профессионального образования по специальности 030100 – Информатика, утвержденного заместителем Министра образования и науки Российской Федерации А.Г.Свинаренко 31 января 2005 г., номер государственной регистрации № 661 пед/сп (новый).
Введение Дисциплина «Математическая логика» относится к циклу дисциплин предметной подготовки. Она занимает одно из центральных мест в системе подготовки учителя по специальности 050202 Информатика. Содержание дисциплины «Математическая логика» глубоко интегрировано в структуру блока дисциплин предметной подготовки. Изучение данной дисциплины базируется на следующих дисциплинах:
Материал данной дисциплины непосредственно используется для изучения следующих дисциплин:
Целью дисциплины является усвоение основных теоретических вопросов формальной логики и в связи с этим применение логических законов, приемов и операций на практике, в процессе рассуждения. Задачи дисциплины:
Технология процесса обучения по дисциплине «Математическая логика» осуществляется в форме лекций и семинарских занятий, внеаудиторной самостоятельной работы. Дисциплина рассчитана на один семестр. Содержание теоретического курса дисциплины Модуль 1. Основные исчисления математической логики Тема 1. Исчисление высказываний Понятие формального языка, его синтаксиса и семантики. Язык исчисления высказываний. Семантика исчисления высказываний. Выполнимые и общезначимые формулы. Логическое следование. Элементарные конъюнкции и дизъюнкции. Дизъюнктивные и конъюнктивные нормальные формы. Принцип двойственности. Метод резолюций. Теорема компактности. Тема 2. Исчисление предикатов Язык исчисления предикатов. Семантика исчисления предикатов. Нормальные формы. Принцип двойственности. Метод резолюций. Принцип логического программирования. Модуль 2. Основные системы и теории математической логики Тема 3. Аксиоматические системы Аксиоматические системы, их свойства (непротиворечивость, полнота, категоричность). Аксиоматическая система исчисления высказываний. Полнота и непротиворечивость исчисления высказываний. Натуральный вывод в исчислении высказываний. Аксиоматическая система исчисления предикатов. Натуральный вывод в исчислении предикатов. Эрбрановский универсум. Семантические деревья. Теорема Эрбрана и ее применение. Равенство в исчислении предикатов. Формальная арифметика. Тема 4. Теории первого порядка Теории первого порядка, их свойства (непротиворечивость, полнота, категоричность, аксиоматизируемость). Интерпретации. Модели. Существование модели для непротиворечивой теории. Полнота и непротиворечивость исчисления предикатов. Программа Гильберта. Понятие о теоремах Геделя. Тема 5. Поиск вывода Формулировка задачи поиска вывода. Синтетические и аналитические методы поиска вывода. Поиск натурального вывода в режиме диалога. Тематический план изучения дисциплины «Математическая логика» по специальности 050202 «Информатика»
|
Учебно-методический комплекс дисциплины специальность: 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.... |