Current issue

User login

STRUCTURE AND POSSIBILITIES OF PM «SOLVING ENVIRONMENT» OF INTEGRATED PROGRAMMATIC ENVIRONMENT «MATHLOGIC V.2».



Year of Publication2009
AuthorsScherbina O. V., Peschanenko V. S., Lvov M. S.
Language articleEnglish
Keywordslogic 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.

Pagination169-174
Full Text

PDF


DOI: 
10.14308/ite000069
Attachment
[file] 169-174.pdf


References: 

1. Клини С. Математическая логика. М.Наука,-1973. 527 стр.
2. Кондаков Н. И., Логический словарь-справочник. – М.: «Наука», 1975, с. 259.
3. Марков А. А., Большая советская энциклопедия, Изд. 3, Предмет и метод современной логики.
4. Мендельсон. Э. Введение в математическую логику. – М.Наука.-1984. стр.320.
5. Новиков П.С. Элементы математической логики. – М. Наука. – 1973., 398 стр.

REFERENCES (TRANSLATED AND TRANSLITERATED)

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.



0
Your rating: None
Bibliography:
Scherbina O.V. STRUCTURE AND POSSIBILITIES OF PM «SOLVING ENVIRONMENT» OF INTEGRATED PROGRAMMATIC ENVIRONMENT «MATHLOGIC V.2». / O.V.Scherbina, V.S.Peschanenko, M.S.Lvov // Informational Technologies in Education. - 2009. - № 3. - P. 169-174.