Edytor dowodów: Różnice pomiędzy wersjami
Z Lem
(Utworzył nową stronę „== To jest tymczasowa strona opisująca wymagania na ''Edytor Dowodów'' == Edytor dowodów, lub inaczej asystent tworzenia dowodów. Zadania # Prezentować dowód...”) |
|||
| Linia 6: | Linia 6: | ||
# Prezentować dowód w postaci artykułu gotowego do druku. | # Prezentować dowód w postaci artykułu gotowego do druku. | ||
# Prezentować formuły w postaci | # Prezentować formuły w postaci | ||
| − | + | #* drzewa | |
| − | + | #* formuły | |
# Wspomagać edycję formuł - przetwarzanie formuł | # Wspomagać edycję formuł - przetwarzanie formuł | ||
# Wspomagać - wyszukiwać reguły wnioskowania, które mogą być zastosowane | # Wspomagać - wyszukiwać reguły wnioskowania, które mogą być zastosowane | ||
# | # | ||
Wersja z 12:08, 13 mar 2013
To jest tymczasowa strona opisująca wymagania na Edytor Dowodów
Edytor dowodów, lub inaczej asystent tworzenia dowodów.
Zadania
- Prezentować dowód w postaci artykułu gotowego do druku.
- Prezentować formuły w postaci
- drzewa
- formuły
- Wspomagać edycję formuł - przetwarzanie formuł
- Wspomagać - wyszukiwać reguły wnioskowania, które mogą być zastosowane
