Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
https://elib.belstu.by/handle/123456789/64489| Название: | Машина вывода для трехзначного логического исчисления Я. Лукасевича |
| Авторы: | Герман, Олег Витольдович Дорожкина, Наталья Николаевна |
| Ключевые слова: | векторные формулы исчисления Лукасевича машина вывода векторная логика трехзначная логика Лукасевича |
| Дата публикации: | 2006 |
| Издательство: | БГТУ |
| Библиографическое описание: | Герман, О. В. Машина вывода для трехзначного логического исчисления Я. Лукасевича / О. В. Герман, Н. Н. Дорожкина // Труды Белорусского государственного технологического университета. Серия VI. Физико-математические науки и информатика. - 2006. - Вып. XIV. - С. 157-159. - Библиогр.: 4 назв. |
| Краткий осмотр (реферат): | Рассматривается вопрос о реализации машины вывода для многозначных логик. Реализация машины вывода основана на введении «промежуточной» векторной логики и задании определенным образом операции отрицания в такой логике, что позволяет строить выводы в многозначных логиках, оставаясь в рамках классической двузначной логики. |
| URI (Унифицированный идентификатор ресурса): | https://elib.belstu.by/handle/123456789/64489 |
| Располагается в коллекциях: | Труды БГТУ. №6. Физико-математические науки и информатика, 2006 |
Файлы этого ресурса:
| Файл | Описание | Размер | Формат | |
|---|---|---|---|---|
| Герман О. В. Машина вывода.pdf | 159.38 kB | Adobe PDF | Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.