Describir: Introductiory finite mathematics with computing