Kết quả tìm kiếm
Bước tới điều hướng
Bước tới tìm kiếm
Đề mục tương tự
- …ổi trong nhiều nghiên cứu [[siêu toán học]], trong đó có nghiên cứu về vấn đề căn bản như việc liệu [[lý thuyết số]] có [[Định lý nhất quán|nhất quán]]… …eano đã xuất bản một phiên bản đơn giản hơn dưới dạng một tập hợp các tiên đề trong cuốn sách của ông, ''[[Arithmetices Princia, nova methodo exposita|Cá …48 kB (10.039 từ) - 13:04, ngày 22 tháng 10 năm 2024
Câu chữ tương tự
- …à toán học Ernst Zermelo và Abraham Fraenkel, là một hệ thống tiên đề được đề xuất vào đầu thế kỷ XX để xây dựng một [[lý thuyết tập hợp]] không còn các …ờng được ký hiệu là ZF. Lý thuyết tập hợp Zermelo–Fraenkel cùng với [[tiên đề chọn]] được ký hiệu là ZFC. …4 kB (787 từ) - 09:47, ngày 29 tháng 6 năm 2023
- '''Tiên đề Archimede''' là một tính chất trên trường [[số thực]] được mang tên nhà [[t Tiên đề này còn được gọi là '''tiên đề thứ tự''' cho số thực. …3 kB (606 từ) - 06:47, ngày 19 tháng 12 năm 2024
- …cố sơ cấp]] (''elementary event'') sao cho ''P'' phải thỏa mãn các '''tiên đề Kolmogorov'''. == Các tiên đề Kolmogorov == …6 kB (1.239 từ) - 02:57, ngày 4 tháng 12 năm 2021
- …n để mỗi không gian tôpô là mêtric hóa được là không gian đó thỏa mãn tiên đề đếm được thứ nhất. Ngoài ra, không gian mêtric hóa được cũng phải là không …|url= |ngày truy cập=}}</ref>: ''Không gian tôpô chính tắc thỏa mãn [[tiên đề đếm được]] thứ hai (có cơ sở đếm được) là không gian mêtric hóa được.'' …5 kB (1.241 từ) - 02:19, ngày 4 tháng 2 năm 2024
- …s of Hausdorffness, regularity and normality|nhỏ|Hình minh họa một số tiên đề tách. Các vùng đường viền đứt đoạn vô định hình màu xám biểu thị các tập hợ …được đưa ra bởi các '''tiên đề tách''' . Chúng đôi khi được gọi là ''tiên đề tách Tychonoff'', theo tên của [[Andrey Tychonoff]]. …12 kB (2.821 từ) - 01:13, ngày 28 tháng 9 năm 2024
- …') là hai thuộc tính [[toán học]] trên các tập sắp thứ tự, được đưa ra đầu tiên bởi [[Emmy Noether]] trong bối cảnh [[đại số giao hoán]]. Chấp nhận tiên đề chọn phụ thuộc, nó tương đương với …2 kB (604 từ) - 08:08, ngày 21 tháng 7 năm 2020
- ==Các giá trị đầu tiên== …43.009.213.693.951} - 1</math> có tới 694 127 911 065 419 642 chữ số trong hệ thập phân, vượt quá khả năng tính toán hiện tại của máy tính điện tử (hiểu …3 kB (528 từ) - 07:12, ngày 6 tháng 11 năm 2022
- == Các tiên đề == ==== Tiên đề 1 ==== …13 kB (2.898 từ) - 11:38, ngày 12 tháng 3 năm 2025
- …])... một yêu cầu thực tế [của bất kỳ hệ thống nền tảng mới nào] có thể là hệ thống này có thể được sử dụng một cách "chất phác" bởi các nhà toán học khô …an hệ hai ngôi|quan hệ]], [[hàm số]], v.v.) được định nghĩa trong mối quan hệ với các tập hợp. Lý thuyết tập hợp ngây thơ đặt ra đủ cho nhiều mục đích,… …10 kB (2.287 từ) - 09:40, ngày 29 tháng 6 năm 2023
- …] di chuyển xung quanh trên các [[quỹ đạo]] tròn - tương tự cấu trúc của [[hệ Mặt Trời]] nhưng [[tương tác hấp dẫn|lực hấp dẫn]] được thay bằng [[lực tĩn Mô hình này được đề xuất bởi [[Niels Bohr]] năm [[1913]]. Mô hình này đã giải thích rất thành… …4 kB (1.066 từ) - 08:45, ngày 2 tháng 11 năm 2023
- …nh phần xúc tác cho việc chèn Mg2 + vào protoporphyrin IX. Đây là bước đầu tiên trong việc tổng hợp bacteriochlorophyll. Mg-chelatase có vai trò quan trọng …t là các enzyme tạo thành liên kết Nitơ-D trong các phức hợp phối hợp. Tên hệ thống của loại enzyme này là Mg-protoporphyrin IX magnesi-lyase. Các tên kh …2 kB (390 từ) - 03:02, ngày 13 tháng 4 năm 2022
- …sau đó được Hoare và những nhà nghiên cứu khác tinh lọc lại. Mục đích của hệ thống là cung cấp một tập các quy luật luận lý để suy luận [[tính đúng đắn] …ng lại những đóng góp trước đó của [[Robert Floyd]], người đã xuất bản một hệ thống tương tự dành cho [[sơ đồ luồng]] (flowchart). …9 kB (1.845 từ) - 10:45, ngày 18 tháng 1 năm 2023
- {{Quan hệ hai ngôi}} …ng thể có'' ''sRm'' ("''s'' không nhỏ hơn ''m''"). Nói cách khác, một quan hệ là lập tốt nếu …3 kB (653 từ) - 13:31, ngày 19 tháng 10 năm 2020
- …hiện được hệ qui chiếu của mình đứng yên hay chuyển động thẳng đều so với hệ quy chiếu mốc. Ví dụ: trong một toa tàu chuyển động thẳng đều so với mặt đấ …ác, tất cả [[định luật vật lý|định luật]] [[cơ học]] là như nhau trong các hệ quy chiếu chuyển động thẳng đều so với nhau. Như vậy, chuyển động thẳng đều …3 kB (790 từ) - 02:02, ngày 20 tháng 7 năm 2022
- …huẩn của chính phủ Mỹ hoặc FIPS cho các [[chữ ký số]]. Giải thuật này được đề nghị bởi [[Viện các tiêu chuẩn và công nghệ quốc gia]] (NIST) vào tháng 8/1 Chú ý (p, q, g) có thể dùng chung bởi nhiều người dùng trong hệ thống, nếu muốn. …5 kB (1.127 từ) - 01:45, ngày 10 tháng 8 năm 2023
- …ố tiếp tục]] của {{Pi}} với kết quả, mô tả nó là "không thể cưỡng lại việc đề cập" đến chứng minh này trong bối cảnh trên.<ref>{{Chú thích|isbn=0-691-099 …hục các độc giả rằng {{Sfrac|22|7}} là thực sự lớn hơn {{Pi}}; phương pháp hệ thống tính toán giá trị của {{Pi}} tồn tại. Nếu biết rằng {{Pi}} là xấp xỉ …4 kB (908 từ) - 08:11, ngày 28 tháng 8 năm 2023
- …ản của đại số''' khẳng định rằng mọi [[đa thức]] một biến khác hằng số với hệ số [[Số phức|phức]] có ít nhất một nghiệm phức. Điều đó tương đương với [[t …còn được phát biểu dưới dạng: mọi đa thức một biến khác đa thức không với hệ số phức có số nghiệm phức bằng bậc của nó, nếu mỗi nghiệm được tính với số …7 kB (1.588 từ) - 04:52, ngày 10 tháng 7 năm 2021
- Đối với cá thể có hướng dịch chuyển cố định trong hệ quy chiếu chỉ có 2 chiều, công thức này có thể được biểu diễn dưới dạng:<ma …của Newton. Tuy nhiên, định luật Eleur có thể được áp dụng như là một tiên đề để mô tả các định luật chuyển động cho các mô hình mở rộng của hầu hết các …6 kB (1.326 từ) - 07:36, ngày 30 tháng 10 năm 2023
- Trước hết, ta chứng minh bổ đề sau: Ký hiệu ''r''<sub>i</sub> là chữ số thứ i của r sau dấu phẩy (trong hệ thập phân). Như vậy ''r'' = 0,''r''<sub>1</sub>,''r''<sub>2</sub>,''r''<sub …8 kB (1.758 từ) - 14:12, ngày 27 tháng 9 năm 2022
- Đường thẳng trong [[Hệ tọa độ Descartes#Hệ tọa độ trên mặt phẳng (2 chiều)|mặt phẳng Descartes]] có thể được mô tả bằn …ởi các tính chất của nó trong hệ tiên đề. "Bất kỳ thứ gì thỏa mãn các tiên đề của đường thẳng thì nó chính là đường thẳng.". Trong khi Euclide đã từng đị …7 kB (1.535 từ) - 05:14, ngày 22 tháng 2 năm 2025