“formal definition of a Turing machine”的概念、定义、习题解题方法及翻译-数学辞典

单词	formal definition of a Turing machine
释义	SeeFormalDefinitionOfATuringMachine
随便看	TheTheoryBehindTaylorSeries1 TheTop10MostBeautifulTheorems the top 10 most beautiful theorems TheTopologistsSineCurveHasTheFixedPointProperty the topologist’s sine curve has the fixed point property TheTorsionSubgroupOfAnEllipticCurveInjectsInTheReductionOfTheCurve the torsion subgroup of an elliptic curve injects in the reduction of the curve The type of booleans TheUnionOfALocallyFiniteCollectionOfClosedSetsIsClosed the union of a locally finite collection of closed sets is closed The unit type The universal cover as an identity system The universal cover in type theory The van Kampen theorem The van Kampen theorem with a set of basepoints The Yoneda lemma ThinAlgebraicSet thin algebraic set ThinDoubleTrack thin double track ThirdIsomorphismTheorem third isomorphism theorem Thirteen thirteen This is my sample file

数学辞典收录了18232条数学词条，基本涵盖了常用数学知识及数学英语单词词组的翻译及用法，是数学学习的有利工具。