3. План проведения практических занятий и контроля самостоятельной работы по разделам «Элементы математической логики и теории алгоритмов»

1. Логика высказываний, решение задач – 3 ч.

2. Логика предикатов, решение задач – 3 ч.

3. Доказательство логических утверждений, решение задач – 3 ч.

4. Теория алгоритмов. Алгоритмы и вычислимые функции – 2 ч.

5. Машина Тьюринга – 1 ч.

6. Нормальные алгоритмы Маркова – 2 ч.

7. Контрольная работа по логике и алгоритмам.

3. План проведения лабораторных работ

№ учебной недели	№ лабораторного занятия	Название темы лабораторного занятия
4	1	Изучение среды MathCad
6	2	Выполнение простейших вычислений
8	3	Операции с векторами и матрицами
10	4	Построение графиков функций
12	5	Символьные вычисления. Точное и приближенное вычисления математических задач
14	5	Символьные вычисления. Точное и приближенное вычисления математических задач
16		Контрольная работа

V. Формы промежуточного и итогового контроля

Промежуточный контроль: а) 15-ти минутные контрольные работы на каждом семинаре, проверка решения домашних задач; б) две промежуточные контрольные работы.

Итоговый контроль: - экзамен.

В подобранных задачах к каждому семинару выделены задачи «удовлетворительного уровня». Умение решать такие задачи является необходимым требованием к знаниям студентов при удовлетворительной оценке их подготовки на экзамене или зачете.

VI. Рекомендуемая учебная литература

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

1. Бермант А. Ф., Араманович И. Г.

Краткий курс математического анализа. – Санкт-Петербург, Москва, Краснодар, ЛАНЬ, 2006.

2. Пискунов Н. С.

Дифференциальное и интегральное исчисления, т. 1. – М.: Интеграл-пресс, 2007.

3. Фихтенгольц Г.М.

Курс дифференциального и интегрального исчисления. – М.: Физматлит, т. 1, 2003, т. 3, 2005.

4. Письменный Д.Т.

Конспект лекций по высшей математике, ч. 1. – М.:АЙРИС ПРЕСС, 2008.

5. Гусак А.А.

Высшая математика, т. 1. – Минск: ТетраСистемс, 2004.

6. Кудрявцев Л. Д.

Математический анализ, т.1. – М.: Высшая школа, 1973.

7. Мышкис А.Д.

Лекции по высшей математике. – М.: Наука, 1973.

8. Данко П. Е.

Высшая математика в упражнениях и задачах: Учебное пособие для вузов / П. Е. Данко, А. Г. Попов, Т. Я. Кожевникова, С. П. Данко. – М.: ООО «Оникс»: «Мир и образование», 2008.

9. Сборник задач по высшей математике. 1 курс / К. Н. Лунгу, и др.; под ред. С. Н. Федина. – 6-е изд. – М.: Айрис-пресс, 2007.

10. Задачи и упражнения по математическому анализу для втузов: учебное пособие для студентов высш. техн. учеб. заведений / Г.С. Бараненков и др.; под ред. Б.П. Демидовича. – М.: АСТ: Астрель, 2007.

11. Берман Г. Н.

Сборник задач по курсу математического анализа: Учебное пособие – СПб.: Профессия, 2007.

12. Минорский В.П.

Сборник задач по высшей математике. – М.: Изд. Физико- математической литературы, 2005.

13. Мышкис А.Д.

Лекции по высшей математике. - М.: Наука. Гл. ред. физ.-мат. лит., 1973.

14. Сборник задач по математике для втузов. Ч. 1. Линейная алгебра и основы математического анализа: Учебное пособие для втузов./Болгов В.А., Демидович Б.П., Ефимов А.В. т др. Под ред. А.В. Ефимова и Б.П. Демидовича – М.: Наука. Гл. ред. физ.-мат. лит., 1986.

15. Соболева Е.С.

Дискретная математика: Учебник для студентов вузов. – М.: Академия, 2006.

16. Куликов В.В.

Дискретная математика: Учебное пособие. – М.: РИОР, 2007.

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

1. Демидович Б.П., Кудрявцев В.А.

Краткий курс высшей математики. – М.: Астрель , АСТ, 2001.

2. Ильин В. А., Позняк Э. Г.

Основы математического анализа, ч. 1. – М.: Наука, 1973.

3. Бутузов В. Ф., Крутицкая Н. Ч., Медведев Г. Н., Шишкин А. А.

Математический анализ в вопросах и задачах: Учебное пособие/ Под ред. В. Ф. Бутузова. – СПб.: Лань, 2008.

4. Рябушко А.П., Бархатов В. В., Державец В.В., Юруть И. Е.

Индивидуальные задания по высшей математике: Учебное пособие в 4 частях, ч.1,2 / под общ. ред. А. П. Рябушко. Минск: Выш. Школа, 2007.

5. Игошин В.И. Математическая логика и теория алгоритмов: учебное пособие для студ. высш. учеб. заведений. – М.: Академия, 2008.