Kết quả tìm kiếm

…vào nhiều chủ đề toán học hơn của điện toán và bao gồm [[lý thuyết của sự tính toán]]. …nh vực này được phan biệt bằng tầm quan trọng của nó đối với kỹ thuật toán học và [[sự khắt khe]]. …

…[[J. Barkley Rosser]], và sau đó tên của định lý lấy tên của hai nhà logic học này. …lưu]] (đưa ra kết quả cuối cùng giống nhau). Hệ quả là, một số hạng trong tính toán lambda có nhiều nhất một [[dạng thường]], chứng minh tham chiếu đến "d …

Một '''tham số''' là một đối số của một [[hàm (toán học)|hàm toán học]]. ===Toán học=== …

…ột [[mạch lượng tử]] cơ bản. Chúng có vai trò giống như các [[cổng logic]] trong [[mạch điện tử]], là nền tảng để xây dựng nên các mạch lượng tử, nhưng sử… …i nhiều cổng logic cổ điển, các cổng lượng tử đều khả nghịch. Với mỗi cổng logic cổ điển sử dụng một hoặc 2 bit, đều có một cổng lượng tử tương ứng, điều nà …

{{vấn đề mở|khoa học máy tính|'''NC''' {{=}} '''P''' ?}} …ass" theo tên của [[Nick Pippenger]], người đã có nhiều nghiên cứu về mạch logic với chiều sâu đa thức của lôgarit và kích thước đa thức.<ref>{{cite confere …

…toán quyết định]] có thể được giải quyết bằng một [[máy Turing]] tất định trong thời gian đa thức. …ng P hay không nhưng đã có thuật toán thực tiễn, trong khi một số bài toán trong P vẫn chưa có. Mặc dù vậy đây vẫn là một quy tắc hữu ích. …

Cụm từ "đại số" được sử dụng trong một số phân nhánh và cấu trúc của toán học. Đối với thông tin tổng quan, xem [[Đại số]]. …số phổ dụng]], '''đại số''' mang định nghĩa tiên đề, đại ý là thực thể một trong các cấu trúc đại số như nhóm, vành, v.v. …

…ef>. Một ví dụ đơn giản là một hàm ''f: A'' <math>\rightarrow</math> ''A'' trong đó ''A'' là một tập, hàm f là phép toán một ngôi trên ''A''. Ta tính trước các phép toán một ngôi rồi mới xét các phép toán khác. Sau đây là ví …

Trong [[toán học]], '''tích rỗng''' là kết quả của phép [[Phép nhân|nhân]] không nhân tử. Th …trong [[lý thuyết tập hợp]], tích phạm trù và các tích trong lập trình máy tính. …

…]]: ''recursion'') là phương pháp dùng trong các [[chương trình máy tính]] trong đó có một hàm tự gọi chính nó. …[khoa học máy tính]], các tính chất (hoặc cấu trúc) được gọi là đệ quy nếu trong đó một lớp các đối tượng hoặc phương pháp được xác định bằng việc xác định …

…thuyết hình thái''' hoặc một '''hệ hình thái''' là một hệ thống hình thức trong đó mọi '''đối tượng''' đều có một '''hình thái''' (hay mọi ''biến'' đều có …. Hai lý thuyết như vậy khá nổi tiếng là lý thuyết [[Phép tính lambda|phép tính lambda hình thái]] của Alonzo và lý thuyết hình thái trực giác của Per Mart …

{{chú thích trong bài}} | name = Tính kết hợp …

== Khoa học, công nghệ và toán học == === Tin học === …

…C-NOT) là một [[cổng lượng tử]] - thành phần thiết yếu để xây dựng [[máy tính lượng tử]]. Nó có thể được dùng để gỡ [[rối lượng tử]] hoặc tạo ra [[rối lư Cổng CNOT có thể được biểu diễn bằng [[Ma trận (toán học)|Ma trận]] như sau: …

…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]]. Nó được xuất bản trong bài báo năm [[1969]] của Hoare<ref>C. A. R. Hoare. "[http://www.spatial.mai …

{{chú thích trong bài}} …iệt sẽ được sắp vào từng nhóm dựa trên số lượng thông tin về một hay nhiều tính chất kế thừa của cá thể đó (được xem như là các điểm, các biến, các đặc điể …

…ợc coi là bằng nhau thì ta sẽ thu được quan hệ thứ tự riêng phần (và tuyến tính)<ref>trên tập các số tự nhiên chia hết cho 4</ref>]] …quan hệ phản xứng|phản xứng]], còn quan hệ tương đương là tiền thứ tự thêm tính [[quan hệ đối xứng|đối xứng]] …

…khái niệm được dùng để mô tả một miền và ngữ nghĩa dựa [[logic|lôgic]] (''logic-based semantics'') mà có thể thu được từ việc dịch từ [[lôgic mệnh đề bậc… …c Web'') do việc sử dụng nó trong thiết kế các [[Bản thể học (khoa học máy tính)|bản thể]] (''ontology''). …

[[Tập tin:Dominoeffect.png|phải|nhỏ|Quy nạp toán học có thể được minh họa mô phỏng bằng cách tham chiếu đến các tác dụng tuần tự '''Quy nạp toán học''' là một phương pháp [[chứng minh toán học]] dùng để chứng minh một mệnh đề về bất kỳ tập hợp nào được xếp theo thứ tự …

{{Thanh bên chủ đề Toán học}}{{Ngôn ngữ học}} …[[ngôn ngữ học tâm lý]] (psycholinguistics), [[nhân chủng học]] và [[khoa học thần kinh]], cùng với những chuyên ngành khác. …