Программа наименование дисциплины: Дискретная математика, математическая логика и их приложения в информатике и компьютерных науках




Скачать 18,97 Kb.
НазваниеПрограмма наименование дисциплины: Дискретная математика, математическая логика и их приложения в информатике и компьютерных науках
страница1/3
Дата03.02.2016
Размер18,97 Kb.
ТипПрограмма
  1   2   3
Рекомендовано МССН

«Информатика»


ПРОГРАММА


Наименование дисциплины: Дискретная математика, математическая логика и их приложения в информатике и компьютерных науках


Рекомендуется для направления (ий) подготовки (специальности (ей))

010200 «Математика и компьютерные науки»

(указываются код и наименования направления(ий)

подготовки (специальности (ей) и/или профилей (специализаций)

Квалификация (степень) выпускника бакалавр

(указывается квалификация (степень) выпускника в соответствии с ФГОС)



  1. Цели и задачи дисциплины:

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

Задачей дисциплины является развитие логического мышления у студентов и изучение основ математической логики. Развиваются навыки формализации и описания дискретных математических объектов.

  1. Место дисциплины в структуре ООП:

(указывается цикл, к которому относится дисциплина; формулируются требования к входным знаниям, умениям и компетенциям студента, необходимым для ее изучения; определяются дисциплины, для которых данная дисциплина является предшествующей)

Цикл, к которому относится дисциплина: базовая часть профессионального цикла Б.3.

Требования к входным знаниям и умениям: Для освоения дисциплины «Дискретная математика, математическая логика и их приложения в информатике и компьютерных науках» необходима базовая математическая подготовка в рамках школьной программы. Курс является базовым.

Компетенции: ОК-6-8, 11-15, ПК-1-14, 16, 19-24, 27, 29:

ОК-6 способность применять в научно-исследовательской и профессиональной деятельности базовые знания в области фундаментальной и прикладной математики и естественных наук

ОК-7 обладать значительными навыками самостоятельной научно-исследовательской работы

ОК-8 способность и постоянная готовность совершенствовать и углублять свои знания, быстро адаптироваться к любым ситуациям

ОК-11 обладать фундаментальной подготовкой в области фундаментальной математики и компьютерных наук, готовность к использованию полученных знаний в профессиональной деятельности

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

ОК-13 владеть базовыми знаниями в области информатики и современных информационных технологий, навыками использования программных средств и навыками работы в компьютерных сетях, умение создавать базы данных и использовать ресурсы Интернета

ОК-14 способность к анализу и синтезу информации, полученной из любых источников

ОК-15 способность к письменной и устной коммуникации на русском языке

ПК-1 умение определять общие формы, закономерности, инструментальные средства отдельной предметной области

ПК-2 умение понять поставленную задачу

ПК-3 способность разрабатывать и реализовывать процессы жизненного цикла информационных систем, программного обеспечения, сервисов систем информационных технологий, а также методы и механизмы оценки и анализа функционирования средств и систем информационных технологий; способность разработки проектной и программной документации, удовлетворяющей нормативным требованиям

ПК-4 способность понимать и применять в исследовательской и прикладной деятельности современный математический аппарат, фундаментальные концепции и системные методологии, международные и профессиональные стандарты в области информационных технологий, способность использовать современные инструментальные и вычислительные средства (в соответствии с профилем подготовки)

ПК-5 умение на основе анализа увидеть и корректно сформулировать результат

ПК-6 умение самостоятельно увидеть следствия сформулированного результата

ПК-7 умение грамотно пользоваться языком предметной области

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

ПК-9 знание корректных постановок классических задач

ПК-10 понимание корректности постановок задач

ПК-11 владение навыками самостоятельного построения алгоритма и его анализа

ПК-12 понимание того, что фундаментальное знание является основой компьютерных наук

ПК-13 глубокое понимание сути точности фундаментального знания

ПК-14 владение навыками контекстной обработки информации

ПК-16 выделение главных смысловых аспектов в доказательствах

ПК-19 владение методом алгоритмического моделирования при анализе постановок математических задач

ПК-20 владение методами математического и алгоритмического моделирования при анализе и решении прикладных и инженерно-технических проблем

ПК-21 владение проблемно-задачной формой представления математических и естественно-научных знаний

ПК-22 умение увидеть прикладной аспект в решении научной задачи, грамотно представить и интерпретировать результат

ПК-23 умение проанализировать результат и скорректировать математическую модель, лежащую в основе задачи

ПК-24 владение методами алгоритмического моделирования при анализе управленческих задач в научно-технической сфере, а также в экономике, бизнесе и гуманитарных областях знаний

ПК-27 умение точно представить математические знания в устной форме

ПК-29 возможность преподавания физико-математических дисциплин в общеобразовательных учреждениях и образовательных учреждениях среднего профессионального образования

Дисциплины, для которых данная дисциплина является предшествующей: Математический анализ, Теория функций комплексной переменной, Функциональный анализ, Теория автоматов и формальных языков, Теория вероятностей и математическая статистика, Модели на гиперграфах, Введение в управление инфокоммуникациями, Проектирование корпоративных систем, Прикладные задачи ТМО, Прикладные протоколы Интернет WWW, курсовая работа.


3. Требования к результатам освоения дисциплины:

    Процесс изучения дисциплины «Дискретная математика, математическая логика и их приложения в информатике и компьютерных науках» направлен на формирование следующих компетенций: : ОК: 6-8, 11-15, ПК: 1-14, 16, 19-24, 27, 29

    (указываются в соответствии с ФГОС ВПО)

    а) общекультурные (ОК):

ОК-6 способность применять в научно-исследовательской и профессиональной деятельности базовые знания в области фундаментальной и прикладной математики и естественных наук

ОК-7 обладать значительными навыками самостоятельной научно-исследовательской работы

ОК-8 способность и постоянная готовность совершенствовать и углублять свои знания, быстро адаптироваться к любым ситуациям

ОК-11 обладать фундаментальной подготовкой в области фундаментальной математики и компьютерных наук, готовность к использованию полученных знаний в профессиональной деятельности

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

ОК-13 владеть базовыми знаниями в области информатики и современных информационных технологий, навыками использования программных средств и навыками работы в компьютерных сетях, умение создавать базы данных и использовать ресурсы Интернета

ОК-14 способность к анализу и синтезу информации, полученной из любых источников

ОК-15 способность к письменной и устной коммуникации на русском языке

    а) профессиональные (ПК):

