n -代数导论。公式的等价变换

TELSIKS 2005 - 2005 uth International Conference on Telecommunication in ModernSatellite, Cable and Broadcasting Services Pub Date : 2005-09-28 DOI:10.1109/TELSKS.2005.1572182

A. Kmet

{"title":"n -代数导论。公式的等价变换","authors":"A. Kmet","doi":"10.1109/TELSKS.2005.1572182","DOIUrl":null,"url":null,"abstract":"The paper is dealing with a problem of identical transformations at SN-algebra. The task about identical transformations is formulated as follows. On the set of algebra operations the specifying of full system of identities is required, i.e. it is necessary to find somewhat the elementary subset of pairs of equal formulas realizing the same function and allowing by substitution of the found formulas of ones instead of others to get for any formula all formulas, which are equal to her","PeriodicalId":422115,"journal":{"name":"TELSIKS 2005 - 2005 uth International Conference on Telecommunication in ModernSatellite, Cable and Broadcasting Services","volume":"41 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2005-09-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Introduction To SN-Algebra. Identical Transformations Of Formulas\",\"authors\":\"A. Kmet\",\"doi\":\"10.1109/TELSKS.2005.1572182\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The paper is dealing with a problem of identical transformations at SN-algebra. The task about identical transformations is formulated as follows. On the set of algebra operations the specifying of full system of identities is required, i.e. it is necessary to find somewhat the elementary subset of pairs of equal formulas realizing the same function and allowing by substitution of the found formulas of ones instead of others to get for any formula all formulas, which are equal to her\",\"PeriodicalId\":422115,\"journal\":{\"name\":\"TELSIKS 2005 - 2005 uth International Conference on Telecommunication in ModernSatellite, Cable and Broadcasting Services\",\"volume\":\"41 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2005-09-28\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"TELSIKS 2005 - 2005 uth International Conference on Telecommunication in ModernSatellite, Cable and Broadcasting Services\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/TELSKS.2005.1572182\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"TELSIKS 2005 - 2005 uth International Conference on Telecommunication in ModernSatellite, Cable and Broadcasting Services","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/TELSKS.2005.1572182","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

本文研究n -代数上的一个恒等变换问题。关于相同变换的任务表述如下。在代数运算集上，需要确定完整的恒等式系统，即需要找到一些实现相同函数的相等公式对的初等子集，并允许用其中一个公式代替其他公式，得到任何公式的所有等于它的公式

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Introduction To SN-Algebra. Identical Transformations Of Formulas

The paper is dealing with a problem of identical transformations at SN-algebra. The task about identical transformations is formulated as follows. On the set of algebra operations the specifying of full system of identities is required, i.e. it is necessary to find somewhat the elementary subset of pairs of equal formulas realizing the same function and allowing by substitution of the found formulas of ones instead of others to get for any formula all formulas, which are equal to her

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

TELSIKS 2005 - 2005 uth International Conference on Telecommunication in ModernSatellite, Cable and Broadcasting Services

自引率

0.00%

发文量