В курсе рассказывается о "продвинутых" (advanced) алгоритмах для школьников. Этот курс читался на летней компьютерной школе для участников олимпиад по информатике.

Introduces students to the organization and architecture of computer systems, beginning with the standard von Neumann model and then moving forward to more recent architectural concepts.

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

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

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

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

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

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

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

Курс предназначен для тех слушателей, которым нужны систематическое представление об архитектурах ЭВМ и практические навыки программирования на языке ассемблера.

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

В курсе рассказывается о базовых и "продвинутых" (advanced) алгоритмах для школьников. Этот курс читался на летней компьютерной школе для участников олимпиад по информатике.

Курс посвящен изучению языка гипертекстовой разметки HTML.

Предметом видео курса является изложение основ современной методологии разработки сложных программных и информационных систем IBM Rational Unified Process (далее – RUP). Последовательно излагаются все основные элементы этой методологии и особенности инструментальной поддержки основных этапов процесса разработки с использованием линейки продуктов IBM Rational.

В курсе дается введение в теорию алгоритмов. Рассматриваются формальные модели алгоритмов: машина Тьюринга, алгоритмы Маркова, Паскаль, а также основные структуры данных и алгоритмы.

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

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

Основным объектом исследования в настоящем курсе являются оптимизационные задачи, в которых целевая функция и функции ограничений являются позиномами, – задачи геометрического программирования (ГП). Приведены примеры таких задач, возникающие на практике. Излагаются базовые методы решения задач ГП. Описаны способы преобразования некоторых типов задач оптимизации в задачи ГП. Вместе с курсом поставляется ПО – созданный авторами учебный пакет GeomProg для решения задач ГП в канонической форме.

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

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

Курс посвящён описанию основных структур данных и алгоритмов, применяемых в символьных вычислениях на ЭВМ.

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

Учебное пособие содержит материал, для работы в области параллельного программирования.

На основе положений математической логики событий исследуются нейронные сети, имитирующие механизмы работы мозга. Эти механизмы реализуют операции вывода по "нечеткой" логике в составе систем искусственного интеллекта - распознавания, управления и принятия решений - во всех областях человеческой деятельности. Рассмотрение многих примеров демонстрирует простейший подход к построению и развитию обученных нейронных сетей "под задачу", а также трассировку – обучение при заданной структуре сети.

Курс содержит базовые сведения о появлении, развитии и использовании технологий облачных вычислений. В рамках курса рассматриваются основные модели предоставления услуг облачных вычислений. Производится обзор решений ведущих вендоров – Microsoft, Amazon, Google. Анализируются основные преимущества и недостатки моделей облачных вычислений и предлагаемых на их основе решений.

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

Курс направлен на изучение различных видов оптимизаций на начальном уровне.

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

В курсе рассматриваются общие концепции разработки языков программирования. Подробно изучаются основные конструкции языков программирования, анализируются различные структуры данных, освещаются вопросы объектно-ориентированного программирования и сетевого программирования, дается краткий обзор компонентной технологии программирования. Особое внимание уделяется рассмотрению семантики языков программирования C++, C#, Java и Object Pascal.

В курсе рассматриваются как общие основы разработки приложений для мобильных устройств, так и специальные инструменты, ориентированные на новую операционную систему MeeGo и процессоры Intel Atom.

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

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

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

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

Курс посвящен основным понятиям "наивной теории множеств" (мощности, упорядоченным множествам, трансфинитной индукции, ординалам).

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

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

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

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

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

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

Курс посвящен базовому уровню современной вычислительной практики - кластерным системам.

Курс посвящен методологии разработки программного обеспечения Microsoft Solutions Framework for Agile Software Development корпорации Microsoft.

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

В курсе излагаются основные понятия теории графов. Описаны методы решения задач.

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

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

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

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

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

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

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

Основной акцент в учебном курсе делается на изучение основ параллельного программирования с использованием программного интерфейса MPI, а также высокоуровневого языка параллельного распределенного программирования MC# (www.mcsharp.net), на базе технологий и продуктов Microsoft.

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

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

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

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

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

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

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

Курс содержит все необходимые сведения для создания и распространения SVG - документов.

