Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
http://earchive.tpu.ru/handle/11683/1397
Полная запись метаданных
Поле DC | Значение | Язык |
---|---|---|
dc.contributor.author | Новосельцев, Виталий Борисович | ru |
dc.contributor.author | Копаница, Георгий Дмитриевич | ru |
dc.date.accessioned | 2015-11-20T02:46:16Z | - |
dc.date.available | 2015-11-20T02:46:16Z | - |
dc.date.issued | 2006 | - |
dc.identifier.citation | Новосельцев В. Б. Нецелеориентированная стратегия вывода формул в модальных исчислениях / В. Б. Новосельцев, Г. Д. Копаница // Известия Томского политехнического университета [Известия ТПУ]. — 2006. — Т. 309, № 7. — [С. 121-126]. | ru |
dc.identifier.uri | http://earchive.tpu.ru/handle/11683/1397 | - |
dc.description.abstract | Предлагается и обосновывается подход к анализу формул модального исчисления KT, опирающийся на обратный метод Маслова. Предлагаемый подход ориентирован на создание систем автоматического доказательства теорем и предназначен для построения когнитивных систем широкого класса. Приводятся модификации исходного исчисления, для которых доказываются теоремы полноты. Предлагается отношение Ф-упорядочения, на основе которого формируются стратегии сокращения пространства вывода. | ru |
dc.format.mimetype | application/pdf | - |
dc.language.iso | ru | en |
dc.publisher | Томский политехнический университет | ru |
dc.relation.ispartof | Известия Томского политехнического университета [Известия ТПУ]. 2006. Т. 309, № 7 | - |
dc.rights | info:eu-repo/semantics/openAccess | en |
dc.source | Известия Томского политехнического университета | - |
dc.subject | нецелеориентированная стратегия | - |
dc.subject | формулы | - |
dc.subject | модальные исчисления | - |
dc.subject | метод Маслова | - |
dc.subject | подходы | - |
dc.subject | автоматическое доказательство | - |
dc.subject | теоремы | - |
dc.subject | когнитивные системы | - |
dc.subject | классы | - |
dc.subject | модификации | - |
dc.subject | теоремы полноты | - |
dc.subject | пространства | - |
dc.title | Нецелеориентированная стратегия вывода формул в модальных исчислениях | ru |
dc.type | Article | en |
dc.type | info:eu-repo/semantics/publishedVersion | en |
dc.type | info:eu-repo/semantics/article | en |
dcterms.audience | Researches | en |
local.description.firstpage | 121 | - |
local.description.lastpage | 126 | - |
local.filepath | http://www.lib.tpu.ru/fulltext/v/Bulletin_TPU/2006/v309/i7/26.pdf | - |
local.identifier.bibrec | RU\TPU\book\186266 | - |
local.identifier.perskey | RU\TPU\pers\25404 | - |
local.identifier.perskey | RU\TPU\pers\27797 | - |
local.issue | 7 | - |
local.localtype | Статья | ru |
local.volume | 309 | - |
Располагается в коллекциях: | Известия Томского политехнического университета. Инжиниринг георесурсов |
Файлы этого ресурса:
Файл | Описание | Размер | Формат | |
---|---|---|---|---|
bulletin_tpu-2006-309-7-26.pdf | 379,58 kB | Adobe PDF | Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.