Рабочей программы дисциплины Неклассические логики Место дисциплины в структуре ооп принципы построения курса: Курс входит в математический и естественнонаучный цикл ооп 010300 «Фундаментальная информатика и информационные технологии»



Скачать 13.37 Kb.
Дата30.12.2012
Размер13.37 Kb.
ТипДокументы
Аннотация рабочей программы дисциплины

Неклассические логики

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

Принципы построения курса:

Курс входит в математический и естественнонаучный цикл ООП 010300 «Фундаментальная информатика и информационные технологии»

В курсе выделено несколько разделов / тем:

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

Компетенции обучающегося,

формируемые в результате освоения дисциплины (модуля)

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

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

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

- понимание концепций и абстракций, способность использовать на практике базовые математические дисциплины (ПК-15).

Похожие:

Рабочей программы дисциплины Неклассические логики Место дисциплины в структуре ооп принципы построения курса: Курс входит в математический и естественнонаучный цикл ооп 010300 «Фундаментальная информатика и информационные технологии» iconРабочей программы дисциплины Логика Место дисциплины в структуре ооп принципы построения курса: Курс входит в математический и естественнонаучный цикл ооп 010300 «Фундаментальная информатика и информационные технологии»
Курс входит в математический и естественнонаучный цикл ооп 010300 «Фундаментальная информатика и информационные технологии»
Рабочей программы дисциплины Неклассические логики Место дисциплины в структуре ооп принципы построения курса: Курс входит в математический и естественнонаучный цикл ооп 010300 «Фундаментальная информатика и информационные технологии» iconМесто дисциплины в структуре ооп принципы построения курса: Курс входит в математический и естественнонаучный цикл ооп 010300 «Фундаментальная информатика и информационные технологии»
Курс входит в математический и естественнонаучный цикл ооп 010300 «Фундаментальная информатика и информационные технологии»
Рабочей программы дисциплины Неклассические логики Место дисциплины в структуре ооп принципы построения курса: Курс входит в математический и естественнонаучный цикл ооп 010300 «Фундаментальная информатика и информационные технологии» iconМесто дисциплины в структуре ооп принципы построения курса: Курс входит в математический и естественнонаучный цикл ооп 010300 «Фундаментальная информатика и информационные технологии»
Курс входит в математический и естественнонаучный цикл ооп 010300 «Фундаментальная информатика и информационные технологии»
Рабочей программы дисциплины Неклассические логики Место дисциплины в структуре ооп принципы построения курса: Курс входит в математический и естественнонаучный цикл ооп 010300 «Фундаментальная информатика и информационные технологии» iconИсследование операций Место дисциплины в структуре ооп принципы построения курса
Курс входит в математический и естественнонаучный цикл ооп 010300 «Фундаментальная информатика и информационные технологии»
Рабочей программы дисциплины Неклассические логики Место дисциплины в структуре ооп принципы построения курса: Курс входит в математический и естественнонаучный цикл ооп 010300 «Фундаментальная информатика и информационные технологии» iconРабочей программы дисциплины Дискретная математика Место дисциплины в структуре ооп принципы построения курса: Курс входит в профессиональный цикл ооп 010300 «Фундаментальная информатика и информационные технологии»
Курс входит в профессиональный цикл ооп 010300 «Фундаментальная информатика и информационные технологии»
Рабочей программы дисциплины Неклассические логики Место дисциплины в структуре ооп принципы построения курса: Курс входит в математический и естественнонаучный цикл ооп 010300 «Фундаментальная информатика и информационные технологии» iconРабочей программы дисциплины Основы программирования Место дисциплины в структуре ооп принципы построения курса: Курс входит в профессиональный цикл ооп 010300 «Фундаментальная информатика и информационные технологии»
Курс входит в профессиональный цикл ооп 010300 «Фундаментальная информатика и информационные технологии»
Рабочей программы дисциплины Неклассические логики Место дисциплины в структуре ооп принципы построения курса: Курс входит в математический и естественнонаучный цикл ооп 010300 «Фундаментальная информатика и информационные технологии» iconРабочей программы дисциплины Кратные интегралы и ряды Место дисциплины в структуре ооп принципы построения курса: Курс входит в математический и естественнонаучный цикл ооп 010300 «Фундаментальная информатика и информационные технологии»
Успешное освоение курса позволяет перейти к изучению дисциплин «Теория функций комплексной переменной», «Функциональный анализ»,...
Рабочей программы дисциплины Неклассические логики Место дисциплины в структуре ооп принципы построения курса: Курс входит в математический и естественнонаучный цикл ооп 010300 «Фундаментальная информатика и информационные технологии» iconМесто дисциплины в структуре ооп принципы построения курса: Курс входит в математический и естественнонаучный цикл ооп 010300 «Фундаментальная информатика и информационные технологии»
«Логика», «Математическая логика и теория алгоритмов», «Дискретная математика», «Языки программирования»
Рабочей программы дисциплины Неклассические логики Место дисциплины в структуре ооп принципы построения курса: Курс входит в математический и естественнонаучный цикл ооп 010300 «Фундаментальная информатика и информационные технологии» iconМесто дисциплины в структуре ооп
Курс входит в математический и естественнонаучный цикл ооп 010300 Фундаментальная информатика и информационные технологии
Рабочей программы дисциплины Неклассические логики Место дисциплины в структуре ооп принципы построения курса: Курс входит в математический и естественнонаучный цикл ооп 010300 «Фундаментальная информатика и информационные технологии» iconМесто дисциплины в структуре ооп принципы построения курса: Курс входит в профессиональный цикл ооп 010300 «Фундаментальная информатика и информационные технологии»
Курс входит в профессиональный цикл ооп 010300 «Фундаментальная информатика и информационные технологии»
Разместите кнопку на своём сайте:
ru.convdocs.org


База данных защищена авторским правом ©ru.convdocs.org 2016
обратиться к администрации
ru.convdocs.org