Реферат: Наименование магистерской программы Методы анализа и синтеза проектных решений Направление подготовки

МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ

Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования

«Новосибирский национальный исследовательский государственный университет»

Факультет информационных технологий


УТВЕРЖДАЮ

_______________________

"_____"__________________20__ г.


Аннотации учебных дисциплин

Наименование магистерской программы

Методы анализа и синтеза проектных решений


Направление подготовки

230100 Информатика и вычислительная техника


Квалификация (степень) выпускника

Магистр


Новосибирск

2011


Аннотация учебной дисциплины

«Технология разработки программного обеспечения»


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


Для достижения поставленных целей выделяются следующие задачи дисциплины:

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

ознакомить с методами функционального и аспектно-ориентированного программирования и проектирования;

ознакомить с элементами метапрограммирования, включая интроспекцию, управляемую кодогенерацию;

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



Дисциплина входит в базовую часть профессионального цикла М2 образовательной магистерской программы «Технология разработки программных систем» направления подготовки магистров 230100 «ИНФОРМАТИКА И ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА»


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

Требования к первоначальному уровню подготовки обучающихся для успешного освоения дисциплины:

Обучающийся должен знать:

методы императивного (структурного, объектно-ориентированного программирования);

методы объектно-ориентированного проектирования включая принципы и GOF-шаблоны;

математическое понятие функции, в том числе высшего порядка (функционал, оператор), основы λ-исчисления или комбинаторной логики.

Обучающийся должен уметь:

проводить объектно-ориентированную декомпозицию задачи в соответствии с заданными требованиями;

реализовать заданную спецификацию (архитектуру) программной системы на языках Java, С++;

оценивать качество спецификации (архитектуры) программной системы и ее кода.


Дисциплины, последующие по учебному плану:

Учебная и производственная практики

Итоговая государственная аттестация


Изучение дисциплины направлено на формирование следующих компетенций:

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

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

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

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



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

Знать:

классификацию современных языков программирования по назначению, модели исполнения, парадигмам;

методы абстрагирования и обеспечения модульности, используемых в языках различных классов, преимущества и недостатки этих методов, а также их взаимную совместимость;

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

Уметь:

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

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

комбинировать различные языки и системы программирования, а также методы проектирования с целью оптимального решения поставленных задач;

расширять существующие языки дополнительными механизмами абстрагирования.

Владеть:

рядом современных функциональных, динамических и аспектно-ориентированных языков, а также соответствующими им методами проектирования.
^ Тематический план курса
Раздел 1. Современные динамические языки

1.1.Общая классификация языков по назначению и модели исполнения. Общие свойства динамических языков (динамическая типизация, модель трансляции и исполнения)

1.2. Язык Ruby: основные конструкции языка, коллекции. Функциональный стиль программирования в Ruby: блоки и замыкания. Итераторы.

1.3. Особенности объектной модели Ruby: унифицированность объектного представления, модули и примеси, инкапсуляция. Динамическое изменение классов, элементы Meta-Object Protocol (MOP) в Ruby. JRuby и взаимодействие с Java, Java Scripting API.

1.4. Регулярные выражения


Раздел 2. Современные функциональные языки

2.1. Классификация языков по парадигмам программирования. Функциональное программирование (ФП). Неподвижное состояние объекта как ключевое отличие ФП от ООП. Функции, как объекты первого класса. Чистые функции, функции высших порядков. Лексические контексты, анонимные функции, замыкания. Основные семейства функциональных языков. Историческая связь динамических и функциональных языков.

2.2. Общие характеристики семейства языков Lisp: единое представление кода и данных, S-выражения, модель трансляции и исполнения, REPL. Язык Clojure, как современный представитель семейства Lisp: основные структуры языка.

2.3. Функциональные возможности Clojure: коллекции, отложенные вычисления, бесконечные структуры данных. Абстрагирование данных с помощью функциональных примитивов (пары, числа Черча). Моделирование времени с помощью потоков. Преимущества и недостатки ФП в сравнении с ООП.

2.4. Императивные возможности Clojure. Software Transactional Memory. Многопоточность. Ссылки, атомы, агенты, виды транзакций. Взаимодействие с Java.


Раздел 3. Элементы метапрограммирования, аспектно-ориентированное программирование.

3.1. Управляемая кодогенерация. Макросы в Lisp (на примере Clojure). Модель исполнения макросов. Макросы, как способ расширения языка.

3.2. Понятие о проблемно-специфичных языках (DSL) и языках сценариев. Методы генерации DSL. Символьные вычисления.

