Хорошая программа стоит хорошей теоремы. Чаще всего, создание хорошей программы требует знания хороших теорем. Связь между программированием и математикой обсуждается в лекции, в том числе и на основании личного опыта автора лекции. В лекции приводятся ряд простых теорем, знание которых необходимо каждому профессиональному программисту. Лекция не закончена. продолжение последует на следующей неделе.