«Математика для программистов [2024] [OTUS]» [Евгений Тюменцев, Евгений Непомнящий, Анатолий Бурнашев]

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