3.3. Динамические объектные модели. CLOS: обобщенный динамический полиморфизм, обобщенные функции и мультиметоды, вспомогательные методы. Реализация элементов CLOS в Clojure. Интроспекция, введение в MOP.

3.4. Сквозная функциональность (cross-cutting concerns), проблема модульности. Традиционные методы обеспечения модульности в условиях сквозной функциональности. Контекстный полиморфизм. Механизм binding в Clojure, отличия от let.

Аспектно-ориентированное программирование (АОП). Понятие аспекта. Язык AspectJ, как аспектное расширение Java. Понятия pointcut и advise. Виды перехвата управления. Расширение существующих классов и интерфейсов. Использование интерфейсов Java, как абстрактных классов. Модель компиляции и исполнения AspectJ.

3.5 Применение АОП в проектирование. Преимущества и недостатки по сравнению с традиционными методами проектирования. Примеры задач, эффективно решаемых с помощью АОП.



Аннотация учебной программы дисциплины

"^ Методы оптимизаци^ «Интеллектуальные системы»

Целью дисциплины является подготовка магистров к созданию и применению интеллектуальных автоматизированных информационных систем.

Задачами дисциплины является построение моделей представления знаний, проектирование и разработка экспертных систем, разработка моделей предметных областей.

Дисциплина входит в базовую часть общенаучного цикла М1 образовательной магистерской программы «Технология разработки программных систем» направления подготовки магистров 230100 «ИНФОРМАТИКА И ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА»Изучение данной дисциплины требует следующих компетенций студентов:

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

Умение обосновывать принимаемые проектные решения.

Владение методами построения и анализа формальных моделей предметных областей

Владение теоретическими основами программирования, основами логического и декларативного программирования

Владение понятиями синтаксиса и семантики формальных языков. Владение навыками формального представления содержательных знаний средствами формальных языков.

Знание современных тенденций развития информационных технологий

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

Владение современными средствами управления базами данных, включая средства объектно-реляционного отображения, объектные и иерархические базы данных


Изучение дисциплины направлено на формирование следующих компетенций:

научно-исследовательская деятельность:

ПК-1 применять перспективные методы исследования и решения профессиональных задач на основе знания мировых тенденций развития вычислительной техники и информационных технологий;

проектно-конструкторская деятельность:

ПК-3 разрабатывать и реализовывать планы информатизации предприятий и их подразделений на основе Web- и CALS-технологий;

ПК-5 выбирать методы и разрабатывать алгоритмы решения задач управления и проектирования объектов автоматизации;

проектно-технологическая деятельность:

ПК-6 применять современные технологии разработки программных комплексов с использованием CASE-средств, контролировать качество разрабатываемых программных продуктов.


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

Знать:

модель представления знаний,

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

информационные модели знаний,

методы представления знаний,

методы инженерии знаний;

модели методы формализации, автоформализации и представления знаний;

теорию и технологии приобретения знаний, принципы приобретения знаний;

математические модели представления знаний, методы работы со знаниями;

виды систем поддержки принятия решений;

основные понятия, связанные с концепцией системы, основанной на знаниях (интеллектуальная система, база знаний, механизм интерпретации знаний, подсистема объяснения, подсистема приобретения знаний, дедуктивный вывод, прямой и обратный вывод, индуктивный вывод и т. д.);

основные понятия, связанные с нейросетевым подходом к построению интеллектуальных информационных систем (искусственный нейрон, синаптические связи, веса синаптических связей, искусственная нейронная сеть — ИНС, обучение ИНС и т. д.)

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

основные понятия и методы семантического представления и излечения информации в сети Интернет, методы разработки и применения онтологий различных предметных областей

Уметь:

разрабатывать модели предметных областей

разрабатывать методы исследования предметных областей

выполнять сравнительный анализ разработанных методов

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

Владеть:

способами формализации интеллектуальных задач

способами работы с базами данных и базами знаний

инструментальными средствами и технологиями работы со знаниями

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

базовыми принципами и методологией построения информационных систем (ERP, EAM, MRP, CRM,PLM, САПР, АСУ, АОС и т. д.) как систем, основанных на знаниях

Иметь представление:

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

Об известных методах и алгоритмах логического вывода на знаниях продукционного типа, стратегии управления ими, а также представлять себе возможные направления их развития
^ Тематический план курса
Модуль 1 Введение в область ИИ.

Тема 1.1. Область ИИ.

Тема 1.2. Этапы развития и основные направления ИИ.

