Nghĩa chính
Thêm 2 nghĩa- Mệnh đề đã được chứng minhdanh từA proposition proved or accepted for immediate use in the proof of some other proposition.
- Định lý cơ bản, định lý quan trọngdanh từA proposition originally used for such a purpose, but having later acquired a greater, independent, importance; a fundamental (often pithy) and widely-used result.
- Mục từdanh từThe canonical form of an inflected word; i.e., the form usually found as the headword in a dictionary, such as the nominative singular of a noun, the bare infinitive of a verb, etc.
- Hình thức khái niệm của từdanh từThe theoretical abstract conceptual form of a word, representing a specific meaning, before the creation of a specific phonological form as the sounds of a lexeme, which may find representation in a specific written form as a dictionary or lexicographic word.
Dạng từ (word form)
theo quy tắc (regular)bất quy tắc (irregular)- lemmaDạng gốc (base form)
- lemmasSố nhiều (plural)
- lemmata (bất quy tắc)Số nhiều (plural)
Số nhiều không theo quy tắc.
Cụm từ (phrase)
| Cụm từ | Từ loại | Nghĩa |
|---|---|---|
| non-lemmadanh từ | danh từ | Các dạng từ vị không phải là bổ đề của nó |
| five lemmadanh từ | danh từ | Bổ đề cụ thể khẳng định sự tồn tại của một đồng cấu cụ thể trong sơ đồ giao hoán dựa trên một số đồng cấu khác trong sơ đồ |
| Yao's lemmadanh từ riêng | danh từ riêng | Đồng nghĩa với Yao's principle |
| Zorn's lemmadanh từ riêng | danh từ riêng | Mệnh đề của lý thuyết tập hợp phát biểu rằng mọi tập hợp được sắp thứ tự một phần, trong đó mọi chuỗi (tức là tập hợp con được sắp thứ tự toàn phần) đều có giới hạn trên, chứa ít nhất một phần tử cực đại |
| Yoneda lemmadanh từ | danh từ | Cho một phạm trù 𝒞 với một đối tượng A, giả sử H là một functor hom được biểu diễn bởi A, và cho F là một functor bất kỳ (không nhất thiết phải biểu diễn được) từ 𝒞 đến các Tập hợp, khi đó sẽ có sự đẳng cấu tự nhiên giữa Nat(H,F), tập hợp các phép biến đổi tự nhiên từ H đến F và tập F(A). (Bất kỳ phép biến đổi tự nhiên nào α từ H sang F đều được xác định bởi α_A( mbox id_A) là gì.) |
| Stein's lemmadanh từ riêng | danh từ riêng | Định lý đưa ra công thức hiệp phương sai của một biến ngẫu nhiên với giá trị của hàm của một biến ngẫu nhiên khác, khi hai biến ngẫu nhiên đó được phân phối chuẩn chung |
| Tukey's lemmadanh từ riêng | danh từ riêng | Đồng nghĩa với Teichmüller-Tukey lemma |
| pumping lemmadanh từ | danh từ | Bổ đề tuyên bố rằng để một ngôn ngữ trở thành thành viên của một lớp ngôn ngữ, bất kỳ chuỗi đủ dài nào trong ngôn ngữ đó đều chứa một phần có thể bị xóa hoặc lặp lại bất kỳ số lần nào với chuỗi kết quả vẫn còn trong ngôn ngữ, được sử dụng để xác định xem một ngôn ngữ cụ thể có thuộc một lớp ngôn ngữ nhất định hay không (ví dụ: không thông thường) |
2 nghĩa khác
Danh từ (noun) 2
Vỏ ngoài của quả
- The outer shell of a fruit or similar body.
Đồng nghĩa (synonym)
Đồng nghĩa
Họ từ (word family)
cùng gốc lemmaNguồn gốc (etymology)
danh từ
- mượn từ tiếng Hy Lạp cổλῆμμᾰlêmmă“premise, assumption”
danh từ
- từ tiếng Hy Lạp cổλέμμαlémma
Ngôn ngữ khác
Tiếng Tây Ban Nha
Ví dụ
- " , , ," [. ] . " ."Cuối cùng chúng tôi đã làm được, nhưng ông ấy nói: "Tôi nhớ tôi và vợ đã dành cả buổi chiều chỉ để nghiên cứu một vài mệnh đề nhỏ trong bài chứng minh."
- , .Cat là một mục từ, nhưng cats thì không.
- 5 .Bây giờ, chúng tôi sẽ chỉ ra cách sử dụng định lý này để chứng minh định lý chính của chúng tôi.