Kết quả tìm kiếm

…à 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. …

…tính chất trên trường [[số thực]] được mang tên nhà [[toán học]], [[vật lý học]], và [[nhà phát minh]] người [[Hy Lạp]] [[Archimedes]] ([[287 TCN]] - [[21 Tiên đề này còn được gọi là '''tiên đề thứ tự''' cho số thực. …

…cố sơ cấp]] (''elementary event'') sao cho ''P'' phải thỏa mãn các '''tiên đề Kolmogorov'''. Theo một cách khác, một xác suất có thể được hiểu là một [[độ đo (toán học)|độ đo]] trên một [[sigma-đại số|σ-đại số]] của các tập con của không …

Trong lĩnh vực [[tô pô|tôpô]] của toán học, một '''không gian mêtric hóa được''' là một [[không gian tôpô]] đồng phôi …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 …

…iểu tuyến tính]] và là cơ sở cho một thuật toán eigenvalue cụ thể, [[thuật toán QR]]. …c tế là bất kỳ cột ''k nào'' của ''A'' chỉ phụ thuộc vào các cột ''k'' đầu tiên của ''Q'' chịu trách nhiệm cho dạng tam giác của ''R.''<ref name="Trefethen …

…đối]] (infinity) một cách cần thiết. Người đề xuất loại số này, [[nhà toán học]] [[người Đức]] [[Georg Cantor]], đã mong muốn rằng có thể tránh được hàm… …ợp)|lực lượng]] của [[tập hợp vô hạn]] của các số tự nhiên. Nếu như [[tiên đề lựa chọn]] ở đó, số thứ tự vô hạn cao hơn sẽ là [[aleph-one]] (<math>\aleph …

…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]]. …

…') 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]]. * mọi [[Dãy (toán học)|dãy tăng]] <math>(x_n)_{n\in\mathbb{N}}:x_1\leq x_2\leq x_3\leq\dots</math …

Trong [[toán học]], '''số nguyên tố Mersenne kép''' hay '''số nguyên tố Mersenne đúp''' là… ==Các giá trị đầu tiên== …

…điều này cho [[Edmund Husserl]] cùng với một số thành viên khác của [[Đại học Göttingen]]. …suitcaseofdreams.net/Set_theory_Paradox.htm |ngày truy cập=2012-08-15 |tựa đề=Set theory paradoxes |archive-date=2017-12-10 |archive-url=https://web.arch …

…ng được đặt theo tên của nhà toán học Paul Leyland. Một vài số Leyland đầu tiên là …ừa là số Leyland vừa là [[số nguyên tố]]. Một vài số nguyên tố Leyland đầu tiên là: …

…học lượng tử''' là các [[hình thức toán học]] cho phép mô tả chặt chẽ [[cơ học lượng tử]]. == Các tiên đề == …

Trong [[tô pô]] và các ngành [[toán học]] liên quan, '''không gian tích''' là [[tích Descartes]] của một họ [[không …theo từng điểm'' bởi vì: một [[Dãy (toán học)|dãy số]] (hoặc [[lưới (toán học)|lưới]]) trong ''X'' hội tụ nếu và chỉ nếu mọi phép chiếu của nó vào không …

…đối]] (infinity) một cách cần thiết. Người đề xuất loại số này, [[nhà toán học]] [[người Đức]] [[Georg Cantor]], đã mong muốn rằng có thể tránh được hàm… …ợp)|lực lượng]] của [[tập hợp vô hạn]] của các số tự nhiên. Nếu như [[tiên đề lựa chọn]] ở đó, số thứ tự vô hạn cao hơn sẽ là [[aleph-one]] (<math>\aleph …

…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ông quá phức tạp trong nghiên cứu nền tảng ([https://books.google.com/boo …ng thời đóng vai trò là bước đệm hướng tới các phương pháp nghiên cứu toán học hiện đại chính thức hơn. …

…ngựa<ref>{{Chú thích web|url=https://www.dictionary.com/browse/radius|tựa đề=Definition of radius {{!}} Dictionary.com|website=www.dictionary.com|ngôn… Nếu đối tượng đề cập tới không có tâm, khái niệm này có thể đề cập tới bán kính của [[đường tròn ngoại tiếp]] hoặc [[mặt cầu ngoại tiếp]] …

…để đo [[Lực lượng (tập hợp)|lực lượng]] (kích cỡ) của một [[Tập hợp (toán học)|tập hợp]]. Lực lượng của một [[Tập hợp hữu hạn|tập hữu hạn]] là một số tự …lượng của tập hợp các [[số tự nhiên]]. Cũng có thể một [[Tập hợp con (toán học)|tập hợp con thực sự]] của một tập hợp vô hạn có cùng lực lượng với tập hợp …

…hần mềm|chương trình máy tính]] bằng [[tính chính xác]] của [[luận lý toán học]]. …'. Bộ ba này mô tả sự thực thi một đoạn mã có thể thay đổi trạng thái tính toán như thế nào. Bộ ba Hoare có dạng …

Trong [[toán học]], một [[quan hệ hai ngôi]] ''R'' trên một [[Lớp (lý thuyết tập hợp)|lớp]] …athematics. Commutative algebra'', Addison-Wesley.</ref> theo tên nhà toán học [[Emmy Noether]]. …

…ào. Trong [[lý thuyết tập hợp tiên đề]] (''axiomatic set theory''), [[tiên đề về tập rỗng]] thừa nhận sự [[tồn tại]] của tập rỗng, và mọi tập hữu hạn đều …ký hiệu tập rỗng (ký hiệu đầu tiên) được dựa trên một [[đường tròn]] hình học, trong khi chữ cái Scandinavia giống như một chữ hình ôval '[[O]]'. …