Khác biệt giữa bản sửa đổi của “Tính toán”

Bách khoa toàn thư mở Wikipedia
Nội dung được xóa Nội dung được thêm vào
n replaced: . → . (9), , → , (11), == Tài liệu tham khảo == → ==Tham khảo==, . <ref → .<ref (2), <ref><div> → <ref>, </div></ref> → </ref> using AWB
Dòng 1: Dòng 1:
'''Tính toán''' là bất kỳ loại tính toán nào <ref>[http://www.merriam-webster.com/dictionary/computation Tính toán] từ từ điển Merriam-Webster miễn phí</ref><ref>{{Chú thích web|url=http://www.answers.com:80/topic/computation|title=Computation: Definition and Synonyms from Answers.com|website=Answers.com|archive-url=https://web.archive.org/web/20090222005439/http://www.answers.com/topic/computation|archive-date=22 February 2009|dead-url=yes|access-date=26 April 2017}}</ref> bao gồm cả các bước đối xứng và không đối xứng và tuân theo một mô hình được xác định rõ, ví dụ như một [[thuật toán]].


Các nghiên cứu về tính toán là tối quan trọng đối với các ngành [[khoa học máy tính]].
'''Tính toán''' là bất kỳ loại tính toán nào <ref><div> [http://www.merriam-webster.com/dictionary/computation Tính toán] từ từ điển Merriam-Webster miễn phí </div></ref> <ref>{{Chú thích web|url=http://www.answers.com:80/topic/computation|title=Computation: Definition and Synonyms from Answers.com|website=Answers.com|archive-url=https://web.archive.org/web/20090222005439/http://www.answers.com/topic/computation|archive-date=22 February 2009|dead-url=yes|access-date=26 April 2017}}</ref> bao gồm cả các bước đối xứng và không đối xứng và tuân theo một mô hình được xác định rõ, ví dụ như một [[thuật toán]] .

Các nghiên cứu về tính toán là tối quan trọng đối với các ngành [[khoa học máy tính]] .


== Hiện tượng vật lý ==
== Hiện tượng vật lý ==
Một tính toán có thể được xem như một hiện tượng vật lý thuần túy xảy ra bên trong một hệ thống vật lý khép kín gọi là [[máy tính]] . Ví dụ về các hệ thống vật lý này bao gồm [[Máy tính|máy tính kỹ thuật số]] , [[máy tính]] cơ học , máy tính [[Máy tính lượng tử|lượng tử]] , máy tính DNA , máy tính phân tử , máy tính dựa trên vi lỏng, máy tính tương tự hoặc máy tính đi bộ . Quan điểm này đã được thông qua bởi vật lý tính toán , một nhánh của vật lý lý thuyết, cũng như lĩnh vực điện toán tự nhiên .
Một tính toán có thể được xem như một hiện tượng vật lý thuần túy xảy ra bên trong một hệ thống vật lý khép kín gọi là [[máy tính]]. Ví dụ về các hệ thống vật lý này bao gồm [[Máy tính|máy tính kỹ thuật số]], [[máy tính]] cơ học, máy tính [[Máy tính lượng tử|lượng tử]], máy tính DNA, máy tính phân tử, máy tính dựa trên vi lỏng, máy tính tương tự hoặc máy tính đi bộ. Quan điểm này đã được thông qua bởi vật lý tính toán, một nhánh của vật lý lý thuyết, cũng như lĩnh vực điện toán tự nhiên.


Một quan điểm thậm chí còn triệt để hơn, chủ nghĩa tụy , là định đề của vật lý kỹ thuật số cho rằng sự tiến hóa của vũ trụ tự nó là một sự tính toán.
Một quan điểm thậm chí còn triệt để hơn, chủ nghĩa tụy, là định đề của vật lý kỹ thuật số cho rằng sự tiến hóa của vũ trụ tự nó là một sự tính toán.


=== Tài khoản bản đồ ===
=== Tài khoản bản đồ ===
Tài khoản cổ điển về tính toán được tìm thấy trong các tác phẩm của [[Hilary Putnam]] và những người khác. Peter Godfrey-Smith đã gọi đây là "tài khoản lập bản đồ đơn giản". <ref>{{Chú thích}}</ref> Tóm tắt của Gualtiero Piccinini về tài khoản này nói rằng một hệ thống vật lý có thể được cho là thực hiện một tính toán cụ thể khi có một ánh xạ giữa trạng thái của hệ thống đó với tính toán sao cho các trạng thái vi mô của [hệ thống] phản ánh trạng thái chuyển đổi giữa tiểu bang tính toán.” <ref>{{Chú thích sách|title=Physical Computation: A Mechanistic Account|last=Piccinini|first=Gualtiero|publisher=Oxford University Press|year=2015|isbn=9780199658855|location=Oxford|page=17}}</ref>
Tài khoản cổ điển về tính toán được tìm thấy trong các tác phẩm của [[Hilary Putnam]] và những người khác. Peter Godfrey-Smith đã gọi đây là "tài khoản lập bản đồ đơn giản".<ref>{{Chú thích}}</ref> Tóm tắt của Gualtiero Piccinini về tài khoản này nói rằng một hệ thống vật lý có thể được cho là thực hiện một tính toán cụ thể khi có một ánh xạ giữa trạng thái của hệ thống đó với tính toán sao cho các trạng thái vi mô của [hệ thống] phản ánh trạng thái chuyển đổi giữa tiểu bang tính toán.” <ref>{{Chú thích sách|title=Physical Computation: A Mechanistic Account|last=Piccinini|first=Gualtiero|publisher=Oxford University Press|year=2015|isbn=9780199658855|location=Oxford|page=17}}</ref>


=== Tài khoản ngữ nghĩa ===
=== Tài khoản ngữ nghĩa ===
Các nhà triết học như Jerry Fodor <ref>{{Chú thích|year=1981|title=The Mind-Body Problem}}</ref> đã đề xuất nhiều tài khoản tính toán khác nhau với hạn chế rằng nội dung [[Ngữ nghĩa học|ngữ nghĩa]] là điều kiện cần để tính toán (nghĩa là, điều khác biệt giữa một hệ thống vật lý tùy ý với hệ thống máy tính là toán hạng của tính toán đại diện cho một cái gì đó) . Khái niệm này cố gắng ngăn chặn sự trừu tượng hóa logic của tài khoản lập bản đồ của chủ nghĩa tụy , ý tưởng rằng mọi thứ có thể nói là tính toán mọi thứ.
Các nhà triết học như Jerry Fodor <ref>{{Chú thích|year=1981|title=The Mind-Body Problem}}</ref> đã đề xuất nhiều tài khoản tính toán khác nhau với hạn chế rằng nội dung [[Ngữ nghĩa học|ngữ nghĩa]] là điều kiện cần để tính toán (nghĩa là, điều khác biệt giữa một hệ thống vật lý tùy ý với hệ thống máy tính là toán hạng của tính toán đại diện cho một cái gì đó). Khái niệm này cố gắng ngăn chặn sự trừu tượng hóa logic của tài khoản lập bản đồ của chủ nghĩa tụy, ý tưởng rằng mọi thứ có thể nói là tính toán mọi thứ.


=== Tài khoản cơ khí ===
=== Tài khoản cơ khí ===
Gualtiero Piccinini đề xuất một tài khoản tính toán dựa trên triết lý cơ học . Nó nói rằng các hệ thống máy tính vật lý là các loại cơ chế, theo thiết kế, thực hiện tính toán vật lý, hoặc điều khiển các thao tác (theo cơ chế chức năng) của một phương tiện độc lập trung bình theo quy tắc. Tính độc lập trung bình đòi hỏi tài sản có thể được khởi tạo bởi nhiều bộ thực hiện và nhiều cơ chế và các đầu vào và đầu ra của cơ chế cũng có thể được nhân rộng . Tóm lại, tính độc lập trung bình cho phép sử dụng các biến vật lý với các đặc điểm khác với điện áp (như trong các máy tính kỹ thuật số thông thường); điều này là bắt buộc trong việc xem xét các loại tính toán khác, chẳng hạn như xảy ra trong [[não]] hoặc trong một [[máy tính lượng tử]] . Theo nghĩa này, một quy tắc, cung cấp một ánh xạ giữa các đầu vào, đầu ra và trạng thái bên trong của hệ thống máy tính vật lý. <ref>{{Chú thích sách|title=Physical Computation: A Mechanistic Account|last=Piccinini|first=Gualtiero|publisher=Oxford University Press|year=2015|isbn=9780199658855|location=Oxford|page=10}}</ref>
Gualtiero Piccinini đề xuất một tài khoản tính toán dựa trên triết lý cơ học. Nó nói rằng các hệ thống máy tính vật lý là các loại cơ chế, theo thiết kế, thực hiện tính toán vật lý, hoặc điều khiển các thao tác (theo cơ chế chức năng) của một phương tiện độc lập trung bình theo quy tắc. Tính độc lập trung bình đòi hỏi tài sản có thể được khởi tạo bởi nhiều bộ thực hiện và nhiều cơ chế và các đầu vào và đầu ra của cơ chế cũng có thể được nhân rộng. Tóm lại, tính độc lập trung bình cho phép sử dụng các biến vật lý với các đặc điểm khác với điện áp (như trong các máy tính kỹ thuật số thông thường); điều này là bắt buộc trong việc xem xét các loại tính toán khác, chẳng hạn như xảy ra trong [[não]] hoặc trong một [[máy tính lượng tử]]. Theo nghĩa này, một quy tắc, cung cấp một ánh xạ giữa các đầu vào, đầu ra và trạng thái bên trong của hệ thống máy tính vật lý.<ref>{{Chú thích sách|title=Physical Computation: A Mechanistic Account|last=Piccinini|first=Gualtiero|publisher=Oxford University Press|year=2015|isbn=9780199658855|location=Oxford|page=10}}</ref>


== Mô hình toán học ==
== Mô hình toán học ==
Trong lý thuyết tính toán , sự đa dạng của các mô hình toán học của máy tính đã được phát triển. Các [[Mô hình tính toán|mô hình]] toán học điển [[Mô hình tính toán|hình của máy tính]] như sau:
Trong lý thuyết tính toán, sự đa dạng của các mô hình toán học của máy tính đã được phát triển. Các [[Mô hình tính toán|mô hình]] toán học điển [[Mô hình tính toán|hình của máy tính]] như sau:


* Các mô hình trạng thái bao gồm [[máy Turing]] , máy tự động đẩy xuống , [[Máy trạng thái hữu hạn|máy tự động trạng thái hữu hạn]] và PRAM
* Các mô hình trạng thái bao gồm [[máy Turing]], máy tự động đẩy xuống, [[Máy trạng thái hữu hạn|máy tự động trạng thái hữu hạn]] và PRAM
* Các mô hình chức năng bao gồm [[Phép tính lambda|tính toán lambda]]
* Các mô hình chức năng bao gồm [[Phép tính lambda|tính toán lambda]]
* Các mô hình [[Lập trình logic|logic]] bao gồm [[lập trình logic]]
* Các mô hình [[Lập trình logic|logic]] bao gồm [[lập trình logic]]
* Các mô hình đồng thời bao gồm mô hình diễn viên và tính toán quá trình
* Các mô hình đồng thời bao gồm mô hình diễn viên và tính toán quá trình


== Xem thêm ==
== Xem thêm ==
Dòng 36: Dòng 35:
* Điện toán bên
* Điện toán bên
* Bài toán tính toán
* Bài toán tính toán
* Nhiều khả năng thực hiện
* Nhiều khả năng thực hiện


== Tài liệu tham khảo ==
==Tham khảo==
<references group="" responsive=""></references>
<references group="" responsive=""></references>

[[Thể loại:Khoa học máy tính lý thuyết]]
[[Thể loại:Khoa học máy tính lý thuyết]]

Phiên bản lúc 06:01, ngày 12 tháng 9 năm 2019

Tính toán là bất kỳ loại tính toán nào [1][2] bao gồm cả các bước đối xứng và không đối xứng và tuân theo một mô hình được xác định rõ, ví dụ như một thuật toán.

Các nghiên cứu về tính toán là tối quan trọng đối với các ngành khoa học máy tính.

Hiện tượng vật lý

Một tính toán có thể được xem như một hiện tượng vật lý thuần túy xảy ra bên trong một hệ thống vật lý khép kín gọi là máy tính. Ví dụ về các hệ thống vật lý này bao gồm máy tính kỹ thuật số, máy tính cơ học, máy tính lượng tử, máy tính DNA, máy tính phân tử, máy tính dựa trên vi lỏng, máy tính tương tự hoặc máy tính đi bộ. Quan điểm này đã được thông qua bởi vật lý tính toán, một nhánh của vật lý lý thuyết, cũng như lĩnh vực điện toán tự nhiên.

Một quan điểm thậm chí còn triệt để hơn, chủ nghĩa tụy, là định đề của vật lý kỹ thuật số cho rằng sự tiến hóa của vũ trụ tự nó là một sự tính toán.

Tài khoản bản đồ

Tài khoản cổ điển về tính toán được tìm thấy trong các tác phẩm của Hilary Putnam và những người khác. Peter Godfrey-Smith đã gọi đây là "tài khoản lập bản đồ đơn giản".[3] Tóm tắt của Gualtiero Piccinini về tài khoản này nói rằng một hệ thống vật lý có thể được cho là thực hiện một tính toán cụ thể khi có một ánh xạ giữa trạng thái của hệ thống đó với tính toán sao cho các trạng thái vi mô của [hệ thống] phản ánh trạng thái chuyển đổi giữa tiểu bang tính toán.” [4]

Tài khoản ngữ nghĩa

Các nhà triết học như Jerry Fodor [5] đã đề xuất nhiều tài khoản tính toán khác nhau với hạn chế rằng nội dung ngữ nghĩa là điều kiện cần để tính toán (nghĩa là, điều khác biệt giữa một hệ thống vật lý tùy ý với hệ thống máy tính là toán hạng của tính toán đại diện cho một cái gì đó). Khái niệm này cố gắng ngăn chặn sự trừu tượng hóa logic của tài khoản lập bản đồ của chủ nghĩa tụy, ý tưởng rằng mọi thứ có thể nói là tính toán mọi thứ.

Tài khoản cơ khí

Gualtiero Piccinini đề xuất một tài khoản tính toán dựa trên triết lý cơ học. Nó nói rằng các hệ thống máy tính vật lý là các loại cơ chế, theo thiết kế, thực hiện tính toán vật lý, hoặc điều khiển các thao tác (theo cơ chế chức năng) của một phương tiện độc lập trung bình theo quy tắc. Tính độc lập trung bình đòi hỏi tài sản có thể được khởi tạo bởi nhiều bộ thực hiện và nhiều cơ chế và các đầu vào và đầu ra của cơ chế cũng có thể được nhân rộng. Tóm lại, tính độc lập trung bình cho phép sử dụng các biến vật lý với các đặc điểm khác với điện áp (như trong các máy tính kỹ thuật số thông thường); điều này là bắt buộc trong việc xem xét các loại tính toán khác, chẳng hạn như xảy ra trong não hoặc trong một máy tính lượng tử. Theo nghĩa này, một quy tắc, cung cấp một ánh xạ giữa các đầu vào, đầu ra và trạng thái bên trong của hệ thống máy tính vật lý.[6]

Mô hình toán học

Trong lý thuyết tính toán, sự đa dạng của các mô hình toán học của máy tính đã được phát triển. Các mô hình toán học điển hình của máy tính như sau:

Xem thêm

  • Tính toán
  • Thông tin vật lý
  • Tính toán thực
  • Tính toán đảo ngược
  • Siêu tính toán
  • Điện toán bên
  • Bài toán tính toán
  • Nhiều khả năng thực hiện

Tham khảo

  1. ^ Tính toán từ từ điển Merriam-Webster miễn phí
  2. ^ “Computation: Definition and Synonyms from Answers.com”. Answers.com. Bản gốc lưu trữ ngày 22 tháng 2 năm 2009. Truy cập ngày 26 tháng 4 năm 2017. Đã bỏ qua tham số không rõ |dead-url= (gợi ý |url-status=) (trợ giúp)
  3. ^ Chú thích trống (trợ giúp)
  4. ^ Piccinini, Gualtiero (2015). Physical Computation: A Mechanistic Account. Oxford: Oxford University Press. tr. 17. ISBN 9780199658855.
  5. ^ The Mind-Body Problem, 1981
  6. ^ Piccinini, Gualtiero (2015). Physical Computation: A Mechanistic Account. Oxford: Oxford University Press. tr. 10. ISBN 9780199658855.