ramified câu
- 's ramified theory of types.
Nghĩa của từ: ramified theory of types - The ramified theory of types.
Nghĩa của từ: ramified theory of types - The simple v. the ramified theory of types
Nghĩa của từ: ramified theory of types - the Ramified Theory of Types.
Nghĩa của từ: ramified theory of types - They attributed the paradox to "vicious circularity" and built up what they called ramified type theory to deal with it.
Họ gán cho nghịch lý là "vòng tròn luẩn quẩn" và xây dựng cái mà họ gọi là lý thuyết kiểu phân nhánh để đối phó với nó. - “We’ll have hundreds of thousands of transactions in the layer two systems and we’re going to see that ramified this year.”
Chúng tôi sẽ có hàng trăm nghìn giao dịch trong các hệ thống lớp thứ hai và chúng tôi sẽ chứng kiến chúng được phân phối trong năm nay”. - What we now call rule of law, that system prevailed in ancient Greece and from there it later on, ramified in other parts of Europe.
Điều mà ngày nay chúng ta gọi là cai trị theo pháp luật, thì đã tồn tại ở Hy Lạp cổ đại, và từ đó về sau, phân tán ra các khu vực khác của châu Âu. - It was probably very simple thought before civilization, and now it has become very complex and ramified and has much more incoherence than before.
Có thể rằng trước khi có nền văn minh, tư duy đã từng rất đơn giản, nhưng nay nó đã trở nên rất phức tạp, đã mở ra nhiều nhánh và thiếu mạch lạc hơn nhiều so với trước kia. - Russia also continues building ramified military infrastructure on the Arctic islands, in particular, hi-tech lighting systems to monitor the situation in the air, on the ground and under the water, he said.
Nga cũng sẽ tiếp tục xây dựng hạ tầng quân sự tại các đảo ở Bắc cực, đặc biệt là hệ thống ánh sáng công nghệ cao nhằm kiểm soát tình hình trên không, trên mặt đất và dưới nước. - “[Ethereum is moving] into space where it can serve as the layer one trust system and built into Ethereum we’ll have hundreds of thousands of transactions in the layer two systems and we’re going to see that ramified this year.”
“Ethereum đang tiến tới một không gian tin cậy, và được xây dựng thành hệ thống Ethereum, chúng ta sẽ được thấy hàng trăm nghìn giao dịch trong hai hệ thống lớp được phân phối trong năm nay. - “[Ethereum is moving] into a space where it can serve as the layer one trust system, and built into Ethereum we’ll have hundreds of thousands of transactions in the layer two systems and we’re going to see that ramified this year.”
“Ethereum đang tiến tới một không gian tin cậy, và được xây dựng thành hệ thống Ethereum, chúng ta sẽ được thấy hàng trăm nghìn giao dịch trong hai hệ thống lớp được phân phối trong năm nay. - Badrawy said that corruption is ramified and deeply rooted in the Egyptian society and, therefore, we need a strategy that consists of more effective anti-corruption legislations and procedures.
Theo ông Badrawy, tham nhũng hiện đã phân nhánh và bắt rễ sâu trong xã hội Ai Cập, do đó, cần một chiến lược bao gồm các chế tài pháp luật và các chuỗi hành động chống tham nhũng hiệu quả hơn. - More generally, for a ramified covering space, the Euler characteristic of the cover can be computed from the above, with a correction factor for the ramification points, which yields the Riemann–Hurwitz formula.
Tổng quát hơn, cho một không gian phủ bị rẽ nhánh, đặc trưng Euler của phủ có thể được tính toán như trên, với một hệ số hiệu chính cho những điểm rẽ nhánh, nó sinh ra công thức Riemann–Hurwitz. - (Never mind that psychopaths and other pathologicals have inter-penetrated the social structure with a ramified network of mutual pathological conspiracies and are busily causing those very problems!)
(Mặc dù những kẻ thái nhân cách và các cá nhân tâm lý bệnh hoạn khác đã thâm nhập vào cấu trúc xã hội, tạo thành một mạng lưới hỗ trợ lẫn nhau và đang bận rộn gây ra chính những vấn đề ấy!)