2025-02-22T17:29:54-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: Query fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-83131%22&qt=morelikethis&rows=5
2025-02-22T17:29:54-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: => GET http://localhost:8983/solr/biblio/select?fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-83131%22&qt=morelikethis&rows=5
2025-02-22T17:29:54-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: <= 200 OK
2025-02-22T17:29:54-05:00 DEBUG: Deserialized SOLR response
Приложение логического программирования к многозначной логике с относительной истиной
Предложены процедуры автоматического вывода в пропозициональных многозначных логиках с относительной истиной (имеющих несколько множеств выделенных значений) на основе многостороннего секвенциального дедуктивного аппарата, реализуемого методами логического программирования на языке ПРОЛОГ и позволяю...
Saved in:
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | Russian |
| Published: |
Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України
2013
|
| Series: | Управляющие системы и машины |
| Subjects: | |
| Online Access: | http://dspace.nbuv.gov.ua/handle/123456789/83131 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| id |
irk-123456789-83131 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-831312015-06-16T04:02:09Z Приложение логического программирования к многозначной логике с относительной истиной Пынько, А.П. Программная инженерия и программные средства Предложены процедуры автоматического вывода в пропозициональных многозначных логиках с относительной истиной (имеющих несколько множеств выделенных значений) на основе многостороннего секвенциального дедуктивного аппарата, реализуемого методами логического программирования на языке ПРОЛОГ и позволяющего охватить все конечнозначные логики. The procedures are suggested of automatic deduction in propositional many-valued logics with relative truth (that is, logics, which have several sets of distinguished values) based on the many-sided sequent deductive apparatus, which is implemented by logic programming methods in the PROLOG language and enables one to cover all finitely-valued logics. Запропоновано процедури автоматичного виведення в пропозиційних багатозначних логіках з відносною істиною (таких, що мають кілька множин вилучених значень) на засадах багатобічного секвенційного дедуктивного апарата, що реалізується методами логічного програмування на мові ПРОЛОГ та надає можливість охопити усі скінченнозначні логіки. 2013 Article Приложение логического программирования к многозначной логике с относительной истиной / А.П. Пынько // Управляющие системы и машины. — 2013. — № 1. — С. 58-65. — Бібліогр.: 12 назв. — рос. 0130-5395 http://dspace.nbuv.gov.ua/handle/123456789/83131 510.6 ru Управляющие системы и машины Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
Russian |
| topic |
Программная инженерия и программные средства Программная инженерия и программные средства |
| spellingShingle |
Программная инженерия и программные средства Программная инженерия и программные средства Пынько, А.П. Приложение логического программирования к многозначной логике с относительной истиной Управляющие системы и машины |
| description |
Предложены процедуры автоматического вывода в пропозициональных многозначных логиках с относительной истиной (имеющих несколько множеств выделенных значений) на основе многостороннего секвенциального дедуктивного аппарата, реализуемого методами логического программирования на языке ПРОЛОГ и позволяющего охватить все конечнозначные логики. |
| format |
Article |
| author |
Пынько, А.П. |
| author_facet |
Пынько, А.П. |
| author_sort |
Пынько, А.П. |
| title |
Приложение логического программирования к многозначной логике с относительной истиной |
| title_short |
Приложение логического программирования к многозначной логике с относительной истиной |
| title_full |
Приложение логического программирования к многозначной логике с относительной истиной |
| title_fullStr |
Приложение логического программирования к многозначной логике с относительной истиной |
| title_full_unstemmed |
Приложение логического программирования к многозначной логике с относительной истиной |
| title_sort |
приложение логического программирования к многозначной логике с относительной истиной |
| publisher |
Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України |
| publishDate |
2013 |
| topic_facet |
Программная инженерия и программные средства |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/83131 |
| citation_txt |
Приложение логического программирования к многозначной логике с относительной истиной / А.П. Пынько // Управляющие системы и машины. — 2013. — № 1. — С. 58-65. — Бібліогр.: 12 назв. — рос. |
| series |
Управляющие системы и машины |
| work_keys_str_mv |
AT pynʹkoap priloženielogičeskogoprogrammirovaniâkmnogoznačnojlogikesotnositelʹnojistinoj |
| first_indexed |
2023-10-18T19:26:07Z |
| last_indexed |
2023-10-18T19:26:07Z |
| _version_ |
1796146944020578304 |