Определения

Математическая логика, множества, функции

Последовательности, математическая индукция, элементы комбинаторики