Логічна алгебра та основи мислення людини

Authors

  • Т. Г. Криворот

Abstract

LOGICAL ALGEBRA AND BASIS OF THINKING MAN

 

T. Kryvorot

 

Annotation. The article describes the boolean model and predicate logic vector spaces. Analyzed the interpretation of the elements and operations on them for predicative models in the form of appropriate dimension hypercubes and their interpretation as estestvennoyazykovyh structures that allows the use of these spaces as a logical model of knowledge representation model.

Key words: logic algebra, predicate model, boolean model, information technology, a logical scalar, vector logic, formalization

References

Бардачов Ю. М. Дискретна математика : підруч. / Ю. М. Бардачов, Н. А. Соколова, В. Є. Ходаков ; за ред. В. Є. Ходакова. – К. : Вища школа, 2002. – 287 с.

Міхайленко В. М. Дискретна математика : підруч. / В. М. Міхайленко, Н. Д. Федоренко, В. В. Демченко. – К. : Вид-во Європейського ун-ту, 2003. – 319 с.

Бондаренко М. Ф. Комп’ютерна дискретна математика : підруч. для студ. ВНЗ, які навчаються за напрямом “Комп’ютерні науки” / М. Ф. Бондаренко, Н. В. Білоус, А. Г. Руткас. – Х. : Компанія CMIT, 2004. – 480 с.

Акимов О. Е. Дискретная математика // Логика, группы, графы. – 2-е изд., доп. / О. Е. Акимов. – М. : Лаборатория Базовых Знаний, 2001. – 376 с.

Луцький Г. М. Основи дискретної математики : навч. посіб. / Г. М. Луцький, С. Л. Кривий, М. К. Печурін. – К. : ІСДО, 1995, – 252 с.

Грей П. Логика, алгебра и базы данных / П. Грей ; пер. с англ. Х. ?. Килова, Г. Е. Минца. – М. : Машиностроение, 1989. – 368 с.

Мендельсон Е. Введение в математическую логику / Е. Мендельсон ; пер. с англ. Ф. А. Кабакова. – 2-е изд., испр. – М. : Мир, 1985. – 307 с.

Новиков П. С. Элементы математической логики // М. : Наука, 1973. – 399 с.

Downloads

Published

2017-02-24

Issue

No. 242 (2016)

Section

Статті

License

Relationship between right holders and users shall be governed by the terms of the license Creative Commons  Attribution – non-commercial – Distribution On Same Conditions 4.0 international (CC BY-NC-SA 4.0):https://creativecommons.org/licenses/by-nc-sa/4.0/deed.uk

Authors who publish with this journal agree to the following terms:

  • Authors retain copyright and grant the journal right of first publication with the work simultaneously licensed under a Creative Commons Attribution License that allows others to share the work with an acknowledgement of the work's authorship and initial publication in this journal.
  • Authors are able to enter into separate, additional contractual arrangements for the non-exclusive distribution of the journal's published version of the work (e.g., post it to an institutional repository or publish it in a book), with an acknowledgement of its initial publication in this journal.
  • Authors are permitted and encouraged to post their work online (e.g., in institutional repositories or on their website) prior to and during the submission process, as it can lead to productive exchanges, as well as earlier and greater citation of published work (See The Effect of Open Access).