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

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

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

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

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

• 
  Современная философия: основные разделы философии, направления философских исследований, области применения философии, взаимосвязь философии с научной теорией и практической деятельностью. Предмет и метод философии науки. Основные этапы развития философии науки.
  
• 
  Философия науки в рамках позитивистского подхода. Возникновение позитивизма в XIX в, четыри этапа развития позитивизма. Классический позитивизм. Эмпириокритицизм. Неопозитивизм (логический позитивизм) – проблема демаркации научной теории, определение понятий «истины» и «доказательства» в науке, анализ структуры научной теории и терминологического аппарата. Соотношение эмпирического и теоретического знания в философии позитивизма. Кризис неопозитивизма. Критический рационализм, постпозитивизм. Историко-научный подход в философии.
  
• 
  Философия науки в рамках марксистского подхода. Особенности марксисткой философии. Воззрения на стуктуру научного знания и роль науки в жизни общества в философии марксизма. Роль онтологии в философии науки (сопоставление позитивистской и марксистской точек зрения). Научная онтология диалектического материализма. Современное состояние материалистической диалектики.
  
• 
  Лингвистические исследования в философии. Основные вопросы философии языка. Развитие философии языка в конце XIX – начале ХХ вв. Лингвистический поворот. Логический атомизм. Философские концепции Л. Витгенштейна – «ранний» и «поздний» Витгенштейн. Аналитическая философия. Философия искусственных языков. Влияние идей Витгенштейна на появление языков программирования. Философия естественного языка, ее применение в современных информационных технологиях.
  
• 
  Философия языка в СССР. Концепция Выгодского-Лурия, ее значение для философии языка. Философия сознания – сопоставление советских и западных концепций. Применение психолингвистических знаний в современной философии, науке, ИТ-индустрии. Современная философия языка. Лингвистические деревья Н. Хомского, генеративная грамматика и разработка языков высокого уровня в программировании. Философия языка в современном Китае. Специфика логографических языков с точки зрения философского анализа текстов.
  
• 
  Социальная философия: определение базовых понятий, роль социальной философии в жизни общества, основные направления современной социальной философии. Сопоставление естественнонаучного и гуманитарного знания. Структура общества и ее отражение в философской теории. Политико-иделогические концепции ХХ в, их современное состояние. Философия истории, социальная этика, философия права.
  
• 
  Современное общество с точки зрения социальной философии. Социально-политические теории XIX-XX вв. Кризис классических социально-философских идей в конце ХХ в. Вызовы современного общества и их осмысление философами. Современные философские дискуссии по общественно-политическим проблемам.
  

• 
  Введение. Глобальная интеграция ресурсов – основная задача автоматизации на современном этапе. Примеры глобальных распределённых приложений. Современные принципы разработки распределённых систем.
  
• 
  Математические основы инженерии распределённых систем. Формализация коммуникационного времени. Шаблоны проектирования. Компонентное проектирование. Языки описания архитектуры (Architecture Description Languages, ADL).
  
• 
  Моделирование и верификация физического уровня распределённой системы. Оценка производительности систем. Модели вычислений. Статистические методы анализа потоков данных.
  
• 
  Инженерия данных в распределённых системах. Классификация систем, управляемых данными. Метаданные и стандарт Dublin Core. Инициатива Semantic Web. Языки RDF и OWL.
  
• 
  Организация совместной работы ресурсов. Шаблоны проектирования рабочих процессов. Языки управления рабочими процессами (Workflow Management Languages, WfML). Технология Web Service Orchestration, язык BPEL4WS.
  
• 
  Инженерия систем реального времени. Распределённые системы реального времени, SCADA-системы. Синхронный (synchronous) подход к моделированию систем реального времени. Языки Lustre и Esterel.
  
• 
  Концепция программного агента. Требования к агентам. Мультиагентные системы (multiagent systems), языки взаимодействия агентов. Автономные вычисления (autonomic computing).
  
• 
  Веб-интерфейс распределённых приложений. Интеграция доступа к гетерогенным информационным ресурсам. Архитектура портала. Технологические платформы создания порталов.
  
• 
  Технологии Grid. Основные требования к Grid-системам. Три стадии развития Grid-технологий: интеграция аппаратных ресурсов, интеграция служб, адаптивная интеграция.
  
• 
  Архитектура Grid-систем. Формальный подход к проектированию Grid-систем. Открытая архитектура Grid-служб (Open Grid Service Architecture, OGSA).
  
• 
  Основные компоненты интеграционного слоя Grid-систем. Платформа Globus Toolkit. Средства управления ресурсами и данными в Grid-среде. Grid-порталы. Обзор технологических платформ Grid-систем.
  
• 
  Технологический процесс разработки глобальных распределенных систем. Принципы моделирования системы. Многомерная декомпозиция. Реализация путем интеграции гетерогенных компонентов.
  

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

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

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

• 
  Классификация языков по парадигмам программирования. Функциональное программирование (ФП). Неподвижное состояние объекта как ключевое отличие ФП от ООП. Чистые функции, функции высших порядков. Функции, как объекты первого класса. Лексические контексты, анонимные функции, замыкания. Основные семейства функциональных языков. Историческая связь динамических и функциональных языков.
  
• 
  Общие характеристики семейства языков Lisp: единое представление кода и данных, S-выражения, модель трансляции и исполнения, REPL. Язык Clojure, как современный представитель семейства Lisp: основные структуры языка.
  
• 
  Функциональные возможности Clojure: коллекции, отложенные вычисления, бесконечные структуры данных. Абстрагирование данных с помощью функциональных примитивов (пары, числа Черча). Моделирование времени с помощью потоков. Преимущества и недостатки ФП в сравнении с ООП.
  
• 
  Императивные возможности Clojure. Software Transactional Memory. Многопоточность. Ссылки, атомы, агенты, виды транзакций. Взаимодействие с Java.
  

• 
  Управляемая кодогенерация. Макросы в Lisp (на примере Clojure). Модель исполнения макросов. Макросы, как способ расширения языка.
  
• 
  Понятие о проблемно-специфичных языках (DSL) и языках сценариев. Методы генерации DSL. Символьные вычисления.
  
• 
  Динамические объектные модели. CLOS: обобщенный динамический полиморфизм, обобщенные функции и мультиметоды, вспомогательные методы. Реализация элементов CLOS в Clojure. Интроспекция, введение в MOP.
  
• 
  Сквозная функциональность (cross-cutting concerns), проблема модульности. Традиционные методы обеспечения модульности в условиях сквозной функциональности. Контекстный полиморфизм. Механизм binding в Clojure, отличия от let.
  
• 
  Аспектно-ориентированное программирование (АОП). Понятие аспекта. Язык AspectJ, как аспектное расширение Java. Понятия pointcut и advise. Виды перехвата управления. Расширение существующих классов и интерфейсов. Использование интерфейсов Java, как абстрактных классов. Модель компиляции и исполнения.
  
• 
  Применение АОП в проектирование. Преимущества и недостатки по сравнению с традиционными методами проектирования. Примеры задач, эффективно решаемых с помощью АОП.
  

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

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

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

• 
  классическими методами дистанционного доступа к информационным системам;
  
• 
  методами синтеза алгоритмов решения новых классов задач информатики.