| Wersja | 2.0 |
|---|---|
| Wydawca | Hatzic Intellectual Software |
| Data wydania | 10 cze 2016 |
| Data dodania | 10 cze 2016 |
| Wymagania systemu operacyjnego | iOS |
| Wymagania | Compatible with: ipad2wifi, ipad23g, iphone4s, ipadthirdgen, ipadthirdgen4g, iphone5, ipodtouchfifthgen, ipadfourthgen, ipadfourthgen4g, ipadmini, ipadmini4g |
| Całkowita liczba pobrań | 7 |
| Cena £ | $0.99 |
Opis
Myślałeś, że logika będzie łatwiejsza niż matematyka. Teraz robisz derywacje i jest już za późno, by porzucić kurs. Ta aplikacja jest dla Ciebie.- Sprawdza składnię zdań symbolicznych.- Sprawdza, czy wyprowadzenie jest kompletne.- Linie wyprowadzalne są pokolorowane na niebiesko; hipotezy są oznaczone kolorem zielonym. - Zapewnia wyprowadzenie z adnotacjami pokazujące uzasadnienia wierszy. - Wyprowadzenia z adnotacjami można przesyłać pocztą elektroniczną jako pliki RTF. Zobacz pełne pliki pomocy aplikacji tutaj: http://www.hatzicware.com/logic/Help.pdfZobacz listę wybrane reguły wyprowadzania aplikacji: http://hatzicware.com/logic/rules.pdf
