Дискретная математика как решить множество доказательства