Раздел: Информатика (Theoretical Computer Science).

Коротко о разделе. Для программистов теория была есть и будет столь же необходимой, сколько и знание среды разработки или языка программирования. Правда, средства RAD теперь предлагают написание программ "почти не прилагая рук", но я убежден - никакие средства не заменят глубокое знание теории. Математика и компьютеры уже настолько близкие понятия, что часто просто невозможно определить, к чему относиться тот или иной материал - к читой математике или к информатике. В этом разделе Вы найдете материалы о теории вычисления и вычислимых функций, о машине Тьюринга и самовоспроизводящихся автоматах а также разные исследования, которые находяться на стыке математики и программирования.