Об умножение

[deni_ok]

Эти ваши интернеты бурлят:
ru-marazm.livejournal.com/3591670.html
lj.rossia.org/users/tiphareth/1685303.html
Агда, кстати, на стороне внучки, 9 раз по 2 литра будет 9 * 2:
_*_ : ℕ → ℕ → ℕ zero * n = zero suc m * n = n + (m * n) Впрочем внучке стоило бы снять все вопросы, предоставив доказательство
*-commutative : ∀ m n → m * n ≡ n * m Взяв

Comments

[thedeemon]

Значит, следует во втором классе сперва обучать Агде, а потом уже задачи на умножение решать. :)

[deni_ok]

Умножение в младших классах вводится как не очень симметричная операция: повторить сложение числа с собой несколько раз. И сначала имеет смысл прочувствовать как устроены 2+2+2+2+2+2+2+2+2 и 9+9. Затем удивиться, что получается одно и то же число 18. Ну а только потом переходить к коммутативности вращением прямоугольной упаковки: 2 рада по 9 предметов превращаются в 9 рядов по 2 предмета.

Так что, независимо от Агды, после первого этапа какая-то конвенция имеет смысл. Временный, конечно, что и порождает лютую дискуссию.

[nivanych]

Ну вот! Практическое использование, самое, что ни на есть!

[thedeemon]

умножения? :)

[nivanych]

Агды!
А как ещё докажешь учителю правоту?

[nealar]

Ты же сам рассказывал про нунчаки с цепочкой от собаки!

[helvegr]

F# с units of measure:

// Volume, liters.
[] type L

let answer1 = 9 * 2
let answer2 = 2 * 9

>
[]
type L
val answer1 : int = 18
val answer2 : int = 18

То же самое, если ввести единицу измерения "литропокупатель".