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

Скачать 374.54 Kb.

Название	Учебно-методический комплекс дисциплины «Математическая логика и теория алгоритмов»
страница	3/5
Дата публикации	15.03.2015
Размер	374.54 Kb.
Тип	Учебно-методический комплекс

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

1 2 3 4 5

АУДИТОРНЫЙ ПРАКТИКУМ

РАЗДЕЛ ДИСЦИПЛИНЫ, вид контрольного мероприятия	АУДИТОРНЫЕ ЗАНЯТИЯ
	СОДЕРЖАНИЕ	время (час)
	СОДЕРЖАНИЕ	ауд.	СРС
1. Раздел I, тема 1. Логика высказываний.	Высказывания, основные операции над высказываниями, пропозициональные связки. Формулы алгебры высказываний. Применение метода таблиц истинности к доказательству тождественной истинности (ложности), выполнимости, опровержимости формул алгебры высказываний.	2	2
2. Раздел I, тема 2. Функции алгебры логики. Метод таблиц истинности. Основные эквивалентные формулы алгебры логики.	Функции алгебры логики. Элементарные булевы функции, их таблицы истинности. Применение метода таблиц истинности к доказательству тождественной истинности (ложности), выполнимости, опровержимости, эквивалентности функций алгебры логики. Решение тех же задач методом эквивалентных преобразований.	2	2
3. Раздел I, тема 2. Нормальные формы булевых функций.	Приведение булевых функций к дизъюнктивной и конъюнктивной нормальным формам, совершенным нормальным формам по таблице истинности и с помощью эквивалентных преобразований.	2	2
4. Раздел I, тема 2. Полиномы Жегалкина. Двойственность.	Приведение булевых функций к полиному Жегалкина методом неопределённых коэффициентов и с помощью эквивалентных преобразований. Построение двойственных функций по определению и с помощью принципа двойственности.	2	2
5. Раздел I, тема 3. Релейно-контактные схемы.	Реализация булевой функции релейно-контактной схемой. Нахождение по релейно-контактной схеме булевой функции, которую она реализует.	2	4
6. Мероприятия системы межсессионного контроля: раздел I, темы 1 – 3.	Контрольная работа № 1	2
7. Раздел I, тема 4. Логика предикатов. Выполнимость и общезначимость формул логики предикатов.	Построение интерпретаций формул логики предикатов. Доказательство и опровержение общезначимости формул в частных случаях.	2	1
8. Раздел I, тема 4. Эквивалентные формулы логики предикатов.	Эквивалентные преобразования формул логики предикатов.	1	1
9. Раздел II, тема 5. Правила вывода теории исчисления высказываний.	Формальная система теории исчисления высказываний. Доказательство производных правил вывода и простейших теорем.	3	2
10. Раздел II, тема 5. Доказательство теорем.	Доказательство теорем теории исчисления высказываний.	2	2
11. Раздел II, тема 5. Другие теории исчислении высказываний.	Доказательство теорем других теорий исчисления высказываний (Россера, Гильберта-Аккермана, исчисления секвенций, интуиционистской).	2	4
12. Раздел II, тема 6. Правила вывода теории исчисления предикатов. Доказательство теорем. Метод резолюций.	Доказательство производных правил вывода и теорем теории исчислений предикатов. Метод резолюций.	2	4
13. Мероприятия системы межсессионного контроля: раздел I, тема 4, раздел II, темы 5 - 6.	Контрольная работа № 2	2
14. Раздел III, тема 8. Рекурсивные функции.	Доказательство примитивной рекурсивности, частичной рекурсивности и общерекурсивности некоторых арифметических функций. Восстановление явного вида функции по схеме примитивной рекурсии. Выдача индивидуального домашнего задания.	2	2
15. Раздел III, тема 9. Понятие машины Тьюринга.	Нахождение конечных конфигураций машин Тьюринга при заданных начальных конфигурациях. Распознавание применимости машины Тьюринга к начальному слову. Определение вычисляемой функции по программе машины Тьюринга.	2	2
16. Раздел III, тема 9. Построение машин Тьюринга.	Построение машин Тьюринга, вычисляющих заданные функции и осуществляющих определённые преобразования начальных слов. Действия над машинами Тьюринга.	2	4
17. Заключительное занятие.	Переписывание контрольных работ, проверка домашних заданий, приём индивидуального домашнего задания.	2
Всего		34	34

ГРАФИК КОНТРОЛЬНЫХ МЕРОПРИЯТИЙ
Для закрепления материала предусматривается проведение двух аудиторных контрольных работ и выполнение индивидуального домашнего задания.

Контрольная работа №1 проводится 6 неделе и охватывает темы 1 – 3 раздела I (логика высказываний, теория булевых функций, релейно-контактные схемы), включает 5 задач на указанные темы.

Контрольная работа №2 проводится 13 неделе и охватывает тему 4 раздела I, темы 5 – 6 раздела II (логика предикатов, теории исчисления высказываний и предикатов), включает 5 задач на указанные темы.

