Вниз
Скачать: CL | DM;

Оформление математических решений   Найти похожие ветки 

 
Vovan#1   (2006-11-02 22:01) [0]

Не подкините информацию по сабжу? Интересует оформление разного рода доказательств и решений без слов, только символами типа кванторов. Или, на крайняк, видел оформление на латинском - тоже пойдёт.


 
oldman ©   (2006-11-02 22:04) [1]


> Или, на крайняк, видел оформление на латинском - тоже пойдёт.


Я себе представляю символы "=>", "->" и "<=>" на латыни...


 
ferr ©   (2006-11-02 22:07) [2]

человек хочет что-то зашифровать для потомков :))


 
Ученик чародея.   (2006-11-02 22:18) [3]


> Vovan#1   (02.11.06 22:01)
>
> Не подкините информацию по сабжу? Интересует оформление
> разного рода доказательств и решений без слов, только символами
> типа кванторов. Или, на крайняк, видел оформление на латинском
> - тоже пойдёт.


Ищи дискретную математику и матлогику.


 
Cyrax ©   (2006-11-02 22:29) [4]

=> <=> <= | E Y : , ! -> N^ и т.п. комбинируются по своему усмотрению
В общем случае доказательства не обходятся без слов...


 
Vovan#1   (2006-11-02 22:52) [5]

Про латынь - имелась ввиду небезызвестная брошюра с док. теоремы Ферма:
http://rostel.ru/~vfermat/broshura.pdf


 
Petr V. Abramov ©   (2006-11-02 22:57) [6]

> Или, на крайняк, видел оформление на латинском - тоже пойдёт.
 наверное, для медиков :)))


 
Ketmar ©   (2006-11-02 22:58) [7]

даю программу, которая выведет набор символов:
10 FOR c=32 TO 255
20 PRINT #c;
25 IF c%16 = 15 THEN PRINT
30 NEXT c
40 PRINT


 
Ketmar ©   (2006-11-02 22:59) [8]

в принципе, с помощью данного набора можно оформить всё. если поставить границей цикла не 255, а 127, то получится набор для оформления на латыни.



Страницы: 1 вся ветка

Скачать: CL | DM;



Память: 0.46 MB
Время: 0.032 c
15-1160849771
Chort
2006-10-14 22:16
2006.11.19
какие фильмы посоветуете с ниженаписанного списка?


3-1158426208
Fostr
2006-09-16 21:03
2006.11.19
SQL - Update


2-1162308816
doooooo
2006-10-31 18:33
2006.11.19
DWord => 2Word


2-1161869074
Cyrax
2006-10-26 17:24
2006.11.19
Получить реальный порт UDP-сервера


15-1161880772
KilkennyCat
2006-10-26 20:39
2006.11.19
Объявление о работе. Петербург.




   Наверх