В курсе рассматирваются вопросы теории метавычислений и их применения.

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

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

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

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

Курс состоит из теоретической и практической частей. В каждой работе приводятся необходимые теоретические сведения для выполнения и понимания практических примеров. В практической части рассматриваются характерные примеры и их полная программная реализация в таких средах, как MATLAB, GPSS/PC. Большая часть программного кода реализована в MATLAB.

В курсе дается введение в теорию искусственного интеллекта. Этот курс читался на летней компьютерной школе для участников олимпиад по информатике.

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

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

В этом курсе лекций, прочитанном авторами в Финансово-Аналитическом Колледже МИФИ, мы знакомим читателя с основами нейросетевой обработки данных и примерами типовых применений, преимущественно в области финансов и бизнеса.

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

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

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

Данный курс обучает основам использования библиотеки математических прикладных программ Intel® Math Kernel Library (Intel® MKL), которая содержит основные функции для выполнения базовых операций линейной алгебры таких как перемножение матриц и решение систем линейных алгебраических уравнений, а также функции для вычисления преобразования Фурье, случайных распределений и других математических операций.

Данная сертификация проверяет знания основ использования библиотеки математических прикладных программ Intel® Math Kernel Library (Intel® MKL), содержащей основные функции линейной алгебры.

Расширенная сертификация проверяет знания основ использования библиотеки математических прикладных программ Intel® Math Kernel Library (Intel® MKL), содержащей основные функции линейной алгебры.

Курс направлен на изучение основ оптимизации программ при помощи инструментов Intel. Для понимания лекционных материалов требуются базовые навыки программирования на языках C и Fortran.

Данная сертификация проверяет знания оптимизации программ при помощи инструментов Intel.

Данная сертификация проверяет знания оптимизации программ при помощи инструментов Intel.

В курсе лекций рассматриваются ключевые принципы программирования на VBA в MS Excel.

Рассматриваются основы XAML, включая анимацию и интерактивность. Весь материал построен на большом количестве примеров, позволяющих использовать курс в качестве справочника.

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

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

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

Обсуждаются понятия и методы менеджмента в объеме, необходимом для общего образования программиста.

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

Фундаментальный учебник по основам объектно-ориентированного проектирования и инженерии программ. В книге подробно рассматривается объектная технология бесшовной разработки программных систем, включающая этапы анализа, проектирования, разработки и сопровождения. Как находить классы, правильное использование наследования, таксономия наследования, объектно-ориентированный анализ – это далеко не полный перечень рассматриваемых в книге тем.

Курс посвящен основам разработки параллельных программ с использованием интерфейса обмена сообщениями (MPI Message Passing Interface). Приводятся основные понятия и концепции модели передачи сообщений, рассматривается архитектура MPI.

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

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

Курс представляет первую часть фундаментального учебника "Почувствуй класс. Учимся программировать хорошо с объектами и контрактами". В отличие от традиционного подхода введение в основы программирования начинается с рассмотрения объектов, классов, интерфейсов и контрактов. В этой части курса рассматриваются также основы логики и внутреннее устройство компьютера. В курсе излагаются основы объектно-ориентированного программирования (ООП). В этой вводной части мы начнем наше путешествие в мир программирования с самых его основ: объектов, классов, интерфейсов и контрактов. Будут рассмотрены поддерживающие концепции, включающие логику и внутреннее устройство компьютера, которые каждый программист должен знать.

В настоящее время развитие вычислительных систем испытывает третий кризис программного обеспечения. Первый кризис разразился в 60-70е годы прошлого века, когда программирование в машинных кодах и на языке ассемблера вошло в противоречие с возросшей производительностью компьютеров. Выходом стало появление языков высокого уровня. Второй кризис пришелся на 80-90е годы. Создание и поддержка сложных и надежных программных комплексов, содержащих несколько миллионов строк кода, написанных сотнями программистов, потребовали развития объектно-ориентированных языков и разработки инструментария для поддержки больших программных проектов. Третий кризис связан с невозможностью дальнейшего экстенсивного развития hardware и переходом к многоядерным архитектурам. Адекватного ответа на возникший кризис до сих пор не найдено. Одним из способов его преодоления является разработка параллельных программ.

