Математика для программистов. Первое занятие - доказательства