Российской Федерации Федеральное агентство по образованию Псковский государственный педагогический университет имени С. М. Кирова

Сколько различных приведенных форм имеет формула: . 3 1 0 2 Укажите операции, являющиеся двойственными 1. и 2. и 3. и отрицание 4. отрицание и 5. и В основе, какой из равносильностей лежит принцип доказательства «методом контрапозиции» 1. 2. 3. 4. 5. Укажите, какие формулы являются КН – формами 1. 2. 3. 4. 5. Теорема, противоположная для : 1. 2. 3. 4. 5. СДНФ формулы алгебры логики: 1 0 Для доказательства теоремы на основании теоремы о дедукции необходимо доказать вывод: , ╞ ╞ , ╞ , ╞ , ╞ 5. Формы и методы самостоятельной работы 1. Изучение литературы при подготовке презентаций и буклетов 2. Подготовка рефератов в форме презентаций или электронных публикаций (перечень тем см. ниже) 3. Изучение доказательств лемм, теорем. 4. Доказательство по аналогии. 5. Работа с Интернет-ресурсами. 6. Работа с электронными учебниками (см. Наглядные пособия)Анализ школьных учебников 7. Выполнение расчетно-графической работы. При организации самостоятельной работы применяются типы работ: -воспроизводящие самостоятельные работы (по образцу) -реконструктивные самостоятельные работы -эвристические самостоятельные работы -исследовательские самостоятельные работы 5.1 Примерный перечень тем рефератов по курсу. Предмет математической логики Понятия, экспликации, суждения и умозаключения Логические и семантические парадоксы Теоретико-множественные операции Континуум Логико-математический язык Кванторы Принцип дедукции Формальный вывод и разрешимая формула Метод резолюций Диаграммы Венна Модальная логика Темпоральная и нечеткая логика Нечеткие множества Нечеткие отношения Лингвистическая переменная Синтаксические и семантические правила Логико-лингвистический подход Аксиоматический метод Аксиоматико-дедуктивный метод в математике Неформальная аксиоматика Программа Гильберта Понятие о метаязыке и метатеории Формальные системы Формализация теории, интерпретация и представление системы Фразы Грамматики Финитные и дефинитные методы Этапы становления математической логики Логика Аристотеля 6. Формы текущего, промежуточного и итогового контроля. Текущий контроль: - Самостоятельные работы - Индивидуальные задания - Опрос студентов Промежуточный контроль: - Коллоквиум по алгебре и исчислению высказываний - Контрольный тест по алгебре и исчислению высказываний - Контрольная работа по алгебре и исчислению предикатов - Расчетно-графическая работа Итоговый контроль: - Экзамен 7. Список литературы Основная Игошин В.И. Математическая логика и теория алгоритмов: Учебное пособие для студентов высших учебных заведений. – М.: Издательский центр «Академия», 2004. – 448 с. Игошин В.И. Задачник-практикум по математической логике. – М.:1986. Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов. – М., 1975. Мендельсон Э. Введение в математическую логику: Пер. с англ. – М.,1976. Мощенский В.А. Лекции по математической логике. – Минск, 1973. Дополнительная Аристотель. Сочинения: В 4 т. – М., 1976-1981. Бойко А.П. Краткий курс логики. – М., 1995. Ефремов Г.О. Алгебра логики и контактные схемы. – М., 1969. Новиков П.С. Элементы математической логики. – М., 1973. Столл Р.Р. Множества. Логика. Аксиоматические теории: Пер. с анг. – М.,1968. Ресурсы сети Интернет Плиско В. Е. Математическая логика: Курс лекций. -- 86 с. -- http://lpcs.math.msu.su/~plisko/matlog.pdf, http://lpcs.math.msu.su/~plisko/matlog.ps Плиско В. Е. Теория алгоритмов: Курс лекций. -- 38 с. -- http://lpcs.math.msu.su/~plisko/ta.pdf, http://lpcs.math.msu.su/~plisko/ta.ps Bilaniuk S. A Problem Course in Mathematical Logic. -- 2003. -- XII, 152 p. -- http://www.trentu.ca/mathematics/sb/pcml/

Похожие:

	Российской Федерации Федеральное агентство по образованию Псковский... Методические рекомендации по отечественной истории для студентов I курсов неспециальных факультетов		Российской Федерации Федеральное агентство по образованию Псковский... Рабочая программа составлена на основании Государственного образовательного стандарта высшего профессионального образования по специальности...
	Российской Федерации Федеральное агентство по образованию псковский... Рабочая программа составлена на основании Государственного образовательного стандарта высшего профессионального образования по специальности...		Кашкина Эмма Хрисанфовна, учитель русского языка и литературы высшей... Федеральное агентство по образованию российской федерации фгоу впо «южный федеральный университет педагогический иститут»
	Развитие воображения у детей Федеральное агентство по образованию российской федерации фгоу впо «южный федеральный университет педагогический иститут»		Современный русский язык Федеральное агентство по образованию российской федерации фгоу впо «южный федеральный университет педагогический иститут»
	Темы конкурса рефератов Федеральное агентство по образованию российской федерации фгоу впо «южный федеральный университет педагогический иститут»		Триз – технология творчества Федеральное агентство по образованию российской федерации фгоу впо «южный федеральный университет педагогический иститут»
	Протокол №7 от «22» марта 2011 г Федеральное агентство по образованию российской федерации фгоу впо «южный федеральный университет педагогический иститут»		Федеральное агентство по образованию Томский государственный педагогический университет Томский государственный педагогический университет совместно с Сибирским нии торфа со расхн, Институтом климатических и экологических...
	Рабочая программа курса «Русский язык» Федеральное агентство по образованию российской федерации фгоу впо «южный федеральный университет педагогический иститут»		Лекция Творческий потенциал человека Вопросы Федеральное агентство по образованию российской федерации фгоу впо «южный федеральный университет педагогический иститут»
	Сборник статей под редакцией Гайденко П. П Федеральное агентство по образованию российской федерации фгоу впо «южный федеральный университет педагогический иститут»		Урок обобщения. Цели: развить орфографическую зоркость Федеральное агентство по образованию российской федерации фгоу впо «южный федеральный университет педагогический иститут»
	Интуициология: начала начал науки о творчестве человека1 Федеральное агентство по образованию российской федерации фгоу впо «южный федеральный университет педагогический иститут»		Конференция «Наука и творчество: взгляд молодых профессионалов» Федеральное агентство по образованию российской федерации фгоу впо «южный федеральный университет педагогический иститут»