Модуль 2. Экспертные системы

Тема 2.1. Понятие экспертной системы.

Тема 2.2. Структура ЭС

Тема 2.3. Классификации ЭС.

Тема 2.4. Коллектив разработчиков ЭС.

Тема 2.5. Подходы к созданию ЭС.

Тема 2.6. Методы извлечения знаний.

Тема 2.7. Машина вывода ЭС.

Тема 2.8. Представление неопределенности знаний в ЭС.

Тема 2.9. Компонента объяснения ЭС.

Тема 2.10. Гибридные ЭС.

Модуль 3. Системы поддержки принятия решений

Тема 3.1. Представление процесса принятия решений

Тема 3.2. Эволюция информационных систем

Тема 3.3. Определение систем поддержки принятия решений

Тема 3.4. Разработка систем поддержки принятия решений

Модуль 4. Мягкие вычисления

Тема 4.1. Нечеткое моделирование

Тема 4.2. Искусственные нейронные сети

Тема 4.3. Генетические алгоритмы и эволюционное программирование

Тема 4.4. Гибридные системы

Модуль 5. Инженерия знаний

Тема 4.1. Методы извлечения и представления знаний

Тема 4.2. Онтологии предметных областей. Разработка и применение онтологий.

Тема 4.3. Семантический Веб. Семантические методы представления, поиска и извлечения информации в Интернете.


Аннотация учебной программы дисциплины

" Современные проблемы информатики и вычислительной техники"


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


Для достижения поставленной цели выделяются задачи курса:

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

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

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

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


Изучение данной дисциплины базируется на дисциплинах, изучаемых на этапе подготовки бакалавра:

Программирование на языке высокого уровня

Основы параллельного программирования

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

Сетевые технологии


Для изучения дисциплины определены «входные» требования:

- знание фундаментальных основ информатики и современных информационных технологий на уровне программ ы бакалавра по направлению 230100 «Информатика и вычислительная техника»;

- базовое понимание проблем развития и ограничений теоретической и практической информатики на современном этапе;

- умение применять методы и технологии информатики для решения прикладных задач


Последующими для данной дисциплины являются

Научно-исследовательская практика

Итоговая государственная аттестация


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

Общекультурные компетенции

ОК-1, способен совершенствовать и развивать свой интеллектуальный и общекультурный уровень

ОК-2, способен к самостоятельному обучению новым методам исследования, к изменению научного и научно-производственного профиля своей профессиональной деятельности

ОК-4, использует на практике умения и навыки в организации исследовательских и проектных работ, в управлении коллективом

^ Профессиональные компетенции

ПК-1, применять перспективные методы исследования и решения профессиональных задач на основе знания мировых тенденций развития вычислительной техники и информационных технологий

ПК-5, выбирать методы и разрабатывать алгоритмы решения задач управления и проектирования объектов автоматизации

ПК-6, применять современные технологии разработки программных комплексов с использованием CASE-средств, контролировать качество разрабатываемых программных продуктов



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

Знать:

- элементы теории решения сложных задач на базе современных компьютерных средств;

- основы информационных технологий;

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

- современнные подходы к применению информационных систем в наиболее важных областях, таких как управление, наука и образование.

Уметь:

- правильно классифицировать прикладную задачу в терминах информационных систем;

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

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

Владеть навыками:

- классическими методами дистанционного доступа к информационным системам;

- методами синтеза алгоритмов решения новых классов задач информатики.


^ Основные разделы курса:

Часть 1. Проблемы становления информатики

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

Информационные (числовые) модели. Понятие о вычислениях. Основные этапы развития вычислительных устройств и моделей. Связь с экономическим развитием общества. Краткий исторический обзор от Аристотеля и Леонардо да Винчи до наших дней. Информационное моделирование. Может ли компьютер затормозить развитие «разума». Стоит ли читать «старые» книги – проблема извлечения «знаний». Становление вычислительной техники от дифференциальных анализаторов до суперкомпьютеров. «Вычислительные Пионеры».

Становление программирования – парадигмы программирования (объекты или процессы). Информационная вселенная. Информационные модели организации вычислений. Соответствие информационных и математических моделей реального мира. Компьютерная грамматика и арифметика – «критика чистого разума» (следуя Канту). Языки программирования: парадигмы и реалии. Компьютерная грамотность. Национальные информационные ресурсы. Как далеко можно плести сети. Кто на что влияет: общество и «вычислительные науки».

