MathCheck in Jyväskylä

UNDER CONSTRUCTION! Tämä on vain testi. Laatikoihin liittyvien vastausnappien pitäisi toimia. Mikään muu ei toimi paitsi korkeintaan vahingossa.

• (opens to a new tab)
• How to type symbols and commands (opens to a new tab)
• Many example problems with solutions
• Information on MathCheck

• Approximation problems
• Array predicate problems
• Derivation problems
• Equation solving problems
• Expression tree problems
• A course on logical notation
• Propositional logic problems
• Simplification problems