Этот курс связан с λ-вычислениями и близкой к ним наукой – комбинаторной логикой. λ-вычисления важны для функционального программирования и особенно для компьютерной науки.