Курс математика для программистов
Самые выгодные условия в праздники!
🎁 Дарим вам промокод SPRING_OTUS15 на скидку -15% на оплату любого курса до 12 мая 2024.
Выбрать курс

Математика для программистов

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

Длительность обучения:

5 месяцев

4 ак. часа в нед.

Начало занятий:

В июле

Что даст вам этот курс

Особенности и цели курса:

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

  - Сейчас в разработке активно используется DDD (Domain Driven Design) с микросервисной архитектурой. DDD пропагандирует разработку по модели. Весь курс показывает применение математических моделей к программированию, то есть вырабатывается навык построения моделей;

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


Почему нужно изучать этот курс?

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

- Знания на курсе позволят вам легче и быстрее обнаруживать ошибки в вашем коде;

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

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

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

Для кого этот курс?

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

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

Преподаватели

Евгений Тюменцев
Евгений Непомнящий
Разработчик в IT Sense
Анатолий Бурнашев
Директор компании по разработке программного обеспечения. 20 лет преподаю компьютерные дисциплины в ВУЗе: C++, Kotlin, C#, ООП. Технологии программирования.
В прошлом занимался профессионально разработкой многопоточных кросс-платформенных приложений на С++. Код, написанный 14 лет назад, до сих пор работает в составе IBM Watson.
Один из результатов - успешная разработка технически сложного коммерческого проекта командой из 7 студентов.

Евгений Непомнящий
Разработчик
IT Sense

В отрасли с 2006 года. Долгое время занимался разработкой под микроконтроллеры на С++, последние 6 лет на Java / Kotlin.
Выполнял ряд проектов на Kafka в Мвидео.

Образование:
Новгородский государственый университет им. Ярослава Мудрого

Otus Certified Educator

Oracle Certified Professional

20+ лет на проектах заказной разработки в ИТ.
Десятки успешных проектов, в том числе - по государственным контрактам.

Опыт разработки и внедрения ERP-систем, open-source решений, поддержка высоконагруженных приложений. Cобрал команду из 40+ системных инженеров и 70+ devops-джунов за год.

Преподаватель курсов по Linux, Kuber, MLOps, DataOps, SolutionArchitect, IaC, SRE, а так же наставник курса HighLoad

Otus Certified Educator

Евгений
Тюменцев
Евгений
Непомнящий
Анатолий
Бурнашев

Преподаватели

Евгений Тюменцев
Директор компании по разработке программного обеспечения. 20 лет преподаю компьютерные дисциплины в ВУЗе: C++, Kotlin, C#, ООП. Технологии программирования.
В прошлом занимался профессионально разработкой многопоточных кросс-платформенных приложений на С++. Код, написанный 14 лет назад, до сих пор работает в составе IBM Watson.
Один из результатов - успешная разработка технически сложного коммерческого проекта командой из 7 студентов.

Евгений Непомнящий
Разработчик в IT Sense
Евгений Непомнящий
Разработчик
IT Sense

В отрасли с 2006 года. Долгое время занимался разработкой под микроконтроллеры на С++, последние 6 лет на Java / Kotlin.
Выполнял ряд проектов на Kafka в Мвидео.

Образование:
Новгородский государственый университет им. Ярослава Мудрого

Otus Certified Educator

Oracle Certified Professional

Анатолий Бурнашев
20+ лет на проектах заказной разработки в ИТ.
Десятки успешных проектов, в том числе - по государственным контрактам.

Опыт разработки и внедрения ERP-систем, open-source решений, поддержка высоконагруженных приложений. Cобрал команду из 40+ системных инженеров и 70+ devops-джунов за год.

Преподаватель курсов по Linux, Kuber, MLOps, DataOps, SolutionArchitect, IaC, SRE, а так же наставник курса HighLoad

Otus Certified Educator

Необходимые знания

Корпоративное обучение для ваших сотрудников

Поможем вашей компании развивать команду! Профиты данного курса для компании: Подробное изучение самых популярных баз данных с возможностью сосредоточиться на тех, которые используются в компании / Оптимизированные стабильные системы / Работа над промышленными задачами во время практики
>

Программа обучения

