что такое "теория логики" я не знаю. элементарную теорию чисел я знаю, но она особо не нужна, разве что как гимнастика для ума. не элементарная нужна только собственно специалистам в теории чисел, и где-то нужна криптографам. а мат.логика, теория множеств, теория типов нужны чтобы правильно смотреть на мир, я считаю. для программиста это обязательные знания. это даже важнее, чем естественно-научная картина мира, учитывая что виртуальное и абстрактное начинает преобладать над реальным.
Обсуждают сегодня