Please use this identifier to cite or link to this item:
https://elib.belstu.by/handle/123456789/67441Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Герман, Олег Витольдович | - |
| dc.contributor.author | Занько, Д. В. | - |
| dc.date.accessioned | 2024-09-24T09:52:43Z | - |
| dc.date.available | 2024-09-24T09:52:43Z | - |
| dc.date.issued | 2002 | - |
| dc.identifier.citation | Герман, О. В. Построение выводов для противоречивых систем / О. В. Герман, Д. В. Занько // Труды Белорусского государственного технологического университета. Серия 6. Физико-математические науки и информатика. - 2002. - Вып. 10. - С. 97-102. - Библиогр.: 5 назв. | ru |
| dc.identifier.uri | https://elib.belstu.by/handle/123456789/67441 | - |
| 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 | 510.22 | - |
| Appears in Collections: | Труды БГТУ. №6. Физико-математические науки и информатика, 2002 | |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| Герман, О. В. Построение выводов для противоречивых систем.pdf | 1.79 MB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.