equational 예문
- In the same year she published The lattice of equational classes of semigroups with zero in the Canadian Mathematical Bulletin.
같은 해에 그녀는 0과 캐나다 수학 게시판에 semigroups의 균등한 클래스의 격자 발표했다. - The first of her two children, both daughters, was born shortly before she competed the work for her doctoral thesis The lattice of equational classes of commutative semigroups.
그녀의 두 아이의 두 딸, 태어난 최초의 직전에 그녀의 박사 학위 논문 commutative semigroups의 균등한 클래스의 격자에 대한 작업을 경쟁. - In 1968 Tarski wrote another famous paper Equational logic and equational theories of algebras in which he presented a survey of the metamathematics of equational logic as it then existed as well as giving some new results and some open problems.
1968년 방정식의 논리와 Tarski에있는 다른 유명한 종이로 다음과 일부 열려있는 문제뿐만 아니라 몇 가지 새로운 결과를 만들어 낸으로 존재하는 그 등식 논리의 metamathematics의 조사 algebras의 방정식 이론을 제시했다. - In 1968 Tarski wrote another famous paper Equational logic and equational theories of algebras in which he presented a survey of the metamathematics of equational logic as it then existed as well as giving some new results and some open problems.
1968년 방정식의 논리와 Tarski에있는 다른 유명한 종이로 다음과 일부 열려있는 문제뿐만 아니라 몇 가지 새로운 결과를 만들어 낸으로 존재하는 그 등식 논리의 metamathematics의 조사 algebras의 방정식 이론을 제시했다. - In 1968 Tarski wrote another famous paper Equational logic and equational theories of algebras in which he presented a survey of the metamathematics of equational logic as it then existed as well as giving some new results and some open problems.
1968년 방정식의 논리와 Tarski에있는 다른 유명한 종이로 다음과 일부 열려있는 문제뿐만 아니라 몇 가지 새로운 결과를 만들어 낸으로 존재하는 그 등식 논리의 metamathematics의 조사 algebras의 방정식 이론을 제시했다. - This note provides a negative answer to the natural question whether the same equivalence holds for equational classes of infinitary algebras by exhibiting examples in which there are, up to isomorphism, only one subdirectly irreducible algebra in the class and no non-trivial equationally compact algebras at all.
이 노트는 자연의 질문에 대한 부정적인 대답을 제공할지 여부와 같은 동등한 보유 infinitary algebras의 방정식 수업에 대한 어떤 거기 예제, 최대 isomorphism을 전시하여, 수업 시간에 돌이킬 수없는 단 하나 subdirectly 대수학과 미제공 - 하찮은 equationally 소형 algebras에서 모두.