Differences

This shows you the differences between two versions of the page.

--- learning:faq [2024/10/19 00:29] – fponzi
+++ learning:faq [2024/10/19 00:35] (current) – fponzi
@@ Line 2: / Line 2: @@
 ==== Do you need to know math to learn TLA+? ====
+To learn TLA+ you need to be able to think mathematically and precisely. While a deep understanding of advanced mathematical concepts is not necessary, a solid foundation in basic mathematical concepts is important. Here's why:
+  * TLA+ is based on mathematics: The foundation of TLA+ is set theory and first-order logic, which are fundamental to mathematics
+  * TLA+ specifications are written in mathematical language: You'll use mathematical formulas and expressions to describe system behavior, data structures, and properties
+  * TLA+ encourages precise thinking: TLA+ requires you to think carefully and precisely about the system you're modeling to ensure the correctness and completeness of your specifications
 ==== Can I use TLA+ for web development? ====