ПК-1 умение определять общие формы, закономерности, инструментальные средства отдельной предметной области

ПК-2 умение понять поставленную задачу

ПК-3 способность разрабатывать и реализовывать процессы жизненного цикла информационных систем, программного обеспечения, сервисов систем информационных технологий, а также методы и механизмы оценки и анализа функционирования средств и систем информационных технологий; способность разработки проектной и программной документации, удовлетворяющей нормативным требованиям

ПК-4 способность понимать и применять в исследовательской и прикладной деятельности современный математический аппарат, фундаментальные концепции и системные методологии, международные и профессиональные стандарты в области информационных технологий, способность использовать современные инструментальные и вычислительные средства (в соответствии с профилем подготовки)

ПК-5 умение на основе анализа увидеть и корректно сформулировать результат

ПК-6 умение самостоятельно увидеть следствия сформулированного результата

ПК-7 умение грамотно пользоваться языком предметной области

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

ПК-9 знание корректных постановок классических задач

ПК-10 понимание корректности постановок задач

ПК-11 владение навыками самостоятельного построения алгоритма и его анализа

ПК-12 понимание того, что фундаментальное знание является основой компьютерных наук

ПК-13 глубокое понимание сути точности фундаментального знания

ПК-14 владение навыками контекстной обработки информации

ПК-16 выделение главных смысловых аспектов в доказательствах

ПК-19 владение методом алгоритмического моделирования при анализе постановок математических задач

ПК-20 владение методами математического и алгоритмического моделирования при анализе и решении прикладных и инженерно-технических проблем

ПК-21 владение проблемно-задачной формой представления математических и естественно-научных знаний

ПК-22 умение увидеть прикладной аспект в решении научной задачи, грамотно представить и интерпретировать результат

ПК-23 умение проанализировать результат и скорректировать математическую модель, лежащую в основе задачи

ПК-24 владение методами алгоритмического моделирования при анализе управленческих задач в научно-технической сфере, а также в экономике, бизнесе и гуманитарных областях знаний

ПК-27 умение точно представить математические знания в устной форме

ПК-29 возможность преподавания физико-математических дисциплин в общеобразовательных учреждениях и образовательных учреждениях среднего профессионального образования

В результате изучения дисциплины «Дискретная математика, математическая логика и их приложения в информатике и компьютерных науках» студент должен:

    Знать:

  • концепции дисциплин: Дискретная математика, Математическая логика и теория алгоритмов;

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

    Уметь:

  • использовать основные законы теоретического исследования; решать прикладные задачи по дисциплине «Дискретная математика, математическая логика и их приложения в информатике и компьютерных науках»;

  • определять общие формы, закономерности, инструментальные средства отдельной предметной области;

  • на основе анализа увидеть и корректно сформулировать результат;

  • проанализировать результат и скорректировать математическую модель, лежащую в основе задачи;

  • грамотно пользоваться языком предметной области;

  • самостоятельно увидеть следствия сформулированного результата.

