iu7_functional_and_logic_programming 3nd course, 6th semesters (2019) Bauman Moscow State Technical University