L1
Завантажити v2.0
7 завантаження
| Версія | 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