Владеть:

  • способностью к анализу и синтезу информации, полученной из любых источников;

  • способность понимать и применять в исследовательской и прикладной деятельности современный математический аппарат;

  • базовыми математическими знаниями и информационными технологиями.

4. Объем дисциплины и виды учебной работы

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

Вид учебной работы

Всего часов

Семестры







1

2

3







Аудиторные занятия (всего)

216

72

72

72

-

В том числе:













-

Лекции

108

36

36

36

-

Практические занятия (ПЗ)

-

-

-

-

-

Семинары (С)

-

-

-

-

-

Лабораторные работы (ЛР)

108

36

36

36

-

Самостоятельная работа (всего)

216

72

72

72

-

В том числе:

-

-

-

-

-

Курсовой проект (работа)

-

-

-

-

-

Расчетно-графические работы

-

-

-

-

-

Реферат

-

-

-

-

-

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

-

-

-

-

-

Самостоятельная проработка дополнительного материала

216

72

72

72

-

Вид промежуточной аттестации (зачет, экзамен)




экз

экз

экз

-

Общая трудоемкость час

зач. ед.

432

144

144

144

-




12

4

4

4

-
  1   2   3

Похожие:

Программа наименование дисциплины: Дискретная математика, математическая логика и их приложения в информатике и компьютерных науках iconПрограмма дисциплины Дискретная математика для социологов
Курс «Дискретная математика для социологов» предназначен для студентов 1-го курса бакалавриата факультета социологии. Он является...
Программа наименование дисциплины: Дискретная математика, математическая логика и их приложения в информатике и компьютерных науках iconПрограмма-минимум кандидатского экзамена по специальности 01. 01. 09 «Дискретная математика и математическая кибернетика» по физико-математическим наукам
...
Программа наименование дисциплины: Дискретная математика, математическая логика и их приложения в информатике и компьютерных науках iconРабочая программа учебной дисциплины ен. Ф «Дискретная математика»
Рабочая программа учебной дисциплины обсуждена на заседании кафедры математики и математического моделирования факультета информационных...
Программа наименование дисциплины: Дискретная математика, математическая логика и их приложения в информатике и компьютерных науках iconПрограмма дисциплины  «Теория вероятностей и математическая статистика»
Программа предназначена для преподавателей, ведущих данную дисциплину, учебных ассистентов и студентов направления 010400. 62 «Прикладная...
Программа наименование дисциплины: Дискретная математика, математическая логика и их приложения в информатике и компьютерных науках iconПрограмма по дисциплине «Теория вероятностей и математическая статистика»
«Теория вероятностей и математическая статистика» разработана в соответствии с Государственным стандартом образования РФ (ЕН. Общие...
Программа наименование дисциплины: Дискретная математика, математическая логика и их приложения в информатике и компьютерных науках iconРабочая учебная программа дисциплины математическая логика и теория алгоритмов Направление подготовки: 230100. 62 «Информатика и вычислительная техника»
Контроль самостоятельной работы (тестирование, коллоквиум, контрольные работы и др.) (Кср)
Программа наименование дисциплины: Дискретная математика, математическая логика и их приложения в информатике и компьютерных науках iconРабочая программа по дисциплине «дискретная математика» для специальности 010200 Прикладная математика и информатика Форма обучения: очная
Рабочая программа составлена на основании гос впо 010200 – Прикладная математика и информатика, утвержденного в 2000 г
Программа наименование дисциплины: Дискретная математика, математическая логика и их приложения в информатике и компьютерных науках iconПрограмма вступительного экзамена в аспирантуру по специальности 01. 01. 09 «Дискретная математика и математическая кибернетика»
Спектр эрмитовой и унитарной матриц. Квадратичные формы: определение. Матрица квадратичной формы. Приведение квадратичной формы к...
Программа наименование дисциплины: Дискретная математика, математическая логика и их приложения в информатике и компьютерных науках iconПрограмма наименование дисциплины: Компьютерные сети
...
Программа наименование дисциплины: Дискретная математика, математическая логика и их приложения в информатике и компьютерных науках iconПрограмма наименование дисциплины: Компьютерные сети
...
Разместите кнопку на своём сайте:
Библиотека


База данных защищена авторским правом ©lib2.znate.ru 2012
обратиться к администрации
Библиотека
Главная страница