gds
24.05.2012 11:34 umodni233832BE
"
Ivanych: Ооо
Дошли (от тов. Арнольда) слухи, что в какой-то французской школе издевались надо детьми — определили умножение на натуральных числах, как умножение столбиком и доказали коммутативность непосредственно из определения ;-)
"
4 comments
recommend
bookmark
subscribe
хуяссе.. а соответствие с бытовым определением тож доказывали?
по-моему, детей наебали и "бытового определения" не показали. Впрочем, доказывается тривиально. Как будет желание, смогу формально доказать это в coq :)
> от тов. Арнольда
Хм?
http://ru.wikipedia.org/wiki/%D0%90%D1%8...