Рабочая программа (стр. 3 )

Курсовая работа учебным планом не предусмотрена.

3.6. Учебная практика по дисциплине, краткая характеристика

Учебная практика по дисциплине учебным планом не предусмотрена.

4. Учебно-методические материалы по дисциплине

4.1. Основная и дополнительная литература

Основная литература

1. Игошин, логика и теория алгоритмов : учеб. пособие для студентов вузов / . - М. : Академия- 448 с.

2. Лавров, логика : учеб. пособие для студентов вузов / ; под ред. . - М. : Академия - 240 с.

Дополнительная литература

3. Игошин, логика и теория алгоритмов : учеб. пособие для студентов вузов / . - М. : Академия, 20с.

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

Лабораторный практикум не предусмотрен.

4.3. Перечень обучающих, контролирующих компьютерных программ,

диафильмов, кино - и телефильмов, мультимедиа и т. п.

Тесты Всероссийского тестирования по специальности (www.fepo.ru)

4.4. Раздаточный материал

Количество раздаточного материала совпадает с количеством студентов.

Организация и методика текущего

и промежуточного контроля знаний

Контрольная работа № 1.

ВАРИАНТ № 1

Задание 1. Запишите логической формулой следующие умозаключения, и уточнить их справедливость тремя методами:

а) Вы обязаны что-то сделать, значит, вы делаете это.

б) Если закон всемирного тяготения верен, с его помощью можно открыть другие законы. Закон всемирного тяготения верен, поэтому с его помощью могут быть открыты другие законы.

в) Если к телу, движущемуся равномерно и прямолинейно, не подводится сила, оно движется без ускорения; тело движется без ускорения; значит, к нему не подводится сила.

Задание 2. Выявите структуру приведенного сложного высказывания, укажите, из каких простых высказываний оно образованно и с помощью каких логических связок:

«Между тем как в моей повозке запрягали лошадей, приехала еще кибитка, тройкою запряженная».

Задание 3. Сформулируйте высказывание, если: А - «Логика является разделом математики», В - «Логика - это раздел философии», С - «Логика изучается на юридическом факультете»

Задание 4. Запишите с помощью символов высказывание и определите его тип. Составьте оставшиеся три компоненты логического квадрата. Выделите пары противных, подчиненных, подпротивных, противоречащих.

а) «Всякий моряк умеет плавать»,

б) «На всякого мудреца довольно простоты».

Задание 5. Определите с помощью таблиц истинности, какие из приведенных формул являются тавтологиями:

а) ;

б) .

Контрольная работа № 2.

ВАРИАНТ № 1

Задание 1. Формализуйте высказывание. Получите ДНФ, СДНФ, КНФ, СКНФ, СПНФ. Представьте высказывание в виде суперпозиции только следующих операций: 1) «штрих Шеффера, 2) «стрелка Пирса», 3) «импликация» и «отрицание», 4) «импликация» и «константа нуля».

1. «Если я замолчу - возопиют камни и реки потекут вспять».

2.

Задание 2. Докажите или опровергните общезначимость формулы, используя законы алгебры логики и формулы равносильных преобразований:

3.Перечень методических указаний к проведению учебных занятий и

самостоятельной работы студентов

№	Наименование работы, её вид	Выходные данные	Объем (с)	Авторы
1.	Программа, методические указания и контрольные задания по высшей математике (IV семестр).	Майкоп: МГТИ, 1995	40	, ,
2.	Основы векторной алгебры и аналитической геометрии: Методические указания и задания к расчётно-графической работе.	Майкоп: МГТИ, 1995	38	Захарова О. П.,
3.	Линейная алгебра, основы векторной алгебры и аналитической геометрии: Типовые расчеты. Примеры решения задач.	Майкоп: Качество, 1997	84	Прохорова Г. В., ,
4.	Высшая математика: Методические указания и контрольные задания для студентов-заочников.	Майкоп: Качество, 1999	92	Паланджянц О. П.,
5.	Элементы линейного программирования: Учебное пособие.	Майкоп: Дебют, 2000	179	Титаренко О. П.
6.	Пособие по линейному программированию	Майкоп: Аякс, 2001	108	, , ,
7.	Линейное программирование.	Майкоп: Аякс, 2005	96	, , ,

Примерный перечень вопросов для промежуточного контроля.

ПЕРВЫЙ СЕМЕСТР.

1. Построение логики. Основные определения исчисления высказываний.

2. Категорические высказывания. Логический квадрат.

3. Табличное определение логических связок.

4. Понятие формулы в логике, логического закона и логического следования.

5. Основные схемы логически правильных рассуждений.

6. Алгоритм Квайна проверки выводимости модуса.

7. Алгоритм метода редукций, который проверяет выводимость модуса.

8. Алгоритм метода резолюций, который проверяет выводимость модуса.

9. Основные определения алгебры логики.

10. Существенные, несущественные переменные.

11. Булевы функции.

12. Суперпозиция алгебры логики.

13. Равносильные формулы алгебры логики. Основные равносильности.

14. Равносильные формулы алгебры логики. Равносильности выражающие одни связки через другие.

15. Равносильные формулы алгебры логики. Равносильности выражающие основные законы алгебры.

16. Нормальные формы логических функций. Способы нахождения СДНФ.

17. Нормальные формы логических функций. Способы нахождения СКНФ.

18. Двойственные функции. Теорема о связи между СДНФ и СКНФ.

19. Полиномы Жегалкина. Способы нахождения СПНФ.

20. Логика предикатов.

21. Предикаты и операции квантирования.

22. Равносильные формулы логики предикатов.

23. Постановка задач комбинаторного программирования.

24. Понятие алгоритма.

25. Интуитивное понятие алгоритма и проблема его уточнения.

26. Элементы теории рекурсивных функций.

27. Преобразования функций.

28. Примитивно-рекурсивные функции.

29. Частично рекурсивные функции.

30. Машины Тьюринга.

31. Нормальные алгоритмы Маркова.

Дополнения и изменения в рабочей программе

за 2011 /2012 учебный год

В рабочую программу Методы программирования и теория алгоритмов_____

(наименование дисциплины)

для специальности (тей) 090103 Организация и технология защиты информации___

(номер специальности)

вносятся следующие дополнения и изменения:

п.4.1. заменить на:

Основная литература

1. ЭБС «Айбукс» Новиков, математика: учебник для вузов/ . — СПб. : Питер, 2011. — 384 с. - Режим доступа: http://*****/

2. Яблонский, в дискретную математику : учеб. пособие для студентов вузов / . - М. : Высшая школа, 20с.

Дополнительная литература

3. ЭБС «Айбукс» Тишин, математика в примерах и задачах: учеб. пособие/ . – СПб.: БХВ-Петербург, 2010. — 352 с. - Режим доступа: http://*****/

Дополнения и изменения внес доцент

(должность, Ф. И.О., подпись)

Рабочая программа пересмотрена и одобрена на заседании кафедры ___________________

Высшей математики и системного анализа

(наименование кафедры)

«26» августа 2011_г.

Заведующий кафедрой __________________

(подпись) (Ф. И.О.)