Поиск

Полнотекстовый поиск:
Где искать:
везде
только в названии
только в тексте
Выводить:
описание
слова в тексте
только заголовок

Рекомендуем ознакомиться

'Документ'
У меня был тогда друг, Женя Ч. Дружба возникла на почве общего увлечения компьютерами. Мне было 22, Женьке - 20. Женька был обалденно красивым мальчик...полностью>>
'Документ'
Девушки – одежда должна быть классического стиля или современного строгого покроя: костюм ,жилет, юбка, брюки, сарафан, блузка, водолазка, темное плат...полностью>>
'Документ'
Прошу оформить наличие гражданства Российской Федерации по рождению, по усыновлению ребенку, находящемуся на территории Российской Федерации, родители...полностью>>
'Документ'
Горяева Н.А., Островская О.В. Декоративно-прикладное искусство в жизни человека: Учебник для 5 класса / Под ред. Б.М. Неменского – М.: Просвещение, 2 ...полностью>>

Главная > Программа дисциплины

Сохрани ссылку в одной из сетей:
Информация о документе
Дата добавления:
Размер:
Доступные форматы для скачивания:

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

Нижегородский филиал

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

Факультет гуманитарных наук

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



для направления 035800.62 «Фундаментальная и прикладная лингвистика»

подготовки бакалавра

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

Бацына Е.К., batcyna@

Одобрена на заседании кафедры ПМИ «___»____________ 2013 г

Зав. кафедрой В.А. Калягин_______________________

Рекомендована секцией УМС «Прикладная математика» «___»____________ 2013 г

Председатель В.А. Калягин_______________________

Утверждена УМС НИУ ВШЭ – Нижний Новгород «___»____________ 2013 г

Председатель Н.С. Петрухин________________________

Нижний Новгород, 2013

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

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

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

Программа предназначена для преподавателей, ведущих данную дисциплину, учебных ассистентов и студентов направления подготовки/ специальности [Введите шифр и название направления подготовки/ специальности ], изучающих дисциплину Основы высшей математики.

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

  • Образовательным стандартом НИУ ВШЭ по направлению подготовки 035800.62 «Фундаментальная и прикладная лингвистика» подготовки бакалавра.

  • Рабочим учебным планом университета по направлению подготовки 035800.62 «Фундаментальная и прикладная лингвистика» подготовки бакалавра, утвержденным в 2013 г.

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

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

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

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

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

  • Уметь структурировать и моделировать базовые явления, относящиеся к сфере гуманитарных наук, с использованием математического аппарата; представлять в алгоритмическом виде процессы анализа и синтеза текста / дискурса;

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

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

Компетенция

Код по ФГОС/ НИУ

Дескрипторы – основные признаки освоения (показатели достижения результата)

Формы и методы обучения, способствующие формированию и развитию компетенции

Владение культурой мышления, способностью к обобщению, анализу, восприятию информации, постановке цели и выбору путей её достижения

ОК-1

понимает постановку задачи, способен выбрать метод для её решения

лекции, семинарские занятия, самостоятельная работа

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

профессиональной деятельности

ОК-10

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

лекции, семинарские занятия, самостоятельная работа

Осознает сущность и значение информации в развитии современного общества;

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

переработки информации

ОК-11

владеет способами хранения и переработки информации

лекции, семинарские занятия, самостоятельная работа

Знает основы математических дисциплин, которые используются при

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

лингвистических структур

ПК-2

применяет математические понятия для формализации задачи, использует известные алгоритмы для решения задачи

лекции, семинарские занятия, самостоятельная работа

4Место дисциплины в структуре образовательной программы

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

Изучение данной дисциплины базируется на следующих дисциплинах:

  • Основы высшей математики

  • Основы программирования

Для освоения учебной дисциплины, студенты должны владеть следующими знаниями и компетенциями:

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

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

5Тематический план учебной дисциплины

Название раздела

Всего часов

Аудиторные часы

Самостоя­тельная работа

Лекции

Семинары

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

1

Отношения. Понятие лексикографического порядка

2

1

6

2

Логика высказываний

4

4

10

3

Булева алгебра

1

1

4

4

Логика предикатов

5

5

10

5

Графы. Алгоритмы на графах

6

6

12

6

Машина Тьюринга

2

2

8

7

Нормальный алгоритм Маркова

2

2

8

8

Сложность алгоритмов

2

1

4

Итого:

108

