Аннотация: Курс посвящен основным протоколам сети Интернет. Целью его написания является ознакомление читателей с принципами функционирования базовых технологий интернет, методами передачи, коммутации и обработки мультимедийной информации. В курсе содержатся сведения о протоколах всех уровней модели TCP/IP, таких как IP, UDP, TCP. Рассмотрены протоколы внешней и внутренней маршрутизации RIP, OSPF, BGP; вспомогательные протоколы IGMP, ICMP; основные протоколы прикладного уровня, включая World Wide Web (WWW) и протоколы мультимедиа (RTP, RTCP, IP-телефонии).

Аннотация: Курс основан на творческом синтезе избранных формальных теорий (ламбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной технологической платформы Microsoft.NET, обеспечивающей практически прозрачную интеграцию кода на языках программирования различных типов. Первая часть курса посвящена основам функционального подхода к программированию на основе метаязыка SML.NET. Курс будет полезен как для опытных программистов, так и для студентов, аспирантов и исследователей, специализирующихся в области компьютерных наук и информационных технологий.

Аннотация: Курс является вводным в объектно-ориентированное программирование и теоретический фундамент программирования. Курс лекций охватывает основные разделы программирования в приложении к объектно-ориентированным языкам программирования (теория вычислений, представление синтаксиса и семантики выражений, теория типов и др.). Курс проиллюстрирован примерами, связывающими фундаментальные понятия теории с особенностями программирования на языке C# (типизация, наследование, инкапсуляция, полиморфизм, динамическое связывание и др.) и языке SML («ленивые» вычисления, расширенный полиморфизм, выводимость типов и т.д.). Базовые аспекты профессионального программирования излагаются в сравнении языков C# и SML на единой платформе Microsoft .NET.Сравнительное изучение языков программирования «нового поколения» SML и C# дает возможность более глубоко проникнуть в суть процесса создания программных систем.