Поточний випуск

Locations of visitors to this page

Вхід

СТРУКТУРА ТА МОЖЛИВОСТІ ПМ «СЕРЕДОВИЩЕ РОЗВ’ЯЗАННЯ» ІНТЕГРОВАНОГО ПРОГРАМНОГО СЕРЕДОВИЩА «MATHLOGIC V.2».


Рік публікації2009
АвториЩербіна О. В., Песчаненко В. С., Львов М. С.
Мова статтіАнглійська
Ключові словависловлювання, квантор, логіка висловлювань, математична логіка, предикат
Аннотація

Дана стаття представляє програмний модуль «Середовище розв’язання» інтегрованого програмного середовища MathLogic v.2, (МЛ2), яке виконано в рамках проекту Terra Mathematica у лабораторії розробки та впровадження педагогічних програмних засобів. У статті описана структура ПМ «Середовище розв’язання», розкриті особливості її функціональності, а також технології та методи, які були використані для їх реалізації.

Нумерація сторінок169-174
ПОВНИЙ ТЕКСТ СТАТТІ

PDF


DOI: 
10.14308/ite000069
Додаток
[file] 169-174.pdf

Altmetric: 

Література: 

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: Немає
Бібліографічне оформлення статті:
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.