Prieskumník sémantiky logiky prvého rádu
-
Updated
May 27, 2018 - JavaScript
Prieskumník sémantiky logiky prvého rádu
A webapp that converts English coded input to mathematical notation. e.g. [all var in dd goe pi] → [∀𝑥 ∈ 𝔻 ≥ π ]
This is a great tool for students, this calculator shows the value of the roots of the 2nd degree equation from the Bhaskara Formula, and it also calculates the value of Delta and tells if the roots are real, irrational or equal from the value of the Delta of the equation.
Add a description, image, and links to the mathematical-logic topic page so that developers can more easily learn about it.
To associate your repository with the mathematical-logic topic, visit your repo's landing page and select "manage topics."