Типи даних можна складати, множити й навіть підносити до степеня майже так само, як числа. Андрій Севастьянов пояснює, чому ця аналогія працює, як із неї виростають суми й добутки типів, Unit, Void, рекурсивні типи та GADT, і як математика допомагає краще зрозуміти системи типів у сучасних мовах програмування. 19
На заняттях вчителя з інформатики учні працюють із 3D-друком, VR та робототехнікою, а вчителька математики використовує на уроках практичні задачі, зокрема про генератори та сонячні панелі.
Андрій Севастьянов пояснює, як математичні доведення можна записати у вигляді коду в мові програмування Lean 4. У статті про те, чому мова для цього не може бути Т’юрінг-повною, що таке структурна рекурсія та залежні типи і як на практиці працює ізоморфізм Каррі — Говарда. 6
Олесь Гордійчук двічі ставав призером Міжнародної олімпіади з математики. У 2024 році він виборов «бронзу» у Великій Британії, у 2025 — «золото» в Австралії. Зараз хлопець закінчив перший рік навчання у Кембриджському університеті. Про свій олімпіадний шлях і навчання в одному з найпрестижніших вишів він розповів DOU. 3
Науковців непокоїть, що гонка за ШІ-проривами залишає замало часу для пояснення доказів і належного визнання внеску авторів. Вони закликають зберегти увагу до розуміння результатів і навчання нових математиків.
ОЕСР оприлюднила результати PISA-2025, у якому українські школярі з 17 регіонів показали нижчі за середні по країнах ОЕСР результати з математики, природничих наук і читання. Які чинники на це впливають — читайте у новині. 2
Українець Роман Мєламуд — абсолютний чемпіон Європи зі штучного інтелекту. Він виборов золото серед 94 школярів із 24 країн. Чим відрізняється олімпіада з ШІ від класичного спортивного програмування, яку стратегію обрав українець і як подолав хвилювання — в інтерв’ю.
Скільки коштує інженерна помилка в MilTech? СЕО Vector Dynamics Антон Мейріс пояснює, як відійти від підходу «поломка-переробка» завдяки Simulation-Driven Design. У статті: що таке числові пастки, як «цифрові двійники» рятують БпЛА від вібрацій та як українському ОПК зекономити місяці R&D завдяки математиці. 3
МІТ започаткував на її честь стипендію «Julia’s Dream».
Хоча задача P vs NP досі залишається нерозв’язаною, спроба її штурмувати принесла розробнику Іллі Рочеву несподівано корисний інсайт. У своєму матеріалі він пояснює, чому не варто сліпо довіряти ані ChatGPT чи Claude, ані навіть компіляторам формальних доказових асистентів. 8
У ніч на 6 липня в будинок десятикласника Олександра Горбунова у Києві влучила російська ракета. А 7 липня Сашко мав виїжджати до Шанхая на IMO-2026. Як йому вдалося зібратися на олімпіаду та який результат показала українська команда, читайте в матеріалі. 2
Віталій Тимчишин, природознавець із
Дар’я Перекопська — учениця з Дніпра, яка виборола золото на Європейській дівочій олімпіаді з інформатики й отримала відзнаку Президента України. Дар’я розповіла DOU про підготовку до змагань, найскладніші моменти, стереотипи про дівчат-олімпіадниць і вступ до Кембриджу. 5
Чому діти бояться математики, чи у всіх є здібності до неї і як науку зробити більш доступною — розповідає докторка фізико-математичних наук, прикладна математикиня Катерина Терлецька. Також вона поділилася, чому математики досі користуються Fortran і чи потрібно нам переписувати підручники. 18
Велика мовна модель може гарно говорити, але коли на її висновок треба спертися у відповідальному рішенні — потрібна математика. У новій статті технологічної серії «Expert Systems for R&D» автор детально та зрозуміло розбирає, на якому фундаменті стоять доказові експертні системи. 4
Абітурієнти й надалі складатимуть чотири предмети: українську мову, історію України, математику та один предмет на вибір. 2
Поки в нас хочуть прибрати математику з переліку обов’язкових предметів на НМТ, у Європі вимоги значно вищі. Єгор Стадний пояснює, навіщо математика «гуманітаріям», на кого розраховані маніпуляції депутатів та чому насправді потрібно реформувати викладання, а не іспити. 9
Новий законопроєкт пропонує прибрати математику з переліку обов’язкових предметів НМТ, що викликало обурення наукової спільноти. Ми проаналізували результати тестування за
Олександр Горбунов — десятикласник. Торік він вирушив в Австралію на Міжнародну олімпіаду з математики (IMO), де виборов срібло. Цього року став першим за результатами відборів на IMO-2026, яка проходитиме в Шанхаї. Олександр розповів DOU свою історію і поділився планами. 5
Усе життя продуктовий менеджер, донедавна PM у фінтех-гіганті Wise, Павло Педенко каже, що саме математика стала його перепусткою до іншого життя. В інтервʼю DOU Павло розповідає, чому вирішив заснувати Mathema, чи замінить ШІ репетиторів і як робота у Wise спонукала його переосмислити власний досвід. 14
Коментарі