roman dushkin, udemy, введение в компьютерную логику, компьютерная логика, теоремы гёделя, язык программирования