Математика и логика: Сформулировка массива