Системи комп’ютерної алгебри в математичній логіці

Автор(и)

  • Ганна Іванівна Бедратюк Хмельницький національний університет вул. Інститутська, 11, м. Хмельницький, Україна, 29016, Україна

DOI:

https://doi.org/10.15587/1729-4061.2012.4011

Ключові слова:

Математична логіка, Maple

Анотація

Дано опис команд пакету logic системи комп’ютерної алгебри Maple. Розглянуто способи розв’язання деяких типових задач математичної логіки в Maple

Біографія автора

Ганна Іванівна Бедратюк, Хмельницький національний університет вул. Інститутська, 11, м. Хмельницький, Україна, 29016

Асистент

Кафедра програмної інженерії

Посилання

  1. Черняк А.А. Синтез классической и компьютерной математики в обучении /A.A.Черняк А.А., Ю.А.Доманова,Т.Н. Ранько//Информатизация образования. –№ 1. –2005. – С. 36-45.
  2. Samková L, Calculus of one and more variables with Maple/L. Samková //
  3. International Journal of Mathematical Education in Science and Technology. – V. 43. –№2. –2012. –P.230-244
  4. Adym, E. (2005). The use of computers in mathematics education: A paradigm shift from “computer assisted instruction” towards “student rogramming”/E.Adym // The Turkish Online Journal of Educational Technology.- 4(2). –2005. – P.27–34.
  6. Дьяконов В.П. Maple 9.5/10 в математике, физике и образовании/ В.П.Дьяконов — М.: С.Пресс, 2000. — 453 с.
  7. Васильев А. Н. Maple 8. Самоучитель/Васильев А. Н.— М.: Диалектика, 2003.— 352 с.
  9. Кужель О . В. Елементи теорії множин і математичної логіки/О.В. Кужель– К:Рад. школа, 1977. – 160 с.
  10. Лиман Ф. М. Математична логіка і теорія алгоритмів/Ф.М. Лиман – Суми: Вид-во „Слобожанщина”, 1998. – 152 с.

##submission.downloads##

Опубліковано

2012-06-01

Як цитувати

Бедратюк, Г. І. (2012). Системи комп’ютерної алгебри в математичній логіці. Eastern-European Journal of Enterprise Technologies, 3(4(57), 32–35. https://doi.org/10.15587/1729-4061.2012.4011

Номер

Том 3 № 4(57) (2012): Математика і кібернетика - фундаментальні та прикладні аспекти

Розділ

Математика та кібернетика - прикладні аспекти

Ліцензія

Авторське право (c) 2014 Ганна Іванівна Бедратюк

Creative Commons License

Ця робота ліцензується відповідно до Creative Commons Attribution 4.0 International License.

Закріплення та умови передачі авторських прав (ідентифікація авторства) здійснюється у Ліцензійному договорі. Зокрема, автори залишають за собою право на авторство свого рукопису та передають журналу право першої публікації цієї роботи на умовах ліцензії Creative Commons CC BY. При цьому вони мають право укладати самостійно додаткові угоди, що стосуються неексклюзивного поширення роботи у тому вигляді, в якому вона була опублікована цим журналом, але за умови збереження посилання на першу публікацію статті в цьому журналі.

Ліцензійний договір – це документ, в якому автор гарантує, що володіє усіма авторськими правами на твір (рукопис, статтю, тощо).
Автори, підписуючи Ліцензійний договір з ПП «ТЕХНОЛОГІЧНИЙ ЦЕНТР», мають усі права на подальше використання свого твору за умови посилання на наше видання, в якому твір опублікований. Відповідно до умов Ліцензійного договору, Видавець ПП «ТЕХНОЛОГІЧНИЙ ЦЕНТР» не забирає ваші авторські права та отримує від авторів дозвіл на використання та розповсюдження публікації через світові наукові ресурси (власні електронні ресурси, наукометричні бази даних, репозитарії, бібліотеки тощо).
За відсутності підписаного Ліцензійного договору або за відсутністю вказаних в цьому договорі ідентифікаторів, що дають змогу ідентифікувати особу автора, редакція не має права працювати з рукописом.
Важливо пам’ятати, що існує і інший тип угоди між авторами та видавцями – коли авторські права передаються від авторів до видавця. В такому разі автори втрачають права власності на свій твір та не можуть його використовувати в будь-який спосіб.