Главная страница
Top.Mail.Ru    Яндекс.Метрика
Текущий архив: 2006.11.19;
Скачать: 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 вся ветка

Текущий архив: 2006.11.19;
Скачать: CL | DM;

Наверх




Память: 0.48 MB
Время: 0.07 c
3-1158320717
Juice
2006-09-15 15:45
2006.11.19
Медленно работает CDS


4-1150256660
xex32
2006-06-14 07:44
2006.11.19
Как принять штрих код со сканера в TEdit


15-1162137014
Ketmar
2006-10-29 18:50
2006.11.19
softwarer.ru


2-1162419772
jTommy
2006-11-02 01:22
2006.11.19
Получть из пути с короткими именами путь с длинными именами


11-1138876248
Dodfr
2006-02-02 13:30
2006.11.19
Problem ListBox.OnDrawItem