Кризис информационных технологий. Дом, который построил Джон (фон Нейман). Что такое «наука информатика» и «образование». Информатика и физика.

Как нам реорганизовать РАБКРИН (почти по Ленину). Что делать или кризис информационного жанра. Информация – данные – знания. Электронные библиотеки, коллекции и системы. Метаданные и схемы данных. Информационное построение окружающего мира – документы в информационном пространстве. Распределенные информационно-вычислительные ресурсы. Назад или вперед к «майнфреймам». Сетевые «операционные системы». Метаданные и принцип «цифровых библиотек». Настройка алгоритмов на данные или наоборот.


^ Часть 2. Компьютерные технологии в науке

Понятие о математическом моделировании.

Волна цунами – общие сведения

Современные ИКТ в задаче своевременного предупреждения об угрозе цунами

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

Использование современных архитектур для обработки данных в режиме реального времени

Примеры применения современных ИКТ в науках о Земле, науках о Живом и в образовании

Актуальные нерешенные задачи

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


^ Часть 3. Компьютерные технологии в образовании

Изучаются методологические основы преподавания информатики, проектирование целей, содержания и технологий реализации образовательного процесса по информатике. Обсуждается представление образовательного процесса по информатике в виде совокупности взаимосвязанных элементов, с объяснением характера связи между ними, обоснованием на этой основе необходимой структуры концептуально-описательной модели образовательного процесса.


Теории научения и обучения

Экспертные системы в образовании

Деятельностный подход к образованию

Создание учебной обстановки

Некомерческие линии развития информационных систем

Методические материалы по информатике и программированию

Дистанционное и факультативное обучение программистов

История информатики и ИКТ

Нерешенные проблемы образовательной информатики.

^ Аннотация учебной программы дисциплины
«Философия»
Целью курса является ознакомление с основными проблемами и концепциями современной философии науки, философии языка и социальной философии. Курс лекций расчитан на магистрантов, обучающихся по негуманитарной специальности. Курс разделен на два семестра. В первом семестре основное внимание уделено современным философским подходам к анализу научной теории, применению философии для критики текста, пояснению базовых понятий и методов новейшей философии. Во втором семестре внимание сосредоточено на проблемах социальной философии и политической теории. Для достижения поставленной цели выделяются задачи курса:

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

Научить самостоятельно анализировать сложный профессиональный текст при помощи средств современной философии. Дать представления о многообразии современных философских подходов к исследованию естественных и искусственных языков. Дать базовые гумманитарные сведения о современных социально-философских и политологических воззрениях. Показать роль философии в формировании общественно-политических структур.
Дисциплина входит в вариативную часть общенаучного цикла основной образовательной программы магистратуры по направлению подготовки 230100 «ИНФОРМАТИКА И ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА».
Изучение данной дисциплины базируется на дисциплинах: «История», «Когнитивная психология», «Экономика», «Методология ИТ исследования», «Философия» (для бакалавров).

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

ОК-1, ОК-2, ОК-6; ОК-7; ОК-8

ПК-6, ПК-8

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

Знать

- основные подходы современной философии науки и философии языка;

- основные проблемы современной философии и методы их решения;

- роль философии в развитии научной теории, производственной и общественной практики, формировании общественных отношений;

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

Уметь

- применять современные философские концепции для анализа сложных текстов;

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

Владеть

- базовыми представлениями в области философии науки, философии языка, социальной философии;

- философскими методами анализа текста

^ Основные разделы курса:

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

Философия науки в рамках позитивистского подхода. Возникновение позитивизма в XIX в, четыри этапа развития позитивизма. Классический позитивизм. Эмпириокритицизм. Неопозитивизм (логический позитивизм) – проблема демаркации научной теории, определение понятий «истины» и «доказательства» в науке, анализ структуры научной теории и терминологического аппарата. Соотношение эмпирического и теоретического знания в философии позитивизма. Кризис неопозитивизма. Критический рационализм, постпозитивизм. Историко-научный подход в философии.

Философия науки в рамках марксистского подхода. Особенности марксисткой философии. Воззрения на стуктуру научного знания и роль науки в жизни общества в философии марксизма. Роль онтологии в философии науки (сопоставление позитивистской и марксистской точек зрения). Научная онтология диалектического материализма. Современное состояние материалистической диалектики.

Лингвистические исследования в философии. Основные вопросы философии языка. Развитие философии языка в конце XIX – начале ХХ вв. Лингвистический поворот. Логический атомизм. Философские концепции Л. Витгенштейна – «ранний» и «поздний» Витгенштейн. Аналитическая философия. Философия искусственных языков. Влияние идей Витгенштейна на появление языков программирования. Философия естественного языка, ее применение в современных информационных технологиях.

