Математическое программирование Оглавление (стр. 8 )

О

Общезначимая формула. Формула называется общезначимой (тождественно истинной, тавтологией), если во всех своих интерпретациях она принимает значение И.

П

Полная индукция - это такой метод доказательства, при котором истинность утверждения следует из истинности его во всех частных случаях.

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

Посылки - это высказывания, содержащие исходное знание.

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

Р

Равносильные формулы. Формулы А и В называются равносильными, если во всех интерпретациях формул А и В, содержащих все атомы формул А и В, истинностные значения этих формул совпадают.

С

Совершенная дизъюнктивная нормальная форма (СДНФ). Дизъюнкция, составленная из элементарных конъюнкций, называется совершенной дизъюнктивной нормальной формой

Совершенная конъюнктивная нормальная форма (СКНФ). Конъюнкция, составленная из элементарных дизъюнкций, называется совершенной конъюнктивной нормальной формой

Т

Таблица истинности формулы. Таблица содержащая всевозможные интерпретации формулы и соответствующие этим интерпретациям значения формулы называется таблицей истинности формулы.

Теорема – это высказывание, правильность которого установлена при помощи рассуждения, доказательства.

Теория - это внутренне дифференцированная, но целостная система знаний, которую характеризуют логическую зависимость содержания теории из некоторой совокупности утверждений и понятий – исходного базиса теории – по определенным логико-методологическим принципам и правилам.

       У

Умозаключение - это способ получения нового знания на основе некоторого имеющегося.

Ф

Формализацией высказываний называют операцию замены высказывания естественного языка формулой математического исключающего высказывательные переменные и символы тех логических операций, которые соответствуют структуре самого высказывания.

7. Материально-техническое обеспечение дисциплины (модуля)

Интерактивная доска, мультимедийный проектор, компьютерный зал.

Параметры персонального компьютера: процессор Intel Pentium с тактовой частотой не ниже 166 МГц, операционная система Microsoft Windows 98/ Millenium (ME)/ NT/ 2000/ XP, оперативная память не менее 128 Мбайт, рекомендуется 256 Мбайт, видеоадаптер с разрешением не хуже, чем в стандарте SVGA.

8. Образовательные технологии

Предусмотрена интерактивная форма обучения. Интерактивными формами проведения занятий являются работа в группах. В ходе освоения дисциплины при проведении аудиторных занятий используются следующие образовательные технологии: лекции с использованием интерактивных форм проведения занятий, лабораторные работы с использованием персональных компьютеров; использование кейс-технологий, учебные групповые дискуссии: обсуждения задач (методы, приемы решения, выбор оптимального способа решения, количество возможных случаев для рассмотрения и т. п.), мозговой штурм; презентация микроисследований и их обсуждение.

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

интернет-ресурсы в образовании; мультимедийные презентации лекций.

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

9. Методические рекомендации для преподавателя

Основное внимание на занятиях необходимо уделить решению задач. При решении задач студенты должны опираться на теоретические знания и пользоваться компьютерными программами для численного решения.

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

При выполнении индивидуальных заданий необходимо обратить внимание студентов на то, что после расчетов нужно обязательно делать выводы.

       Зачет ставится в том случае, если студент выполнил индивидуальные задания и справился с итоговым тестированием.

Дисциплина изучается в режиме лекций, практических и лабораторных занятий, самостоятельной работы студентов.

Лекция – систематическое, последовательное, монологическое устное изложение лектором учебного материала. Раскрывает понятийный аппарат информационных технологий, их классификацию и структуру, дает цельное представление о методах их применения; показывает место в гуманитарных исследованиях и практике, взаимосвязь с родственными дисциплинами, побуждает интерес к предмету, развивает профессиональные интересы.

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

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

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

Студентам необходимо разъяснить место и роль самостоятельной работы студента (СРС) по освоению дисциплины. Цель самостоятельной работы – помочь студентам приобрести глубокие и прочные знания, сформировать умения самостоятельно приобретать, расширять и углублять знания, а также вырабатывать навыки применения полученных знаний и умений. Задачи самостоятельной работы: освоить теоретический материал дисциплины (углубленное изучение средств математической обработки информации), закрепить знание теоретического материала, используя необходимый инструментарий (выполнение контрольных работ, тестов для самопроверки и т. д.), применить полученные знания и практические навыки для анализа ситуации и выработки правильного решения, содействовать развитию творческой личности, обладающей высокой зрелостью, готовностью к будущей профессиональной педагогической деятельности.

Темы самостоятельного освоения выполняются по указанию преподавателя на материал рекомендованной основной или дополнительной литературы, ресурсы Интернета.

Основным методом изучения тем, вынесенных в лекционный курс, является информационно-объяснительный метод с элементами проблемных ситуаций и заданий студентам. На практических занятиях основным является поисковый метод, связанный с решением различных типов задач.

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

Приёмами организации учебно-познавательной деятельности студентов являются приёмы, направленные на осмысление и углубление предлагаемого содержания и приёмы, направленные на развитие аналитико-поисковой и исследовательской деятельности.

Важно чётко представлять структуру курса, уметь выделить в каждом разделе основные, базовые понятия, обозначенные минимумом содержания, определённого государственным образовательным стандартом.

Учебная программа и другая методическая документация являются неотъемлемой частью процесса обучения. Для студентов дневного отделения они особенно важны, поскольку с их помощью идёт самостоятельная работа студента, осваивается теоретический материал, готовятся доклады, прорабатываются вопросы для самоконтроля и обсуждения. Необходимо заранее продумать формы самостоятельной работы студентов, и нацеливать на неё буквально с первой лекции.

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

Рубежный контроль изучения дисциплины «Методы оптимизации» включает в себя контрольную работу.

Контрольные работы могут проводиться по отдельным вопросам темы, раздела, могут проводиться аудиторно и внеаудиторно, в виде домашнего задания. В контрольном задании могут быть одна или несколько задач по одной или нескольким темам или даже разделам. Часто студент затрудняется с устным ответом, но лучше отвечает письменно, что помогает объективнее оценить его знания и умения. Контрольную работу можно проводить на любом практическом занятии, охватывая либо всех, либо часть студентов.

Итоговым контролем изучения дисциплины является зачет.

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

10. Рейтинг-план дисциплины

№ п/п	Виды учебной деятельности студентов	Балл за конкретное задание	Число заданий за семестр	Баллы
Минимальный	Максимальный
Модуль 1
Текущий контроль, в том числе	13	25
1.	Работа на практических занятиях	2,5	4	3	10
2.	Отчет по лабораторной работе	5	3	10	15
Рубежный контроль, в том числе	7	15
1.	Контрольная работа	3,5	1	7	15
Итого	20	40
Модуль 2
Текущий контроль, в том числе	14	25
1.	Работа на практических занятиях	2	5	4	10
2.	Отчет по лабораторной работе	5	3	10	15
Рубежный контроль, в том числе	6	15
1.	Контрольная работа (Тестирование по предмету)	3	1	6	15
Итого	20	40
Итоговый контроль
Зачет	5	20
Поощрительные баллы	10
1.	Студенческая конференция	5	1	5
2.	Написание и защита реферата	5	1	5
Итого	45	110