Начало.Математическая логика и теория алгоритмов.

Начинаем знакомиться с математической логикой и теорией алгоритмов. Введение. В следующих видео начнём знакомится с теоретической частью. Весь материал взят: