Systems of computer algebra in mathematical logic

Authors

  • Ганна Іванівна Бедратюк Khmelnitsky National University street. Institutskaya 11, Khmelnitsky, Ukraine, 29016, Ukraine

DOI:

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

Keywords:

Mathematical logic, Maple

Abstract

A description of the commands for the logic package of the computer algebra system Maple are given. The methods of solving some common  mathematical logic problems with  Maple are considered

Author Biography

Ганна Іванівна Бедратюк, Khmelnitsky National University street. Institutskaya 11, Khmelnitsky, Ukraine, 29016

Assistant

Department of Software Engineering

References

  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 с.

Downloads

Published

2012-06-01

How to Cite

Бедратюк, Г. І. (2012). Systems of computer algebra in mathematical logic. Eastern-European Journal of Enterprise Technologies, 3(4(57), 32–35. https://doi.org/10.15587/1729-4061.2012.4011

Issue

Vol. 3 No. 4(57) (2012): Mathematics and cybernetics - fundamental and applied aspects

Section

Mathematics and Cybernetics - applied aspects

License

Copyright (c) 2014 Ганна Іванівна Бедратюк

Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 International License.

The consolidation and conditions for the transfer of copyright (identification of authorship) is carried out in the License Agreement. In particular, the authors reserve the right to the authorship of their manuscript and transfer the first publication of this work to the journal under the terms of the Creative Commons CC BY license. At the same time, they have the right to conclude on their own additional agreements concerning the non-exclusive distribution of the work in the form in which it was published by this journal, but provided that the link to the first publication of the article in this journal is preserved.

A license agreement is a document in which the author warrants that he/she owns all copyright for the work (manuscript, article, etc.).
The authors, signing the License Agreement with TECHNOLOGY CENTER PC, have all rights to the further use of their work, provided that they link to our edition in which the work was published.
According to the terms of the License Agreement, the Publisher TECHNOLOGY CENTER PC does not take away your copyrights and receives permission from the authors to use and dissemination of the publication through the world's scientific resources (own electronic resources, scientometric databases, repositories, libraries, etc.).
In the absence of a signed License Agreement or in the absence of this agreement of identifiers allowing to identify the identity of the author, the editors have no right to work with the manuscript.
It is important to remember that there is another type of agreement between authors and publishers – when copyright is transferred from the authors to the publisher. In this case, the authors lose ownership of their work and may not use it in any way.