2014-06-06: Формулы переписаны с использованием LaTeX'а. Удалены ссылки на сайт 'Идеал'. Исправлены незначительные опечатки в статье про вероятностное типирование. Незначительные изменения формата. z-индекс в стилях всплывающих примечаний.