Логічна алгебра та основи мислення людини
Анотація
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Посилання
Бардачов Ю. М. Дискретна математика : підруч. / Ю. М. Бардачов, Н. А. Соколова, В. Є. Ходаков ; за ред. В. Є. Ходакова. – К. : Вища школа, 2002. – 287 с.
Міхайленко В. М. Дискретна математика : підруч. / В. М. Міхайленко, Н. Д. Федоренко, В. В. Демченко. – К. : Вид-во Європейського ун-ту, 2003. – 319 с.
Бондаренко М. Ф. Комп’ютерна дискретна математика : підруч. для студ. ВНЗ, які навчаються за напрямом “Комп’ютерні науки” / М. Ф. Бондаренко, Н. В. Білоус, А. Г. Руткас. – Х. : Компанія CMIT, 2004. – 480 с.
Акимов О. Е. Дискретная математика // Логика, группы, графы. – 2-е изд., доп. / О. Е. Акимов. – М. : Лаборатория Базовых Знаний, 2001. – 376 с.
Луцький Г. М. Основи дискретної математики : навч. посіб. / Г. М. Луцький, С. Л. Кривий, М. К. Печурін. – К. : ІСДО, 1995, – 252 с.
Грей П. Логика, алгебра и базы данных / П. Грей ; пер. с англ. Х. ?. Килова, Г. Е. Минца. – М. : Машиностроение, 1989. – 368 с.
Мендельсон Е. Введение в математическую логику / Е. Мендельсон ; пер. с англ. Ф. А. Кабакова. – 2-е изд., испр. – М. : Мир, 1985. – 307 с.
Новиков П. С. Элементы математической логики // М. : Наука, 1973. – 399 с.
Завантаження
Опубліковано
Номер
Розділ
Ліцензія
Стосунки між правовласниками і користувачами регулюються на умовах ліцензії Creative Commons Із Зазначенням Авторства – Некомерційна – Поширення На Тих Самих Умовах 4.0 Міжнародна (CC BY-NC-SA 4.0):https://creativecommons.org/licenses/by-nc-sa/4.0/deed.uk
Автори, які публікуються у цьому журналі, погоджуються з наступними умовами:
- Автори залишають за собою право на авторство своєї роботи та передають журналу право першої публікації цієї роботи на умовах ліцензії Creative Commons Attribution License, котра дозволяє іншим особам вільно розповсюджувати опубліковану роботу з обов'язковим посиланням на авторів оригінальної роботи та першу публікацію роботи у цьому журналі.
- Автори мають право укладати самостійні додаткові угоди щодо неексклюзивного розповсюдження роботи у тому вигляді, в якому вона була опублікована цим журналом (наприклад, розміщувати роботу в електронному сховищі установи або публікувати у складі монографії), за умови збереження посилання на першу публікацію роботи у цьому журналі.
- Політика журналу дозволяє і заохочує розміщення авторами в мережі Інтернет (наприклад, у сховищах установ або на особистих веб-сайтах) рукопису роботи, як до подання цього рукопису до редакції, так і під час його редакційного опрацювання, оскільки це сприяє виникненню продуктивної наукової дискусії та позитивно позначається на оперативності та динаміці цитування опублікованої роботи (див.The Effect of Open Access).