Спецкурс содержит практические семинары по МАШИННОМУ ОБУЧЕНИЮ И НЕЙРОСЕТЯМ.
Занятия рассчитаны на средний и высокий уровень изначальной подготовки практикантов.
Программа спецкурса содержит теоретические основы и практические приёмы обучения нейросетей. Основной упор делается на полу-самостоятельное решение прикладных задач на современных видеокартах под руководством наставника.
Содержание спецкурса составляют классические методы верификации программ, которые базируются на подходах Флойда и Хоара. Вначале вводится логический язык спецификаций, на базе которого определяется понятие корректности программ. Подробно рассматривается метод аксиоматической семантики как для элементарных конструкций, циклов и процедур, так и для операторов над сложными структурами данных, такими как массивы, файлы, указатели. Рассматривается проблема автоматизации трудоемкого процесса верификации программ.
InterSystems Caché® – технология баз данных нового поколения, предоставляющая несколько парадигм доступа к одним и тем же данным. Данные описываются в едином интегрированном словаре данных один раз.
После этого с ними можно работать, используя:
В спецкурсе проводятся практические занятия по разработке приложений на СУБД Caché.
При успешной сдаче тестов – сертификат компании Intersystems.
Основные принципы Открытых Связанных Данных за последние годы были приняты большим числом поставщиков данных, что привело к созданию глобального пространства данных, которое содержит многие миллиарды утверждений –Web of Data. Среди предприятий, использующих новые стандарты и активно участвующих в развитии этого направления находятся Google, Facebook, Microsoft, IBM и многие другие.
В курсе рассматриваются вопросы, с которыми постоянно приходится сталкиваться разработчикам программного обеспечения с использованием реляционных баз данных. Основное внимание уделено программированию и проектированию БД. В краткой форме рассматриваются вопросы администрирования и оптимизации производительности. Цель курса – заложить основы навыков применения реляционных БД, создать фундамент для дальнейшего самостоятельного обучения по данному направлению.
Цель курса - общее представление о функциональном программировании и сфере его применения, включая анализ основных понятий и принципов, связь функционального программирования с математическими основами на материале разных языков. В настоящее время очередной всплеск интереса к функциональному программированию связан с поиском методов параллельного программирования для суперкомпьютеров, графических процессоров и других мультипроцессорных конфигураций.