Индивидуальное домашнее задание выполняется и защищается на 14-17 неделях, содержит 10 -12 задач на темы 8 – 9 раздела II (рекурсивные функции, машины Тьюринга).

На 17 неделе предусматривается заключительное занятие для защиты индивидуального домашнего задания, переписывания контрольных работ, проверки домашних заданий у отсутствовавших на занятиях студентов.

СЕМЕСТР	НЕДЕЛИ СЕМЕСТРА
	1	2	3	4	5	6	7	8	9	10	11	12	13	14	15	16	17
3						Контрольная работа №1							Контрольная работа №2				Заключительное занятие

САМОСТОЯТЕЛЬНАЯ РАБОТА СТУДЕНТОВ
Самостоятельная работа студентов включает:

освоение лекционного материала;
выполнение текущих общих домашних заданий (5 – 8 задач после каждого аудиторного практического занятия, кроме занятий по темам 8 - 9);
подготовку к контрольным работам;
выполнение индивидуального домашнего задания;
оформление выполненного индивидуального домашнего задания;
подготовку к защите выполненного индивидуального домашнего задания.

В отчет по индивидуальному домашнему заданию должны входить:

условия задач (конкретное задание выдается преподавателем);
подробные решения;
ответы.

Самостоятельная работа студентов по дисциплине складывается из времени, необходимого для освоения лекционного материала, освоения и совершенствования навыков решения задач и времени выполнения и оформления индивидуального домашнего задания.

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

Раздел дисциплины	Работа над дисциплиной
	Содержание учебного задания	Время (час)
	Содержание учебного задания	Аудиторное	СРС
Темы 1 - 3	Подготовка к контрольной работе №1, выполнение домашних заданий. Подготовка к защите домашних заданий.		12
Темы 4 - 6	Подготовка к контрольной работе №2, выполнение домашних заданий. Подготовка к защите домашних заданий.		14
Темы 8 - 9	Выполнение и подготовка к защите индивидуального домашнего задания.		8
	Всего		34

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

1 2 3 4 5

Похожие:

	Учебно-методический комплекс по дисциплине математическая логика и теория алгоритмов Курс математическая логика и теория алгоритмов обеспечивает приобретение знаний в соответствии с государственным образовательным...		Рабочая программа составлена в соответствии с требованиями фгос впо... Дёгтев А. Н. Теория алгоритмов. Учебно-методический комплекс. Рабочая программа для студентов направления 010100. 62 – математика,...
	Программа дисциплины «Информатика, математическая логика и теория... Программа предназначена для преподавателей, ведущих данную дисциплину, учебных ассистентов и студентов направлений подготовки 231000....		Учебно-методический комплекс дисциплины логика федеральное агентство... Логика, изучающая познающее мышление и применяемая как средство познания, возникла и развивалась в рамках теории познания, и в настоящее...
	Учебно-методический комплекс дисциплины специальность: 050202 Информатика Канск Учебно-методический комплекс дисциплины (умкд) «Математическая логика» для студентов очной формы обучения по специальности 050202...		Рефератов по курсу «Математическая логика и теория алгоритмов» Темпоральные логики высказываний линейного времени и вычислительных деревьев: их синтаксис и семантика
	Радиофизический факультет Фгос впо, содействует формированию мировоззрения и системного мышления. Целью преподавания дисциплины «Математическая логика и теория...		Рабочая программа составлена в соответствии с требованиями фгос впо... Дёгтев А. Н. Теория автоматов. Учебно-методический комплекс. Рабочая программа для студентов направления 010100. 62 – математика,...
	Вопросы к государственному экзамену по информатике Дискретная математика. Теория алгоритмов. Математическая логика. Численные методы. Теоретические основы информатики. Исследование...		Учебно-методический комплекс дисциплины «логика» Учебно-методический комплекс «Логика» предназначен для студентов I курса специальности 030900. 62 Юриспруденция, составлен в соответствии...
	Учебно-методический комплекс дисциплины математическая логика Основная образовательная программа ...		Рабочая программа для студентов очной формы обучения, направление... Иванов Д. И. Математическая логика и теория алгоритмов. Учебно-методический комплекс. Рабочая программа для студентов очной формы...
	Рабочая программа дисциплины «Математическая логика и теория алгоритмов» Рабочая программа предназначена для преподавания дисциплины вариативной части профессионального цикла студентам очной формы обучения...		Рабочая программа для студентов очной формы обучения направление... Иванов Д. И. Математическая логика и теория алгоритмов. Учебно-методический комплекс. Рабочая программа для студентов очной формы...
	Вопросы к экзамену по курсу «Математическая логика и теория алгоритмов» Методические указания предназначены для студентов, обучающихся по направлению 020400. 68 «Биология», магистерская программа 020400....		Программа вступительных испытаний по дисциплине «Математика» Курс математическая логика и теория алгоритмов обеспечивает приобретение знаний в соответствии с государственным образовательным...

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

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

Раздел дисциплины

Работа над дисциплиной

Содержание учебного задания

Похожие: