| Версія | 2.0 |
|---|---|
| Выдавец | Hatzic Intellectual Software |
| Дата выпуску | 10 чэр 2016 г. |
| Дата дададзена | 10 чэр 2016 г. |
| Патрабаванні да ОС | iOS |
| Патрабаванні | Compatible with: ipad2wifi, ipad23g, iphone4s, ipadthirdgen, ipadthirdgen4g, iphone5, ipodtouchfifthgen, ipadfourthgen, ipadfourthgen4g, ipadmini, ipadmini4g |
| Усяго загрузак | 7 |
| Кошт | $0.99 |
Апісанне
Вы думалі, што логіка будзе лягчэй, чым матэматыка. Цяпер вы робіце выснову, і ўжо позна кідаць курс. Гэта дадатак для вас.- Правярае сінтаксіс сімвалічных прапаноў.- Правярае, ці завершаны вывад.- Вытворныя радкі афарбаваны ў сіні колер; гіпотэзы пафарбаваны ў зялёны колер.- Прадастаўляе анатаваны вывад з абгрунтаваннем радкоў.- Анатаваны вывад можна адпраўляць па электроннай пошце ў выглядзе файлаў RTF. Глядзіце поўныя файлы даведкі праграмы тут: http://www.hatzicware.com/logic/Help.pdfГлядзіце спіс правілы вываду праграмы, якія можна выбраць: http://hatzicware.com/logic/rules.pdf
