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



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

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

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

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

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

Обобщенные индуктивные определения: алфавит, слово, языки; принцип доказательства по обобщенной индукции. Задание бесконечных языков начальными словами и правилами порождения. Понятие конструктивного объекта. Классическая логика высказываний: понятие высказывания, логические связки, формулы. Запись высказываний на языке логики. Таблицы истинности, общезначимые, выполнимые, противоречивые формулы. Законы классической логики высказываний. Применения к анализу рассуждений. Применение к синтезу контактных схем. Конечное дерево, размеченное дерево. Индуктивное определение вывода. Отношение выводимости. Допустимые правила вывода. Теорема корректности. Непротиворечивые множества, критерий. Теорема полноты. Понятие массовой проблемы. Разрешимость классической логики высказываний.
Компетенции обучающегося,

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

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

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

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

Похожие:

Рабочей программы дисциплины Логика Место дисциплины в структуре ооп принципы построения курса: Курс входит в математический и естественнонаучный цикл ооп 010300 «Фундаментальная информатика и информационные технологии» iconМесто дисциплины в структуре ооп принципы построения курса: Курс входит в математический и естественнонаучный цикл ооп 010300 «Фундаментальная информатика и информационные технологии»
Курс входит в математический и естественнонаучный цикл ооп 010300 «Фундаментальная информатика и информационные технологии»
Рабочей программы дисциплины Логика Место дисциплины в структуре ооп принципы построения курса: Курс входит в математический и естественнонаучный цикл ооп 010300 «Фундаментальная информатика и информационные технологии» iconМесто дисциплины в структуре ооп принципы построения курса: Курс входит в математический и естественнонаучный цикл ооп 010300 «Фундаментальная информатика и информационные технологии»
Курс входит в математический и естественнонаучный цикл ооп 010300 «Фундаментальная информатика и информационные технологии»
Рабочей программы дисциплины Логика Место дисциплины в структуре ооп принципы построения курса: Курс входит в математический и естественнонаучный цикл ооп 010300 «Фундаментальная информатика и информационные технологии» iconМесто дисциплины в структуре ооп принципы построения курса: Курс входит в математический и естественнонаучный цикл ооп 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