Программа дисциплины «Математическая логика» для направления




Скачать 287.03 Kb.
НазваниеПрограмма дисциплины «Математическая логика» для направления
страница1/5
Дата03.02.2013
Размер287.03 Kb.
ТипПрограмма дисциплины
  1   2   3   4   5



Национальный исследовательский университет «Высшая школа экономики»
Программа дисциплины «Математическая логика»

для направления подготовки бакалавра 231300.62 Прикладная математика





Правительство Российской Федерации


Федеральное государственное автономное образовательное учреждение высшего профессионального образования
"Национальный исследовательский университет
"Высшая школа экономики"



Факультет прикладной математики и кибернетики


Программа дисциплины

Математическая логика



для направления 231300.62 «Прикладная математика» подготовки бакалавра


Автор программы:

Попов В. Л., д.ф.-м.н., профессор, popovvl@mi.ras.ru


Одобрена на заседании кафедры прикладной математики «29» июня 2012 г

Зав. кафедрой М.В. Карасев


Рекомендована секцией УМС [Введите название секции УМС] «___»____________ 20 г

Председатель [Введите И.О. Фамилия]


Утверждена УС факультета [Введите название факультета] «___»_____________20 г.

Ученый секретарь [Введите И.О. Фамилия] ________________________ [подпись]


Москва, 2012

Настоящая программа не может быть использована другими подразделениями университета и другими вузами без разрешения кафедры-разработчика программы.

  1. Область применения и нормативные ссылки


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

Программа предназначена для преподавателей, ведущих данную дисциплину, учебных ассистентов и студентов направления подготовки 231300.62 «Прикладная математика», обучающихся по специализациям «Математическое и программное обеспечение систем управления» и «Применение математических методов к решению инженерных и экономических задач», изучающих дисциплину «Математическая логика».

Программа разработана в соответствии с:

  • ФГОС 231300 Прикладная математика 62 бакалавр.

  • Образовательной программой 231300.62 «Прикладная математика».

  • Рабочим учебным планом университета по направлению подготовки 231300.62 «Прикладная математика», специализаций «Математическое и программное обеспечение систем управления» и «Применение математических методов к решению инженерных и экономических задач», утвержденным в 2012 г.


2Цели освоения дисциплины


Целями освоения дисциплины «Математическая логика» являются:

получение представления об основных понятиях, методах и результатах теории вычислимости;

 получение представления об основных понятиях и методах булевой алгебры;

 получение представления об основных понятиях формальных исчислений.

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


В результате освоения дисциплины студент должен:

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

 Уметь применять свои знания в указанных областях при решении конкретных задач.

Иметь навыки проведения соответствующих рассуждений.


В результате освоения дисциплины студент осваивает следующие компетенции:


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

  • владеть культурой мышления, способен к обобщению, анализу, восприятию информации (ОК-1);

  • уметь логически верно, аргументировано и ясно строить устную и письменную речь (ОК-2);

  • готовностью к кооперации с коллегами (ОК-6);

  • способностью оформлять, представлять и докладывать результаты выполненной работы (ОК-14);

  • уметь создавать и редактировать тексты профессионального назначения (ОК-15);

  • способностью использовать для решения коммуникативных задач современные технические средства и информационные технологии (ОК-16).

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

  • готовность к самостоятельной работе (ПК-1);

  • способность использовать современные прикладные программные средства и осваивать современные технологии программирования (ПК-2);

  • знать основные положения, законы и методы естественных наук (ПК-11);

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

(ПК-12);

  • способность самостоятельно изучать новые разделы фундаментальных наук (ПК-14).



  1   2   3   4   5

Похожие:

Программа дисциплины «Математическая логика» для направления iconРабочая программа дисциплины Математическая логика и теория алгоритмов Направление
Целями освоения дисциплины «Математическая логика и теория алгоритмов» являются получение теоретических знаний по основам математическая...
Программа дисциплины «Математическая логика» для направления iconПрограмма дисциплины математическая логика и теория алгоритмов
Рабочая программа дисциплины "Математическая логика и теория алгоритмов" предназначена для студентов 3 курса
Программа дисциплины «Математическая логика» для направления iconПрограмма дисциплины [Введите название дисциплины] для направления/ специальности [код направления подготовки и «Название направления подготовки» ] подготовки бакалавра/ магистра/ специалиста Правительство Российской Федерации
Программа предназначена для преподавателей, ведущих данную дисциплину, учебных ассистентов и студентов направления подготовки 230100...
Программа дисциплины «Математическая логика» для направления iconАннотация рабочей программы «Математическая логика»
В. од. 1 «Математическая логика» является вариативной частью Математического и естественнонаучного цикла подготовки студентов направления...
Программа дисциплины «Математическая логика» для направления iconМетодическое пособие по дисциплине "Математическая логика " Екатеринбург 2011 Оглавление Математическая логика как наука 4 Глава Исчисление высказываний 6 Высказывания 6 2 Формулы 7 3
Слово «Логика» означает систематический метод рассуждений, но обычно под логикой понимают анализ методов рассуждений. Логика – наука...
Программа дисциплины «Математическая логика» для направления iconРабочая программа по дисциплине в 2-Математическая логика и теория алгоритмов
Математическая логика и теория алгоритмов в соответствии требованиями фгос впо, утвержденного приказом Министра образования и науки...
Программа дисциплины «Математическая логика» для направления iconПрограмма дисциплины «логика» для направления 030100. 68 «Философия»
Программа предназначена для преподавателей, ведущих данную дисциплину, учебных ассистентов и студентов направления 030100. 68
Программа дисциплины «Математическая логика» для направления iconМатематическая логика и приложения в информатике и компьютерных науках
Целями освоения дисциплины "Математическая логика и приложения в информатике и компьютерных науках" являются
Программа дисциплины «Математическая логика» для направления iconПрограмма наименование дисциплины: Дискретная математика, математическая логика и их приложения в информатике и компьютерных науках
Наименование дисциплины: Дискретная математика, математическая логика и их приложения в информатике и компьютерных науках
Программа дисциплины «Математическая логика» для направления icon«Математическая логика и теория алгоритмов»
Математическая логика и теория алгоритмов" является фундаментальное образование в области принципов построения эффективных и надежных...
Разместите кнопку на своём сайте:
Библиотека


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