Глубокое погружение в историю и эволюцию парадигм программирования, сильные стороны и ограничения ООП, ФП и ДОП, а также подробный анализ «слияния парадигм» как оптимального решения в современной разработке.
Глубокое погружение в алгоритмы консенсуса, лежащие в основе распределенных систем, начиная от проблемы византийских генералов до Paxos, Raft и устойчивого к злонамеренным узлам BFT, с использованием теории, математических формул и реализации кода.
Мы глубоко погружаемся в теорию, структуры данных и взаимосвязь с дисковым вводом-выводом B-деревьев (B-Tree) и B+ деревьев (B+Tree), составляющих основу индексов в базах данных, а также выясняем, почему RDBMS продолжают использовать B-деревья в качестве стандарта для индексов, сопровождая это математическим анализом и примерами реализации.
Начиная с основ теории графов, мы подробно рассмотрим математическую основу, структуры данных и реализацию на Python алгоритма Дейкстры и алгоритма A* в задаче поиска кратчайшего пути.
Подробно объясняются основы теории информации, предложенной Клодом Шенноном, от концепции энтропии и пределов сжатия данных до применения в современных средствах связи.
Подробный разбор одной из задач тысячелетия — «Проблемы P против NP». Мы рассмотрим основы классов вычислительной сложности (P, NP, NP-полные, NP-трудные), последние тенденции в исследованиях и влияние на программирование и криптографию.
Глубокое погружение в теорию автоматов и формальных языков, лежащую в основе регулярных выражений и компиляторов языков программирования, с рассмотрением иерархии Хомского.
Глубокое погружение от основ квантовых вычислений до математических и квантово-механических механизмов алгоритма Шора, который угрожает криптографии RSA. Подробно объясняется с примерами реализации на Qiskit и перспективами постквантовой криптографии.
Как лямбда-исчисление, базовая теория вычислений, превратилось в современные функциональные языки программирования. Подробный разбор истории и математических основ: от теории Алонзо Чёрча до появления Lisp и Haskell.
Что такое пределы вычислений? Мы глубоко погружаемся в концепцию машины Тьюринга, предложенную Аланом Тьюрингом, и в «проблему остановки» — монументальное достижение теории вычислимости, с математической и программной точек зрения.
Глубокое погружение в теорему CAP, важнейший принцип в распределенных системах, от ее определения и доказательства до расширения в виде теоремы PACELC и реализации в современных распределенных базах данных.
Исчерпывающее руководство по техническим и математическим механизмам, лежащим в основе Биткойна и криптовалют. Охватывает SHA-256, криптографию на эллиптических кривых, UTXO и проблемы масштабируемости.
Подробный взгляд на жизнь и математические достижения Алана Бейкера, британского математика, получившего Филдсовскую премию в 1970 году за свои теоремы о линейных формах от логарифмов.
Подробное объяснение жизни лауреата Филдсовской премии Герда Фальтингса и его математических достижений, включая доказательство гипотезы Морделла. Прослеживая его великие шаги от алгебраической геометрии к теории чисел.
Погрузитесь в жизнь японского математика, лауреата Филдсовской премии Хэйсукэ Хиронаки, его математическое достижение «Теорема о разрешении особенностей» и его философию творчества.
Исследование жизни и математических достижений Эндрю Уайлса, который установил историческую веху в математике, доказав Великую теорему Ферма.
Подробный рассказ о необыкновенной жизни и революционных достижениях в алгебраической геометрии Александра Гротендика. Мы исследуем, как его мысли и философия повлияли на современную математику.
Горо Симура, всемирно известный математик, известный благодаря гипотезе Таниямы-Симуры. В этой статье подробно описывается его жизнь и глубокие достижения в теории чисел.
Глубокий взгляд на жизнь Киёси Ито, известного своей леммой Ито, его достижения в стохастическом анализе и его влияние на современное общество.
Исследование жизни и творчества математика Кунихико Кодаиры, первого японского лауреата Филдсовской премии, от гармонических интегралов до теории комплексных многообразий.
