Edytor dowodów: Różnice pomiędzy wersjami

Z Lem
Skocz do: nawigacji, wyszukiwania
(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
+
#* drzewa
::* formuły
+
#* 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

  1. Prezentować dowód w postaci artykułu gotowego do druku.
  2. Prezentować formuły w postaci
    • drzewa
    • formuły
  3. Wspomagać edycję formuł - przetwarzanie formuł
  4. Wspomagać - wyszukiwać reguły wnioskowania, które mogą być zastosowane