# Discrete Math - Discretica — Proofs, Logic & Study Tools

> Proofs, Logic & Study Tools (iPhone/iPad app by Mobin Akhter.)

- Source: https://appshunter.io/ios/app/discrete-math-discretica/id6761345113 (this page in markdown: same URL + `.md`)
- Developer: [Mobin Akhter](https://appshunter.io/developer/1812505286)
- Category: Education, Reference
- Price: Free with in-app purchases
- Age rating: 4+
- Requires: iOS 15.1 · 39 MB
- Languages: American English, Arabic, Croatian, Czech, Danish, Dutch, Finnish, French (France), German (Germany), Greek and 21 more
- Released: 2026-05-15
- Data updated: 2026-08-26
- User reviews in markdown: https://appshunter.io/ios/app/discrete-math-discretica/id6761345113/reviews.md

## What is Discrete Math?

Discretica helps CS students learn discrete math with interactive calculators, proof practice, and 500+ guided problems you can study offline.

Built for Discrete Structures and Discrete Mathematics courses, Discretica focuses on the topics that show up in homework, quizzes, midterms, and finals.

What you can study:
- Logic and propositions: connectives, truth tables, equivalences, and quantifiers
- Proof methods: direct proof, contradiction, contrapositive, and induction
- Sets, functions, and relations: set operations, Venn diagrams, properties, and mappings
- Counting and combinatorics: permutations, combinations, pigeonhole, and binomial theorem
- Graph theory and trees: paths, cycles, connectivity, BFS, DFS, and spanning trees
- Boolean algebra: expressions, laws, logic gates, simplification, and circuits
- Number theory: divisibility, primes, modular arithmetic, GCD, LCM, and Euclidean algorithm

Interactive tools:
- Truth Table Builder for logical expressions with AND, OR, NOT, implication, biconditional, and XOR
- Set Operations with union, intersection, difference, symmetric difference, cardinality, power sets, and Venn visuals
- Combinatorics Calculator for permutations, combinations, factorials, and stars-and-bars
- Modular Arithmetic for addition, subtraction, multiplication, powers, and inverses
- Base Converter for binary, octal, decimal, and hexadecimal
- GCD and LCM Calculator with Euclidean and extended Euclidean steps
- Proof Trainer with fill-in-the-gap, reorder-the-proof, and choose-the-method exercises

Practice that actually helps:
- 500+ bundled practice problems across beginner, intermediate, and advanced levels
- Hints, explanations, and step-by-step solutions
- 30 rotating daily challenge problems
- Mistake notebook with spaced review
- Progress tracking with streaks, levels, topic mastery, and achievements
- 54 formula and reference cards across the core syllabus

Free to start:
Use four free calculators, read the first subtopic in every module, complete daily challenges, and practice up to 8 problems per day.

Discretica Premium unlocks all lessons, all tools, unlimited practice, step-by-step solutions, the full mistake notebook, and the proof trainer. Choose a weekly or yearly subscription, or unlock lifetime access with a one-time purchase.

No account needed. No ads. Your learning progress, preferences, and mistakes are stored on your device.

Terms of Use:
https://www.apple.com/legal/internet-services/itunes/dev/stdeula/

## Pricing and in-app purchases

Base price: Free.

**Subscriptions**

| Subscription | Price | Period |
| --- | --- | --- |
| Yearly Premium | $29.99 | per year |
| Weekly Premium | $4.99 | per 7 days |

**One-time purchases**

| Purchase | Price | Type |
| --- | --- | --- |
| Lifetime Premium | $64.99 | one-time |



## Version history (last 2 releases)

### 1.1 — 2026-06-07

General app improvements

### 1.0 — 2026-05-15

No release notes.

## More apps by Mobin Akhter

- [Herb Mate: Natural Remedies](https://appshunter.io/ios/app/herb-mate-natural-remedies/id6745490828)
- [Meal & Pantry - GourmetLog](https://appshunter.io/ios/app/meal-and-pantry-gourmetlog/id6745773102)
- [KnowledgeSaved: Quote Notebook](https://appshunter.io/ios/app/knowledgesaved-quote-notebook/id6746952626)
- [Brainrot - Trendex](https://appshunter.io/ios/app/brainrot-trendex/id6748236019)
- [Baby Names - NameNest](https://appshunter.io/ios/app/baby-names-namenest/id6749406243)
- [Geography - Flag Quiz Master](https://appshunter.io/ios/app/geography-flag-quiz-master/id6751133182)

All apps by Mobin Akhter: https://appshunter.io/developer/1812505286

## Related topics

[oclean](https://appshunter.io/ios/topics/oclean)

---

*Data collected daily from the US App Store and indexed by [AppsHunter](https://appshunter.io/). User reviews are verbatim App Store reviews. Ratings, prices and chart positions refresh continuously; this snapshot is from 2026-08-26.*