Estimation application downloads and cost
Description
This app is based on the derivation system SD of "The Logic Book" by Bergman, Moor, and Nelson.
It should also be useful for other textbooks, but its a good idea to check with your instructor first.
Features:
- Assumptions and derived lines are colour-coded.
- Derivations can be tested for unjustified lines.
- Annotated derivations are generated automatically.
- Derivations can be exported to The Logic App SL.
- Save derivations and reload them later.
Read more
It should also be useful for other textbooks, but its a good idea to check with your instructor first.
Features:
- Assumptions and derived lines are colour-coded.
- Derivations can be tested for unjustified lines.
- Annotated derivations are generated automatically.
- Derivations can be exported to The Logic App SL.
- Save derivations and reload them later.
ASO analyse The Logic App SD app for iPhone and iPad
No search terms founded
Competitors of The Logic App SD application
Application availability
Available in countries
Country | Price |
---|---|
USA | 0.99 USD |