Дисциплины специализации

ДИСЦИПЛИНЫ СПЕЦИАЛИЗАЦИИ
Дисциплины специальности
АЛГЕБРАИЧЕСКИЕ МЕТОДЫ В
Дисциплина «Алгебраические методы в
ИНФОРМАТИКЕ
информатике» относится к компоненту
дисциплин специальности цикла дисциплин
специализации учебного плана
специальности 031302 Интеллектуальные
системы в гуманитарной сфере ГОС ВПО и
адресована студентам 4 курса (7, 8
семестры).
Дисциплина реализуется кафедрой
математики, логики и интеллектуальных
систем в гуманитарной сфере Отделения
интеллектуальных систем в гуманитарной
сфере.
Предметом дисциплины являются общая
алгебра и алгебраические модели в
информатике.
Цель дисциплины: познакомить студентов с
современными математическими методами,
понятиями и средствами, используемыми в
информатике.
Задачи дисциплины: освоение
современного математического языка, стиля
алгебраического моделирования в
информатике и приобретение студентами
навыков математического моделирования с
использованием современных
алгебраических средств.
В результате освоения курса студент
должен знать понятия, описывающие
данную предметную область
(универсальная алгебра, алгебраическое
моделирование типов данных в
программировании, моделирование
реляционных баз данных алгебраическими
средствами, алгебраические средства
представления и обработки общих понятий
в интеллектуальных системах); владеть
навыками алгебраического моделирования
информационных задач, работы с
алгебраическими системами и
вычислениями в алгебрах.
Предусмотрены следующие
организационные формы учебных занятий:
лекции (56 часов), лабораторные занятия
(56 часов).
Формой итогового контроля знаний
студентов является зачет в 7 семестре и
экзамен в 8 семестре.
АКСИОМАТИЧЕСКИЕ СИСТЕМЫ И
Дисциплина «Аксиоматические системы и
ЭЛЕМЕНТЫ ТЕОРИИ МОДЕЛЕЙ
элементы теории моделей» относится к
компоненту дисциплин специальности
цикла дисциплин специализации учебного
плана специальности 031302
Интеллектуальные системы в гуманитарной
сфере ГОС ВПО и адресована студентам 4
курса (7, 8 семестры).
Дисциплина реализуется кафедрой
математики, логики и интеллектуальных
систем в гуманитарной сфере Отделения
интеллектуальных систем в гуманитарной
сфере.
Предметом дисциплины являются способы
определения семантики логических
исчислений и фундаментальные
закономерности, связывающие формальные
синтаксис и семантику.
Цель дисциплины: углубить и расширить
знания студентов в области математической
логики, ознакомить студентов с методами
доказательства в различных формах
логических исчислений (отличных от
изучаемых в предыдущих курсах), с
основными понятиями и классическими
фундаментальными результатами,
затрагивающими реляционные модели
различных аксиоматических теорий.
Задачи дисциплины: изложение
дополнительных сведений по классической
логике предикатов, различных способов ее
формализации (что необходимо для
обеспечения возможности
самостоятельного знакомства с текущей
научной литературой); введение в теорию
реляционных моделей аксиоматических
теорий;
изложение основных понятий
и результатов теории моделей и теории
доказательств.
В результате изучения дисциплины студент
должен знать характеристики
аксиоматического метода; определения
понятий (аксиоматическая теория,
реляционная система, семантическое
следование, элементарная эквивалентность
реляционных систем, непротиворечивость,
полнота, категоричность, разрешимость и
рекурсивная аксиоматизируемость
аксиоматических теорий); определимость
функций и отношений в реляционной
системе и в аксиоматической теории;
теорему компактности и теоремы
Лёвенхайма–Сколема (в различных
формулировках), а также примеры
ЛОГИЧЕСКИЕ СРЕДСТВА
ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМ
применения теоремы компактности;
теорему Стоуна о представлении Булевых
алгебр; некоторые достаточные условия
разрешимости теорий, примеры полных и
неполных, разрешимых и неразрешимых
теорий; уметь устанавливать выводимость
(или невыводимость) в гильбертовской и
секвенциальной форме исчисления
предикатов (на базе имеющегося из
базового курса математической логики
опыта работы с аналитическими
таблицами); устанавливать определимость
отношений в реляционных моделях, а также
применять некоторые методы установления
неопределимости (метод элиминации
кванторов и рассмотрение автоморфизмов
моделей); владеть навыками построения
формальных выводов и доказательств в
логических исчислениях разных видов
(гилбертовского типа, секвенциальном, в
форме аналитических таблиц),
рассуждений, основанных на
семантических соображениях для
доказательства или опровержения
истинности формул в различных моделях.
Предусмотрены следующие
организационные формы учебных занятий:
лекции (56 часов), семинары (56 часов).
Формой итогового контроля знаний
студентов является зачет (7 семестр),
экзамен (8 семестр).
Дисциплина «Логические средства
интеллектуальных систем» относится к
компоненту дисциплин специальности
цикла дисциплин специализации учебного
плана специальности 031302
Интеллектуальные системы в гуманитарной
сфере ГОС ВПО и адресована студентам 5
курса (9 семестр).
Дисциплина реализуется кафедрой
математики, логики и интеллектуальных
систем в гуманитарной сфере Отделения
интеллектуальных систем в гуманитарной
сфере.
Предметом дисциплины являются
логические средства представления знаний
и немонотонные логики для рассуждений
при неполноте информации.
Цель дисциплины: представить обзор
современных логических средств,
используемых в системах искусственного
интеллекта.
МОРФОЛОГИЯ
Задачи дисциплины: помочь студентам
сориентироваться в многообразии
логических средств искусственного
интеллекта, предложить им арсенал
логических средств, которые можно
использовать при создании прикладных
интеллектуальных систем.
В результате изучения дисциплины студент
должен знать основные логические
формализмы для представления знаний,
примеры немонотонных логических систем
вывода, уметь строить выводы в
простейших системах немонотонных логик
и владеть навыками выражения знания в
различных языках и логических системах
представления знаний.
Предусмотрены следующие
организационные формы учебных занятий:
лекции (28 часов), семинарские занятия (28
часов).
Формой итогового контроля знаний
студентов является экзамен.
Дисциплина «Морфология» относится к
компоненту дисциплин специальности
цикла дисциплин специализации учебного
плана специальности 031302
Интеллектуальные системы в гуманитарной
сфере ГОС ВПО и адресована студентам 1
курса (2 семестр).
Дисциплина реализуется кафедрой
теоретической и прикладной лингвистики
Института лингвистики РГГУ.
Предметом дисциплины являются способы
представления в современных языковых
моделях определенного рода устойчивых
соответствий между звуковыми цепочками
и смыслами, наблюдаемых в естественных
языках.
Цель дисциплины: познакомить студентов с
основными теоретическими построениями в
области морфологии и эмпирической базой
(явлениями конкретных языков),
составившей основу современных
морфологических теорий.
Задачи дисциплины: ознакомить студентов
с теоретическими понятиями, которые
описывают соответствующие языковые
явления; научить их видеть в языковом
материале то, что описывают
соответствующие лингвистические модели.
В результате изучения дисциплины студент
должен знать теоретический аппарат
СИНТАКСИС
современной морфологии, базовые
морфологические понятия (языковой знак,
языковое означающее, языковое значение,
морф, словоформа, грамматическая
категория, лексема), уметь при наличии
необходимых данных построить
морфологическое описание для фрагмента
произвольного, в том числе незнакомого,
языка, и охарактеризовать его в
типологическом плане (в сравнении с
другими языками); владеть навыками
самостоятельного лингвистического
анализа реального языкового материала.
Предусмотрены следующие
организационные формы учебных занятий:
лекции (28 часов), практические занятия (28
часов).
Формой итогового контроля знаний
студентов является экзамен.
Дисциплина «Синтаксис» относится к
компоненту дисциплин специальности
цикла дисциплин специализации учебного
плана специальности 031302
Интеллектуальные системы в гуманитарной
сфере ГОС ВПО и адресована студентам 2
курса (3 семестр).
Дисциплина реализуется кафедрой русского
языка Института лингвистики РГГУ.
Предметом дисциплины является
соответствующий раздел грамматики,
изучающий структурные характеристики
предложения, а именно сочетаемость и
порядок слов, а также общие свойства
предложения как автономной единицы
языка и высказывания как части текста.
Цель дисциплины: познакомить студентов с
основными синтаксическими явлениями и
понятиями, а также с основными
синтаксическими концепциями.
Задачи дисциплины: рассмотрение
языкового материала и соответствующего
понятийного аппарата, обзор различных
направлений современного синтаксиса и
основных синтаксических концепций.
В результате изучения дисциплины студент
должен знать базовый понятийный и
терминологический аппарат, используемый
при описаниях синтаксиса естественного
языка; основные задачи теоретического и
прикладного синтаксиса; способы
представления синтаксической структуры;
основные методы и приемы решения
СЕМАНТИКА
прикладных задач синтаксиса; идеальные
модели синтаксического устройства
различных синтаксических единиц (от
словосочетания до текста); уметь
использовать разные методы описания
синтаксической структуры синтаксических
единиц; определять синтаксические
валентности слов; определять соответствие
поверхностной и глубиной синтаксических
структур; ориентироваться в теоретических
и практических проблемах словарного и
грамматического синтаксического
описания; владеть базовым понятийным и
терминологическим аппаратом синтаксиса;
существующими техниками
синтаксического описания и анализа.
Предусмотрены следующие
организационные формы учебных занятий:
лекции (28 часов), практические занятия (28
часов).
Формой итогового контроля знаний
студентов является экзамен.
Дисциплина «Семантика» относится к
компоненту дисциплин специальности
цикла дисциплин специализации учебного
плана специальности 031302
Интеллектуальные системы в гуманитарной
сфере и адресована студентам 2 курса (4
семестр).
Дисциплина реализуется кафедрой русского
языка Института лингвистики РГГУ.
Предметом дисциплины являются система
значений языка (общая семантика) и
конкретных языков (частные семантики).
Семантика – лингвистическая дисциплина,
изучающая план содержания языка в целом,
значение различных языковых единиц, их
функционирование в языке и речи. Из
частных семантик особую роль играет
семантика родного языка, то есть в данном
случае – русского.
Цель дисциплины: введение в исследование
плана содержания языка как семиотической
системы.
Задачи дисциплины: определение
основных теоретических понятий
семантики (значение, смысл, семантическое
отношение и некоторых др.); представление
методов описания значения (толкование,
компонентный анализ, постулаты значения
и др.); рассмотрение основных
теоретических подходов к изучению
АВТОМАТИЧЕСКАЯ ОБРАБОТКА
ТЕКСТА
семантики; определение места семантики в
системе языка; описание взаимодействия
семантики с другими разделами
лингвистики и другими науками;
ознакомление с историей развития
семантики и ее дальнейшими
перспективами.
В результате изучения дисциплины студент
должен знать фундаментальные
определения в области семантики и
смежных с ней областях, теоретический и
понятийный аппарат семантики; уметь
ориентироваться в различных проблемах,
связанных со значением и его
функционированием в человеческом
общении; владеть навыками определения в
языковом материале семантических
явлений.
Предусмотрены следующие
организационные формы учебных занятий:
лекции (28 часов), практические занятия (28
часов).
Формой итогового контроля знаний
студентов является экзамен.
Дисциплина «Автоматическая обработка
текста» относится к компоненту дисциплин
специальности цикла дисциплин
специализации учебного плана
специальности 031302 Интеллектуальные
системы в гуманитарной сфере ГОС ВПО и
адресована студентам 4 курса (7 семестр).
Дисциплина реализуется кафедрой
компьютерной лингвистики Института
лингвистики РГГУ.
Предметом дисциплины являются средства
и принципы автоматизированной обработки
текста (АОТ).
Цель дисциплины: представить общую
картину АОТ через знакомство с
основными задачами АОТ в сопоставлении
с типами реально разрабатывающихся
моделей и технологий АОТ.
Задачи дисциплины: дать общую картину
теоретических и практически
ориентированных исследований в
компьютерной лингвистике; познакомить
студентов с уровневым устройством
естественного языка и моделированием
различных уровней в системах АОТ в
качестве модулей лингвистического
процессора; описать свойства текстов,
описываемых в лингвистике в терминах
жанр, стиль, тематика текстов, и подходы к
формализации этих понятий в
компьютерной лингвистике; познакомить
студентов с прикладными направлениями
компьютерной лингвистики.
В результате изучения дисциплины студент
должен знать основные понятия
автоматической обработки текста; уметь
пользоваться инструментальными
средствами для автоматической обработки
текста и владеть навыками корпусного
анализа текста.
Предусмотрены следующие
организационные формы учебных занятий:
лекции (28 часов), практические занятия (28
часов).
Формой итогового контроля знаний
студентов является экзамен.
Дисциплины специализации
ТЕОРИЯ СХОДСТВА В
Дисциплина «Теория сходства в
ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМАХ
интеллектуальных системах» относится к
компоненту дисциплин специализации
цикла дисциплин специализации учебного
плана специальности 031302
Интеллектуальные системы в гуманитарной
сфере ГОС ВПО и адресована студентам 3
курса (5 семестр).
Дисциплина реализуется кафедрой
математики, логики и интеллектуальных
систем в гуманитарной сфере Отделения
интеллектуальных систем в гуманитарной
сфере.
Предметом дисциплины является: модель
для формализации сходства в
интеллектуальных системах.
Цель дисциплины: ознакомить студентов с
математическими методами, понятиями и
средствами, используемыми при создании
интеллектуальных систем, обучить
современному математическому языку,
обучить использованию математических
моделей при конструировании
интеллектуальных систем.
Задачи дисциплины: освоение понятий,
специальных математических методов и
конструкций, используемых в процессе
создания интеллектуальных систем.
В результате изучения дисциплины студент
должен знать средства универсальной
алгебры и математической логики для задач
конструирования интеллектуальных систем,
уметь применять некоторые специальные
ОПЕРАЦИОННЫЕ СИСТЕМЫ
модели и конструкции при создании
интеллектуальных систем, определять
существенную операцию сходства при
создании модели предметной области,
применять полученные знания для создания
быстрых алгоритмов при решении
определенных задач и владеть навыками
применения изученных теоретических
методов к исследованиям в области
интеллектуальных систем.
Предусмотрены следующие
организационные формы учебных занятий:
лекции (28 часов).
Формой итогового контроля знаний
студентов является зачет.
Дисциплина «Операционные системы»
относится к компоненту дисциплин
специализации цикла дисциплин
специализации учебного плана
специальности 031302 Интеллектуальные
системы в гуманитарной сфере ГОС ВПО и
адресована студентам 3 курса (5 семестр).
Дисциплина реализуется кафедрой
математики, логики и интеллектуальных
систем в гуманитарной сфере Отделения
интеллектуальных систем в гуманитарной
сфере РГГУ.
Предметом дисциплины является изучение
основ операционных систем.
Цель дисциплины: дать студентам
фундаментальные знания по операционным
системам.
Задачи дисциплины: изучение важных
концепций, которые стали неотъемлемой
частью теории и практики операционных
систем; проиллюстрировать лекционный
курс на примере конкретной операционной
системы.
В результате изучения дисциплины студент
должен получить представление о
назначении операционной системы и месте
операционной системы в вычислительной
системе. Предполагается, что к началу
практических занятий студенты умеют
программировать на языке C (с
использованием функций стандартной
библиотеки для работы с файлами и
строками) и имеют представление о
внутреннем устройстве ЭВМ.
Предусмотрены следующие
организационные формы учебных занятий:
лекции (28 часов) и практические занятия
ЛЕКСИКОГРАФИЯ
МЕТОДЫ ОБРАБОТКИ
СОЦИОЛОГИЧЕСКИХ ДАННЫХ
(28 часов).
Формой итогового контроля знаний
студентов является экзамен.
Дисциплина «Лексикография» относится к
компоненту дисциплин специализации
цикла дисциплин специализации учебного
плана специальности 031302
Интеллектуальные системы в гуманитарной
сфере ГОС ВПО и адресована студентам 3
курса (6 семестр).
Дисциплина реализуется кафедрой русского
языка Института лингвистики.
Предметом дисциплины являются словари
различных типов и системное
лексикографическое описание.
Цель дисциплины: ознакомить студентов с
современным состоянием словарной науки
и практикой составления словарей
различных типов.
Задачи дисциплины: продемонстрировать
связь лексикографии с другими
лингвистическими дисциплинами и
определить место лексикографии в
лингвистической науке; помочь студентам в
овладении техникой построения словарей и
составления конкретных словарных статей
для справочно-информационных книг
разных видов, языков и жанров.
В результате изучения дисциплины студент
должен знать общие принципы системной
лексикографии и лексикографического
анализа, историю создания и типологию
словарей и словарных методов описания
языковых единиц и категорий, назначение и
внутреннее строение словарей, место
словарей в моделях описания естественного
языка и языковой практике; уметь работать
со словарями и обладать навыками
практической работы с реальным языковым
материалом в процессе лексикографической
деятельности.
Предусмотрены следующие
организационные формы учебных занятий:
лекции (28 часов) и практические занятия
(28 часов).
Формой итогового контроля знаний
студентов является экзамен.
Дисциплина «Методы обработки
социологических данных» относится к
компоненту дисциплин специализации
цикла дисциплин специализации учебного
плана специальности 031302
МАШИННОЕ ОБУЧЕНИЕ
Интеллектуальные системы в гуманитарной
сфере ГОС ВПО и адресована студентам 4
курса (7 и 8 семестры).
Дисциплина реализуется кафедрой
математики, логики и интеллектуальных
систем в гуманитарной сфере Отделения
интеллектуальных систем в гуманитарной
сфере.
Предметом дисциплины являются методы
формализованного качественного анализа
социологических данных и количественные
методы анализа данных, основанные на
многомерной статистике.
Цель дисциплины: формирование у
студентов теоретических знаний и
практических навыков в области
качественных и количественных методов
анализа данных.
Задачи дисциплины: изложение принципов
интеллектуального анализа данных,
архитектуры интеллектуальных систем,
изучение логических средств
правдоподобных рассуждений, а также
математических основ методов анализа
многомерных данных.
В результате изучения дисциплины студент
должен знать основные принципы и
постулаты формализованного
качественного анализа социологических
данных, синтез познавательных процедур –
индукции, аналогии и абдукции, логику
аргументации, методы кластерного анализа,
методы снижения размерности, уметь
применять правила правдоподобного
вывода, использовать различные стратегии
прогнозирования социального поведения;
представлять данные в базе фактов для
применения ДСМ-метода автоматического
порождения гипотез и владеть навыками
практического использования компьютера
для решения задач обработки данных.
Предусмотрены следующие
организационные формы учебных занятий:
лекции (28 часов), семинары (20 часов),
лабораторные занятия (8 часов).
Формой итогового контроля знаний
студентов являются зачет (7 семестр) и
экзамен (8 семестр).
Дисциплина «Машинное обучение»
относится к компоненту дисциплин
специализации цикла дисциплин
специализации учебного плана
ИНТЕЛЛЕКТУАЛЬНЫЙ АНАЛИЗ
ДАННЫХ
специальности 031302 Интеллектуальные
системы в гуманитарной сфере ГОС ВПО и
адресована студентам 5 курса (9 семестр).
Дисциплина реализуется кафедрой
математики, логики и интеллектуальных
систем в гуманитарной сфере Отделения
интеллектуальных систем в гуманитарной
сфере.
Предметом дисциплины являются
алгоритмы машинного обучения.
Цель дисциплины: представить обзор
современных методов машинного обучения.
Задачи дисциплины: ориентировать
студентов среди многообразия средств
интеллектуального анализа данных,
предложить арсенал алгоритмов машинного
обучения для использования в прикладных
интеллектуальных систем.
В результате изучения дисциплины студент
должен знать основные алгоритмы
извлечения знаний из обучающих выборок,
модели машинного обучения, уметь
применять простейшие алгоритмы к
миниатюрным обучающим выборкам и
владеть навыками выбора адекватного
алгоритма для различных задач машинного
обучения.
Предусмотрены следующие
организационные формы учебных занятий:
лабораторные занятия (28 часов).
Формой итогового контроля знаний
студентов является зачет.
Дисциплина «Интеллектуальный анализ
данных» относится к компоненту
дисциплин специализации цикла дисциплин
специализации учебного плана
специальности 031302 Интеллектуальные
системы в гуманитарной сфере ГОС ВПО и
адресована студентам 3 курса (6 семестр).
Дисциплина реализуется кафедрой
математики, логики и интеллектуальных
систем в гуманитарной сфере Отделения
интеллектуальных систем в гуманитарной
сфере.
Предметом дисциплины являются вопросы,
связанные с моделями и алгоритмами
интерактивного и вероятно приближеннокорректного машинного обучения,
обучения деревьям решений и обучения
конечному автомату.
Цель дисциплины: обучение студентов
современным методам интеллектуального
анализа данных
Задачи дисциплины: изучение логикокомбинаторных методов интеллектуального
анализа данных; изучение статистических
методов интеллектуального анализа
данных.
В результате изучения дисциплины студент
должен знать основные парадигмы теории
машинного обучения; основные понятия
теории машинного обучения; основные
алгоритмы машинного обучения; уметь
применять алгоритмы машинного обучения
к малым выборкам; владеть навыками
анализа простейших алгоритмов машинного
обучения.
Предусмотрены следующие
организационные формы учебных занятий:
лекции (32 часа).
Формой итогового контроля знаний
студентов является экзамен.