STRUCTURE AND POSSIBILITIES OF PM «SOLVING ENVIRONMENT» OF INTEGRATED PROGRAMMATIC ENVIRONMENT «MATHLOGIC V.2»
Keywords:
logic of utterances (or logic of propositions), mathematical logic, predicate, quantifier, utterance (proposition)
Abstract
This article presents the PM ‘Solving environment’ of integrated programmatic environment Mathlogic v.2, (ML2) which was made within the framework of project of Terra Mathematica in the Laboratory of Pedagogical Software Development and Implementation. The article describes the structure of PM «Solving environment», exposes features of its functionality, and also technologies and methods which were used for their realization.
Downloads
Download data is not yet available.
Metrics
Metrics Loading ...
References
1. Klini S. Matematicheskaja logika. M.Nauka,-1973. 527 str.
2. Kondakov N. I., Logicheskij slovar'-spravochnik. – M.: «Nauka», 1975, s. 259.
3. Markov A. A., Bol'shaja sovetskaja jenciklopedija, Izd. 3, Predmet i metod sovremennoj logiki.
4. Mendel'son. Je. Vvedenie v matematicheskuju logiku. – M.Nauka.-1984. str.320.
5. Novikov P.S. Jelementy matematicheskoj logiki. – M. Nauka. – 1973., 398 str.
Published
2009-12-09
Pages
169-174
How to Cite
ScherbinaO., PeschanenkoV., & LvovM. (2009). STRUCTURE AND POSSIBILITIES OF PM «SOLVING ENVIRONMENT» OF INTEGRATED PROGRAMMATIC ENVIRONMENT «MATHLOGIC V.2». Journal of Information Technologies in Education (ITE), (3), 169-174. https://doi.org/10.14308/ite000069
Section
Articles