Курс написан по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В нем рассказывается об основных понятиях общей теории вычислимых функций (вычислимость, разрешимость, перечислимость, универсальные функции, нумерации и их свойства, m-полнота, теорема о неподвижной точке, арифметическая иерархия, вычисления с оракулом, степени неразрешимости) и о конкретных вычислительных моделях (машины Тьюринга, рекурсивные функции).

Одним из популярных направлений Artificial Intelligence является теория нейронных сетей (neuron nets). Данный курс является систематизированным вводным курсом в это направление. Нашей целью является познакомить слушателей с основными нейроно-сетевыми парадигмами, показать область применения этого направления.

Одним из популярных направлений Artificial Intelligence является теория нечетких множеств (fuzzy sets). Данный курс является систематизированным вводным курсом в это направление.

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

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

Данный учебный курс ориентирован на изучение и практическое применение современных высокоуровневых средств параллельного программирования для многоядерных процессоров - библиотеки Microsoft Parallel FX и языка программирования MC#. Использование таких средств, с промышленной точки зрения, резко повышает производительность и продуктивность работы программистов и позволяет привлечь к регулярному параллельному программированию значительно большее число программистов, а с образовательной точки зрения, дает возможность их успешно изучать и осваивать студентам вузов, начиная со 2-го курса.

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

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

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

Курс содержит задачи по программированию различной трудности. Большинство задач приводятся с решениями. Цель курса - научить основным методам построения корректных и быстрых алгоритмов.

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

Курс посвящен вопросам программирования в IIS при помощи технологии ASP, представленной языками VBScript, XML и ADO.

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

Курс лекций предназначен для обучения гуманитариев основам программирования и искусственному интеллекту.

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

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

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

LightSwitch представляет собой новый инструмент для быстрой разработки бизнес-приложений в семействе Microsoft Visual Studio 2010. Клиентский интерфейс создаётся на основе стандартных шаблонов в виде SilverLight приложения, которое может быть развернуто на локальных серверах или в облаке.

Курс предназначен для того, чтобы показать разработчикам приложений, как использовать новейшие функции и возможности, появившиеся в IBM Lotus Notes, а также в IBM Lotus Domino 7.

Курс посвящен теоретическим и практическим вопросам разработки приложений для Windows Phone 7 с помощью Silverlight и XNA.Обсуждаются особенности архитектуры, программного и аппаратного обеспечения устройств Windows Phone 7.

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

В курсе рассказывается о технологии Scrum.

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

Этот курс посвящен вопросам планирования, проектировки и создания бизнес-решений на базе продуктов IBM WebSphere Business Integration.

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

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

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

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

В данном курсе Вы ознакомитесь с операциями ввода-вывода текстовой информации в языках: Ассемблер, Си/С++, C--, Quick Basic, Perl, Python, MS-DOS Command Shell и других.

Учебное пособие содержит материал, для работы в области параллельного программирования.

В курсе излагаются основные разделы теории разработки компиляторов. Рассматриваются такие средства автоматизации процесса разработки трансляторов, как LEX, YACC, СУПЕР, методы генерации оптимального кода.

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

Особенностью данного курса является подробное описание технологий и средств Microsoft для создания RIA - приложений. Наряду с уже проверенными методиками и технологиями , подробно рассмотрены новейшие средства Silverlight 4.0, IE9 и Web Matrix.

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

Курс знакомит слушателей с парадигмой функционального программирования, в которой решение задач сводится к описанию функций, перерабатывающих некоторые входные данные в выходные и строящихся из более простых функций на основе принципов функциональной абстракции и аппликации. Рассматриваются теоретические основы функционального программирования (лямбда-исчисление, комбинаторная логика, вопросы вычислимости), на примере функционального подхода дается представление о некоторых теоретических разделах компьютерных наук (семантика языков программирования, доказательство программ). С другой стороны курс содержит значительную практическую составляющую, основанную на промышленном языке программирования F# (входит в состав Microsoft Visual Studio 2010), рассматриваются вопросы использования функциональных языков для построения компиляторов, грамматического разбора и т.д.

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

В курсе дается введение в основные элементы линейной алгебры.

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

В данном курсе изучаются язык разметки XML и принципы построения и использования Web-сервисов.