· применять средства языка логики предикатов для записи и анализа математических предложений;
· строить простейшие выводы (в виде дерева) в исчислениях высказываний и использовать эти модели для объяснения сути и строения математических доказательств;
владеть:
· техникой равносильных преобразований логических формул;
· методами распознавания тождественно истинных формул и равносильных формул;
· дедуктивным аппаратом изучаемых логических исчислений.
4. Общая трудоемкость дисциплины: 3 зачетные единицы.
5. Разработчики:
к. ф.-м. н., зав. кафедрой алгебры, геометрии и МПМ
к. п.н., доцент кафедры алгебры, геометрии и МПМ
«Практикум по решению предметно-ориентированных задач»
1. Цель дисциплины: формирование у будущих учителей информатики системы знаний, умений и навыков в области применения современной вычислительной техники для решения предметно-ориентированных задач.
2. Место дисциплины в структуре ООП:
Дисциплина «Практикум по решению предметно-ориентированных задач» относится к вариативной части профессионального цикла дисциплин (Б.3.В.17).
Для освоения дисциплины «Практикум по решению предметно-ориентированных задач» студенты используют знания, умения, навыки, сформированные в процессе изучения дисциплины «Языки и методы программирования», «Высокоуровневые методы информатики и программирования».
Освоение дисциплины «Практикум по решению предметно-ориентированных задач» является необходимой основой для последующего изучения дисциплин вариативной части профессионального цикла, прохождения педагогической практики.
3. Требования к результатам освоения дисциплины:
Процесс изучения дисциплины направлен на формирование следующих компетенций:
· владеет культурой мышления, способность к обобщению, анализу, восприятию информации, постановке цели и выбору путей её достижения (ОК-1);
· готовностью к взаимодействию с коллегами, к работе в коллективе (ОК-7);
· готов использовать основные методы, способы и средства получения, хранения, переработки информации, готов работать с компьютером как средством управления информацией (ОК-8);
· способен использовать математический аппарат, методологию программирования и современные компьютерные технологии для решения практических задач получения, хранения, обработки и передачи информации (ПСК-2);
· владеет современными формализованными математическими, информационно-логическими и логико-семантическими моделями и методами представления, сбора и обработки информации (ПСК-3);
· готов к обеспечению компьютерной и технологической поддержки деятельности обучающихся в учебно-воспитательном процессе и внеурочной работе (ПСК-5);
В результате изучения дисциплины студент должен
знать:
- приемы и методы решения предметно-ориентированных задач при проведении разного рода занятий, в различных видах учебной и воспитательной деятельности; возможности практической реализации обучения, ориентированного на развитие личности ученика в условиях использования технологий мультимедиа, систем искусственного интеллекта, информационных систем, функционирующих на базе вычислительной техники, обеспечивающих автоматизацию ввода, накопления, обработки, передачи, оперативного управления информацией;
уметь:
- применять теорию, методы, алгоритмы, системы и средства информационных технологий при решении профессиональных задач; учитывать в педагогическом взаимодействии различные особенности учащихся; проектировать образовательный процесс с использованием современных технологий, соответствующих общим и специфическим закономерностям и особенностям возрастного развития личности; анализировать и проводить квалифицированную экспертную оценку качества электронных образовательных ресурсов и программно-технологического обеспечения для их внедрения в учебно-образовательный процесс создавать педагогически целесообразную и психологически безопасную образовательную среду; организовывать внеучебную деятельность обучающихся;
владеть:
- способами ориентации в профессиональных источниках информации (журналы, сайты, образовательные порталы и т. д.); способами взаимодействия с другими субъектами образовательного процесса; способами проектной и инновационной деятельности в образовании; различными средствами коммуникации в профессиональной педагогической деятельности; способами совершенствования профессиональных знаний и умений путем использования возможностей информационной среды образовательного учреждения, региона, области, страны.
4. Общая трудоемкость дисциплины составляет 4 зачетные единицы.
5. Разработчики:
АГПА, кафедра информатики и ИТО
«Интеллектуальные информационные системы»
1. Цель дисциплины: отразить основные направления и методы, применяемые в искусственном интеллекте, как на этапе анализа, так и на этапе разработки и реализации интеллектуальных систем. Понятийный, методологический и технологический материал курса играет важную роль в формировании научного мировоззрения будущего учителя информатики в области решения проблем анализа, разработки и реализации интеллектуальных систем учебного назначения. Курс “Интеллектуальные информационные системы” призван обеспечить высокую профессиональную подготовку в области практического применения интеллектуальных информационных систем в образовательном процессе.
2. Место дисциплины в структуре ООП:
Дисциплина «Интеллектуальные информационные системы» относится к вариативной части профессионального цикла дисциплин (Б.3.В.18 ).
Для освоения дисциплины «Интеллектуальные информационные системы» студенты используют знания, умения, навыки, сформированные в процессе изучения дисциплины «Теория систем и системный анализ», «Информационные системы», «Программное обеспечение ЭВМ и систем», «Высокоуровневые методы информатики и программирования», «Информационные технологии».
Освоение дисциплины «Интеллектуальные информационные системы» является необходимой основой для последующего изучения дисциплин вариативной части профессионального цикла, прохождения педагогической практики.
3. Требования к результатам освоения дисциплины:
Процесс изучения дисциплины направлен на формирование следующих компетенций:
- готов использовать основные методы, способы и средства получения, хранения, переработки информации, готов работать с компьютером как средством управления информацией (ОК-8); способен работать с информацией в глобальных компьютерных сетях (ОК-9); готов применять знания теоретической информатики, фундаментальной и
прикладной математики для анализа и синтеза информационных систем и
процессов (ПСК-1); способен использовать математический аппарат, методологию программирования и современные компьютерные технологии для решения практических задач получения, хранения, обработки и передачи информации (ПСК-2); владеет современными формализованными математическими, информационно-логическими и логико-семантическими моделями и методами представления, сбора и обработки информации (ПСК-3); готов к обеспечению компьютерной и технологической поддержки деятельности обучающихся в учебно-воспитательном процессе и внеурочной работе (ПСК-5).
В результате изучения дисциплины студент должен
знать:
- проблематику искусственного интеллекта с акцентом на идеи, перспективы и прикладные системы этого типа, используемые в образовательном процессе; методы и уровни представления данных, способы обработки и хранения данных в интеллектуальных системах; принципы построения и функционирования интеллектуальных информационных систем, а также новых перспективных подходов к решению проблем, возникающих в области искусственного интеллекта; возможности практической реализации обучения, ориентированного на развитие личности ученика в условиях использования технологий мультимедиа, систем искусственного интеллекта, информационных систем, функционирующих на базе вычислительной техники, обеспечивающих автоматизацию ввода, накопления, обработки, передачи, оперативного управления информацией;
уметь:
- использовать основные методы, способы и средства получения, хранения, переработки информации в интеллектуальных информационных системах; проектировать образовательный процесс с использованием современных технологий, основанных на системах искусственного интеллекта; применять знания теоретической информатики, фундаментальной и
прикладной математики для анализа и синтеза информационных систем и процессов
владеть:
- современными формализованными математическими, информационно-логическими и логико-семантическими моделями и методами представления, сбора и обработки информации в интеллектуальных системах; вопросами организации, проектирования, разработки и применения систем, базирующихся на применении методов искусственного интеллекта; способами инновационной деятельности в образовании с использованием систем искусственного интеллекта.
4. Общая трудоемкость дисциплины составляет 3 зачетные единицы.
5. Разработчики:
АГПА, кафедра информатики и информационных технологий обучения
«Высокоуровневые методы информатики и программирования»
1. Цель дисциплины: Курс призван содействовать формированию и развитию логической, алгоритмической и программистской культуры будущего специалиста в сфере информатики и информационных систем.
Программирование в средах современных информационных систем: создание модульных программ, элементы теории модульного программирования. Управление многооконными диалогами: меню, акселераторы, курсоры и иконки, списки кнопок, переключатели и селекторы, индикаторы. Работа с растровыми изображениями, программирование графики, звуковые и «музыкальные» элементы. Основы визуального программирования. Мультимедиа-приложения. Использование свойств операционной среды: процессы и потоки, элементы параллельного программирования (параллельная обработка информации), синхронизация и обработка событий, работа с буферами обмена. Динамические загружаемые библиотеки. Отладка и тестирование программных комплексов.
|
Из за большого объема этот материал размещен на нескольких страницах:
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 32 33 34 35 36 37 38 39 40 |