Философия языка в СССР. Концепция Выгодского-Лурия, ее значение для философии языка. Философия сознания – сопоставление советских и западных концепций. Применение психолингвистических знаний в современной философии, науке, ИТ-индустрии. Современная философия языка. Лингвистические деревья Н. Хомского, генеративная грамматика и разработка языков высокого уровня в программировании. Философия языка в современном Китае. Специфика логографических языков с точки зрения философского анализа текстов.

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

Современное общество с точки зрения социальной философии. Социально-политические теории XIX-XX вв. Кризис классических социально-философских идей в конце ХХ в. Вызовы современного общества и их осмысление философами. Современные философские дискуссии по общественно-политическим проблемам.

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


Аннотация к программе дисциплины

^ Английский язык


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


^ Задачами дисциплины являются: совершенствование навыков и умений чтения, говорения, письма и перевода, аудирования; овладение лексическим запасом, обеспечивающим эффективную иноязычную коммуникацию в рамках профессиональной деятельности, ознакомление с основами культуры делового общения и ведения профессиональной документации на иностранном языке


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

владеет одним из иностранных языков на уровне не ниже разговорного ;

в следующем объеме:


Уровень «знать»:

основные грамматические явления, характерные для английского языка; лексический минимум в объеме 3000-4000 единиц общего и терминологического характера;

о роли невербального общения (нормах и правилах поведения в инокультурной среде) в бытовой и профессиональной сферах;

Уровень «уметь»:

читать и понимать аутентичные статьи общего характера из журналов, газет и других источников;

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

выразить свою точку зрения по вопросам, обсуждаемым в прочитанных статьях, приводя соответствующие пояснения и аргументы;

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

делать аннотации (abstract), рефераты (summary), презентации и отчеты по соответствующим темам и письменным продуктам; составить деловые письма и резюме;

^ Уровень «владеть»

элементами стилевой организации письменного научного текста, делового текста (деловая переписка, резюме), «личного» непрофессионального текста (личная переписка); общекультурных явлениях и национальных особенностях организации обыденной жизни, науки, обучения в США и в Великобритании;

правилами речевого общения в бытовой и профессиональной сферах;


Дисциплины, последующие по учебному плану:

Научно-методический практикум

Научно-исследовательская работа

Итоговая государственная аттестация

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

Знать

лексический минимум в объеме 4000 учебных лексических единиц общего и терминологического характера (с учетом магистерского «списка» Masters’ Word List);

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

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

правила речевого бытового и профессионального этикета.

Уметь

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

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

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

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

составить реферат и аннотацию научной статьи по специальности на иностранном языке;

составить резюме, заполнить документы на грант, написать план и обоснование исследовательского проекта на иностранном языке;

понимать на слух сообщения на профессиональные темы;

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

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

владеть

основными правилами написания (составления) связного текста;

навыками использования разного стиля (обиходно-литературный,

официально-деловой и научный) в письменной и устной формах;


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

^ Общекультурные компетенции:

способен совершенствовать и развивать свой интеллектуальный и общекультурный уровень (ОК-1)

способен свободно пользоваться русским и иностранным языками, как средством делового общения (ОК-3);


^ Тематический план курса


Чтение и перевод английской научно-технической литературы.

Элементы синтаксического и текстового анализа (в рамках разграничения и опознания разностилевых компонентов, обозначенных выше):

• основные структуры простого предложения;

• базовая структура сложносочиненного предложения;

• основные структуры сложноподчиненного предложения;

• конструкции с неличными формами глагола (причастие I; причастие II; причастные обороты, герундий; герундиальные обороты; инфинитив; инфинитивные обороты);

• модальные глаголы и их эквиваленты,

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

Чтение и обсуждение английской научно - технической литературы.

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

Деловой английский.

Основы деловой переписки; составление резюме и CV; ключевые черты эффективной презентации/научного доклада; практика составления презентаций.

Реферирование английской научно-технической литературы

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


Аннотация к программе курса

«Прикладная логика»


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

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


Содержание курса:

Введение. Основные принципы устройства формальных логических систем (синтаксис, семантика, аксиоматика, логический вывод). Многообразие формальных логических систем и их выразительные возможности. Применение формальных логических систем в современных информационных технологиях.

^ Основы логического программирования. Парадигма логического программирования. Логическое