查询词典 algebra over k

The algebraic and coalgebraic methods in computer science is investigated in general, including its basic ideas, the categorical properties of algebras and coalgebras, initial algebra and final coalgebra, bisimulation and behavior equivalence, coalgebraic specifications, and coalgebraic logics.

对代数方法与共代数方法的基本概念、代数与共代数范畴的性质、初始代数与终结共代数、双模拟与行为等价、共代数规范以及共代数逻辑进行了比较全面和深入的研究。

Schauengurg[2] considered more general case and found necessary and sufficient conditions for the cosmash product coalgebra H Q to be a Hopf algebra with a Hopf subalgebra H and a weak projection !

Schauenburg在文献[2]中把Radford的研究加以推广，给出了使余smash积HQ为Hopf代数，H为HQ的子Hopf代数，且具有弱投射π：HQ→H(即π是左模余代数同态，且π|_H=id_H)的等价条件。

The Greenfield algorithm has been renewedly designed .It is a fast algorithm for solving linear algebra equation group of coefficient matrix for nubby tri-diagonal symmetrical matrix.

研究了电磁场有限元法解释的串行计算的算法和软件实现、并行计算的算法和软件实现，给出了电磁法有限元法解释计算任务并行的划分和分治，解决了有关并行计算的负载均衡技术，合理地给出了算法的粒度选取。

As a second year graduate textbook, Cohomology of Groups introduces students to cohomology theory (involving a rich interplay between algebra and topology) with a minimum of prerequisites.

作为第2本年毕业生教科书，组的Cohomology有最少的必要条件向学生介绍cohomology 理论(与在代数和拓扑之间的丰富的相关作用有关)。

In particular, we compute Hochschild homology and cohomology groups of infinitedimensional path algebras and some of their quotient algebras, and we prove that for a general monomial algebra (not necessary finite-dimensional), all Hochschild cohomology groups of positive degrees vanish if and only if its Gabriel quiver is a finite tree.

特别地，我们计算了无限维路代数以及某些商代数的Hochschild同调群和上同调群，而且给出了一般单项代数的各正次Hochschild上同调群为零的充分必要条件，即它的Gabriel箭图是有限树。

Further more,we prove that the cohomotopy groups is isomorphic to K1 -group of the continuous algebra on topological boundary of bounded domains in C.

进一步证明了：在复平面C中，任意有界域的拓扑边界上连续函数代数的K_1-群与其边界上的上同伦群同构。

This has the advantage of providing very direct access to the algebra and to the combinatorial topology, as well as the physical ideas.

这有提供非常直接的代数的入口方面的优势，和对组合的拓扑，以及物理想法。

This curriculum mainly narrated the VHDL complete characteristic, also has contained the related number system design knowledge, the content including the electronic design automation tool's use, CMOS and the programmable logical craft, the Boolean algebra and the combinatory logic design basic principle

本课程主要讲述了VHDL的全部特征，也包含了有关数字系统设计的知识，内容包括电子设计自动化工具的使用，CMOS和可编程逻辑工艺、布尔代数和组合逻辑设计的基本原则，各种建模的技术，有限状态机的设计，以及三个重要的可测试设计；扫描路径、内置自检和边界扫描等。

In the temporal reasoning, if interval algebra is combined with interval matrix, the computing efficiency is improved, and the temporal representation keeps visual and comprehensive as well.

在一维时态推理中，将时态的区间表示和矩阵表示相结合，在提高计算效率的同时，保持了形象直观的时态表示。

From the history of Matrix and Transformation and the development of curriculum at home and abroad, putting matrix combined with the transformation, and orienting the study in 2×2 rank matrix, boosting matrix up the geometrical visualization as a algebra objects are a new perspective on knowing matrix.

从矩阵和变换的历史发展过程和国内外矩阵和变换的课程设置来看，把矩阵与变换相结合，并定位在2×2阶上研究矩阵，增强作为代数对象的矩阵的几何直观性，是认识矩阵的一个新视角。

Listen,point and check your answers.

听，指出并且检查你的答案。

Warming needle is one of effective treatment methods for knee arthralgia aggravated by cold,and it is simple,safety,so it should be developed in clinical acupuncture and moxibustion extensively.

但以本院科针灸门诊在2005年1月—2006年6月期间共收治膝痛患者100余例，经过临床的诊断后，其中施以温针治疗的48例，疗效显著，报道如下。1临床资料本组病例48