| Нускасы | 2.0 |
|---|---|
| Publisher | Hatzic Intellectual Software |
| Чыккан датасы | 2016-ж., 10-июн. |
| Кошулган күнү | 2016-ж., 10-июн. |
| Os талаптар | 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