Математические основы информатики

Теория вычислений возникла из забот об основах математики и была развита в работах Геделя, Черча, Тьюринга, Клини и других. Фактическое создание вычислительной техники позже было сильно под влиянием этой теоретической работы. Информатика быстро превратилась в самостоятельную область изучения, но отношения с математикой все еще сильны. Связи варьируются от использования математики для моделирования основ до использования компьютеров для решения математических задач с дискретным компонентом. Специализация Мастера прямо в этой захватывающей междисциплинарной области глубоких теоретических разработок. По этой причине курсы по математике в этой учебной программе концентрируются на алгебре, общей топологии, логике, теории чисел и комбинаторике. Курсы информатики концентрируются на формальных методах, теории типов, теории категорий, коалгебре и доказательстве теорем. Этот магистр не только является отличной отправной точкой для студентов, стремящихся к исследованиям, многие наши выпускники также работают в качестве разработчиков систем, специалистов по ИКТ или менеджеров по ИКТ в частном секторе или в правительстве.

Основные курсы: теория типов и Coq; Компьютерная алгебра; Исследовательский семинар; Семантика и теория предметной области; Теория сложности.

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

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

Знание английского языка

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

• Оценка TOEFL ≥575 (на бумажной основе) или ≥90 (на интернет-основе)
• IELTS оценка ≥6,5
• Кембриджский сертификат углубленного английского языка (CAE) или сертификат владения английским языком (CPE) со знаком C или выше

* Кандидаты считаются носителями английского языка, если они из Австралии, Канады (за исключением Квебека), Ирландии, Новой Зеландии, Сингапура, Великобритании, США или Южной Африки.

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

Стипендиальная программа Radboud

Открыт для выбора отличных иностранных студентов. Вместо оплаты за обучение в школе, студенты, не входящие в ЕЭЗ, платят за обучение (€ 2060 в 2018/2019). Стоимость визы и вида на жительство, страхование ответственности и медицинское страхование также покрываются.

Стипендия "Оранжевый тюльпан"

Открыт для студентов из Бразилии, Мексики, России, Индонезии, Южной Кореи, Вьетнама, Таиланда и Китая. Вместо оплаты за обучение в школе, студенты, не входящие в ЕЭЗ, платят за обучение (€ 2060 в 2018/2019). Стоимость визы и вида на жительство, страхование ответственности и медицинское страхование также покрываются.

Стипендии Фулбрайта-Радбуда

Открыт для отличных американских студентов. Грант будет выплачиваться 12 ежемесячными платежами по 1050 евро. Международные поездки и стоимость вида на жительство будут покрыты, а по прибытии будет выплачена дополнительная надбавка в размере 1150 евро.

Стипендия китайско-голландской двусторонней биржи

Открыт для отличных студентов из Китая. Состоит из взноса в размере 16 111 евро на общую стоимость одного года обучения или исследований в Нидерландах.

Стипендии DIKTI-Neso

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

Индонезийская образовательная стипендия (LPDP)

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

Голландская стипендиальная программа

Открыт для отличных студентов из Канады, Америки, Индии и Турции. Стипендия состоит из 5000 евро, выплачиваемых в начале обучения.

Голландские студенческие финансы

Учащиеся ЕС / ЕЭП и швейцарские студенты в возрасте до 30 лет имеют право, если они работают не менее 56 часов в месяц в Нидерландах или проживают в Нидерландах в течение пяти и более лет. Финансирование голландских студентов состоит из четырех компонентов: базовый грант, дополнительный грант (в зависимости от дохода родителей), туристический продукт для учащихся и кредит.

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

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

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