MIPT-ML-20-Lect-11

Математическая логика в МФТИ для ПМФ. Темы: биекция между наборами и функциями с конечной областью определения; рекурсия; теорема о рекурсии; более сложные формы рекурсии; простейшие свойства конечных и счетных множеств; если множество вкладывается в счетное, то оно конечно или счетно; доказательство теоремы о рекурсии (необязательный материал -- с 1 ч. 37 мин.).