В этой статье приведем список ресурсов, где ваши дети смогут подтянуть знания и навыки в дисциплинах, нужных для программирования.
На Codeforces в разделе «Архив» стоит потренироваться на задачах как минимум класса С - многие из них содержат подводные камни;
Проект The KeY to Software Correctness подойдет тем, кому интересно, как можно автоматически доказывать правильность работы кода. Он автоматизирует проверку кода на Java;
Автоматический доказатель теорем z3, написанный Microsoft, для тех, кто пользуется другими языками. Краткая инструкция по его использованию находится на ресурсе rise4fun.
С основами можно ознакомиться на сайте Mathprofi, который посвящен прозрачному и популярному описанию математики;
Если вы владеете английским, можете посмотреть более продвинутую книгу An Introduction to Combinatorics and Graph Theory;
Задачи по комбинаторике можно взять из задачника «Дискретная математика», в конце есть ответы.
MathProfi — сайт, на котором доступно и просто изложена высшая математика. На нём есть множество разделов с теорией, таблицами и задачами, в том числе и по теории вероятностей
Книга Чарльза М. Гринстеда и Лори Снелла Introduction to Probability.
Практиковаться в графах можно на задачах с Codeforces, там есть нужные задачи.
