·  применять средства языка логики предикатов для записи и анализа математических предложений;

·  строить простейшие выводы (в виде дерева) в исчислениях высказываний и использовать эти модели для объяснения сути и строения математических доказательств;

владеть:

·  техникой равносильных преобразований логических формул;

·  методами распознавания тождественно истинных формул и равносильных формул;

·  дедуктивным аппаратом изучаемых логических исчислений.

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