В процессе обучения вы получите комплексные знания и навыки.
C 30 июля
Тема 1. Программа как функция
Тема 2. Проблемы, сложности разработки ПО
Тема 3. Понятие алгоритмической неразрешимости. Наиболее известные алгоритмически неразрешимые проблемы
C 13 августа
Тема 4. Булевы функции. Таблица истинности. Теорема Поста. Смысл импликации с точки зрения теории множеств и объектно-ориентированного программирования // ДЗ
Тема 5. СКНФ, СДНФ. Упрощение логических формул // ДЗ
Тема 6. Исчисления и логический вывод. Полнота и непротиворечивость // ДЗ
Тема 7. Исчисления высказываний и предикатов
Тема 8. Исчисление программирования // ДЗ
Тема 9. Тесты как классы эквивалентности // ДЗ
Тема 10. Полиморфизм, инкапсуляция как следствие логического вывода
Тема 11. Тип как предикат. Изоморфизм Карри-Говарда
Тема 12. Бестиповое лямбда-исчисление // ДЗ
C 12 сентября
Тема 13. Понятие формального языка. Способы определения. Форма Бэкуса-Науэра. Классификация Хомского
Тема 14. LL(1) - грамматики. Часть 1 // ДЗ
Тема 15. LR(1) - грамматики. Часть 2
Тема 16. «Регулярные языки и грамматики» // ДЗ
Тема 17. Генераторы компиляторов // ДЗ
C 8 октября
Тема 18. Циклы. Проблема остановки Машины Тьюринга
Тема 19. Выражения. Обратная польская запись и задача генерации машинного кода
Тема 20. Представления процедур, функций и методов объектов
Тема 21. Представление локальных переменных в памяти
Тема 22. Способы организации кучи и реализация оператора new. Работа с сырой памятью. Сборка мусора.
C 24 октября
Тема 23. Абстрагирование как сюръективное отображение
Тема 24. Достаточное условие постоянной скорости разработки
Тема 25. Написание кода в соответствии с достаточным условием постоянной скорости разработки // ДЗ
Тема 26. Обзор архитектурных решений фреймворков, которые обладают признаком постоянной скорости разработки
C 14 ноября
Тема 27. Базовые понятия. Взаимное вмешательство. Критерий процессов свободных от взаимного вмешательства. Методы распараллеливания программ
Тема 28. Критические секции и мьютексы. Семафоры. Реализация потокобезопасных очередей // ДЗ
Тема 29. Условные события // ДЗ
Тема 30. Метки Лампорта. Проблема синхронизации часов в распределенных системах. CAP теорема. Виды распределенных систем
Тема 31. Алгоритмы PAXOS, Raft
Тема 32. Система обмена сообщениями
C 5 декабря
Тема 33. Выбор темы и организация проектной работы // Проект
Тема 34. Консультация по проектам и домашним заданиям
Тема 35. Защита проектных работ
Скачать подробную программу

Выпускной проект

В качестве выпускного проекта студентам будет предложено выбор:
- разработать синтаксический анализатор языка программирования;
- вывод типов для языка C#;
- интерпретатор команд виртуальной машины Java;

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

None

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

Получить консультацию

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

После обучения вы


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

  • получите сертификат о прохождении курса;
Ваш сертификат

онлайн-образование

Сертификат №0001

Константин Константинопольский

Успешно закончил курс «Математика для программистов»
Выполнено практических заданий: 16 из 16

Общество с ограниченной ответственностью “Отус Онлайн-Образование”

Дата выдачи:
3 февраля 2025 г.

Город:
Москва

Зам. директора департамента образования
ООО “Отус Онлайн-Образование”
Вдовиченко М.M.

Лицензия на осуществление образовательной деятельности
№ 039825 от 28 декабря 2018 года.

онлайн-образование

Сертификат №0001

Константин Константинопольский

Успешно закончил курс «Математика для программистов»
Выполнено практических заданий: 16 из 16

Общество с ограниченной ответственностью “Отус Онлайн-Образование”

Дата выдачи:
3 февраля 2025 г.

Город:
Москва

Зам. директора департамента образования
ООО “Отус Онлайн-Образование”
Вдовиченко М.M.

Лицензия на осуществление образовательной деятельности
№ 039825 от 28 декабря 2018 года.

Прошедшие открытые вебинары

Открытый вебинар — это настоящее занятие в режиме он-лайн с преподавателем курса, которое позволяет посмотреть, как проходит процесс обучения. В ходе занятия слушатели имеют возможность задать вопросы и получить знания по реальным практическим кейсам.
Разработка своего языка программирования с помощью ANTLR
Евгений Тюменцев
Оставьте заявку, чтобы получить доступ к записям прошедших мероприятий. Записи всех мероприятий появятся в этом блоке