Please use this identifier to cite or link to this item:
https://elib.belstu.by/handle/123456789/64489Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Герман, Олег Витольдович | - |
| dc.contributor.author | Дорожкина, Наталья Николаевна | - |
| dc.date.accessioned | 2024-04-11T08:00:46Z | - |
| dc.date.available | 2024-04-11T08:00:46Z | - |
| dc.date.issued | 2006 | - |
| dc.identifier.citation | Герман, О. В. Машина вывода для трехзначного логического исчисления Я. Лукасевича / О. В. Герман, Н. Н. Дорожкина // Труды Белорусского государственного технологического университета. Серия VI. Физико-математические науки и информатика. - 2006. - Вып. XIV. - С. 157-159. - Библиогр.: 4 назв. | ru |
| dc.identifier.uri | https://elib.belstu.by/handle/123456789/64489 | - |
| dc.description.abstract | Рассматривается вопрос о реализации машины вывода для многозначных логик. Реализация машины вывода основана на введении «промежуточной» векторной логики и задании определенным образом операции отрицания в такой логике, что позволяет строить выводы в многозначных логиках, оставаясь в рамках классической двузначной логики. | ru |
| dc.format.mimetype | application/pdf | ru |
| dc.language.iso | ru | ru |
| dc.publisher | БГТУ | ru |
| dc.subject | векторные формулы | ru |
| dc.subject | исчисления Лукасевича | ru |
| dc.subject | машина вывода | ru |
| dc.subject | векторная логика | ru |
| dc.subject | трехзначная логика Лукасевича | ru |
| dc.title | Машина вывода для трехзначного логического исчисления Я. Лукасевича | ru |
| dc.type | Article | ru |
| dc.identifier.udc | 681.3,681.55 | - |
| Appears in Collections: | Труды БГТУ. №6. Физико-математические науки и информатика, 2006 | |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| Герман О. В. Машина вывода.pdf | 159.38 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.