24

22

62

6Формы контроля знаний студентов

Тип контроля

Форма контроля

1 год

Параметры **

1

2

Текущий

(неделя)

Контрольная работа

7

письменная работа 40 минут

Итоговый

Зачет

*

письменная и устная работа 120 минут

6.1Критерии оценки знаний, навыков

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

Оценки по всем формам текущего контроля выставляются по 10-ти балльной шкале.

7Содержание дисциплины

  1. Отношения. Понятие лексикографического порядка

    Понятие отношения. Свойства отношений. Отношения порядка. Лексикографический порядок.

  2. Логика высказываний

    Определение высказывания. Логические связки. Таблицы истинности. Формулы логики высказываний. Логические законы. Аксиомы исчисления высказываний. Правило вывода modus ponens. Верные и неверные умозаключения.

  3. Булева алгебра

    Булевы переменные и функции. Конъюнктивные и дизъюнктивные нормальные формы.

  4. Логика предикатов

    Понятие предиката и кванторов. Формулы и интерпретации языков первого порядка. Общезначимые формулы. Аксиомы и правила вывода. Полнота исчисления преликатов.

  5. Графы. Алгоритмы на графах

    Графы и деревья. Основные понятия и определения. Понятие алгоритма. Алгоритм поиска остова графа минимального веса. Алгоритм для нахождения кратчайших расстояний между вершинами графа. Бинарные деревья поиска. Код Хаффмана.

  6. Машина Тьюринга

    Понятие машины Тьюринга. Вычисление элементарных функций.

  7. Нормальный алгоритм Маркова

    Понятие нормального алгоритма Маркова. Основная гипотеза теории алгоритмов в форме Маркова.

  8. Сложность алгоритмов

    Понятие сложности алгоритмов. Эффективность алгоритмов. Классы задач P и NP.

8Образовательные технологии

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

9Оценочные средства для текущего контроля и аттестации студента

9.1Тематика заданий текущего контроля

Пример контрольной работы по теме Логика предикатов:

    Записать на языке 1-го порядка стихотворение:

    Humpty Dumpty sat on a wall

    Humpty Dumpty had a great fall.

    All the king’s horses,

    And all the king’s men,

    Couldn’t put Humpty together again.

9.2Вопросы для оценки качества освоения дисциплины

  1. Привести примеры предложений, являющихся высказываниями и не являющихся высказываниями.

  2. Логические связки.

  3. Тавтологии.

  4. Правило вывода modus ponens.

  5. Понятие предиката.

  6. Кваторы.

  7. Язык первого порядка.

  8. Бинарные деревья поиска.

  9. Машина Тьюринга.

  10. Нормальный алгоритм Маркова

10Порядок формирования оценок по дисциплине

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

Отекущий = Ок/р .

Результирующая оценка за итоговый контроль в форме экзамена выставляется по следующей формуле, где Озачет – оценка за работу непосредственно на зечете:

Оитоговый = (Озачет + Отекущий)/2.

Способ округления накопленной оценки итогового контроля в форме зачета: в зависимости по активности студента на занятии и правильности решения задач на семинаре.

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

11Учебно-методическое и информационное обеспечение дисциплины

11.1Базовый учебник

Верещагин Н.К., Шень А. Лекции по математической логике и теории алгоритмов (в 3-х частях). М.: МЦНМО, 2000.

11.2Основная литература

Андерсон, Джеймс А. Дискретная математика и комбинаторика / Пер. с англ. М.: Вильямс, 2004.

Судоплатов С.В., Овчинникова Б.В. Математическая логика и теория алгоритмов. М.: ИНФА-М, 2004.

Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и

теории алгоритмов. М.: Физматлит, 2004.

11.3Дополнительная литература

Игошин В.И. Математическая логика и теория алгоритмов. М.: Академия, 2008.

Маннинг К.Д., Рагхаван П., Шютце Х. Введение в информационный поиск / Пер. с англ. М.: Вильямс, 2011.

12Материально-техническое обеспечение дисциплины



Похожие документы:

  1. Программа дисциплины «Автоматическая обработка естественного языка»

    Программа дисциплины
    ... " Факультет Бизнес-информатики и прикладной математики Программа дисциплины Автоматическая обработка естественного языка для направления 035800.62 Фундаментальная и прикладная лингвистика подготовки бакалавра Автор программы: Поршнев А.В., кандидат ...

Другие похожие документы..