Khác biệt giữa bản sửa đổi của “Tính toán”
Nội dung được xóa Nội dung được thêm vào
Đổi hướng sang: Điện toán Thẻ: Trang đổi hướng mới Trình soạn thảo mã nguồn 2017 |
Tạo với bản dịch của trang “Computation” Thẻ: Xóa đổi hướng Biên dịch nội dung ContentTranslation2 |
||
Dòng 1:
#Đổi [[Điện toán]]▼
'''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ý ==
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.
=== 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 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ứ.
=== 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>
== 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:
* 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 [[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
Giunti gọi các mô hình được nghiên cứu bởi các ''hệ thống tính toán'' lý thuyết ''tính toán'' và ông cho rằng tất cả chúng đều là '''[[Hệ thống động lực|các hệ thống động lực]]''' toán học với thời gian riêng biệt và không gian trạng thái riêng biệt. <ref>{{Chú thích sách|title=Computation, Dynamics, and Cognition|last=Giunti|first=Marco|publisher=Oxford University Press|year=1997|isbn=978-0-19-509009-3|location=New York}}</ref> {{Rp|ch.1}} Ông cho rằng một hệ thống tính toán là một đối tượng phức tạp bao gồm ba phần. Đầu tiên, một hệ thống động lực toán học <math xmlns="http://www.w3.org/1998/Math/MathML"><mrow class="MJX-TeXAtom-ORD"><mi> <math>DS</math> </mi><mi> <math>DS</math> </mi></mrow> </math><math>DS</math> <math>DS</math> </img> <span></span> với thời gian riêng biệt và không gian trạng thái riêng biệt; thứ hai, một thiết lập tính toán <math xmlns="http://www.w3.org/1998/Math/MathML"><mrow class="MJX-TeXAtom-ORD"><mi> <math>H = \left(F, B_F\right)</math> </mi><mo> <math>H = \left(F, B_F\right)</math> </mo><mrow><mo> <math>H = \left(F, B_F\right)</math> </mo><mrow><mi> <math>H = \left(F, B_F\right)</math> </mi><mo> <math>H = \left(F, B_F\right)</math> </mo><msub><mi> <math>H = \left(F, B_F\right)</math> </mi><mrow class="MJX-TeXAtom-ORD"><mi> <math>H = \left(F, B_F\right)</math> </mi></mrow></msub></mrow><mo> <math>H = \left(F, B_F\right)</math> </mo></mrow></mrow> </math><math>H = \left(F, B_F\right)</math> <math>H = \left(F, B_F\right)</math> </img> <span></span> , được tạo thành từ một phần lý thuyết <math xmlns="http://www.w3.org/1998/Math/MathML"><mrow class="MJX-TeXAtom-ORD"><mi> <math>F</math> </mi></mrow> </math><math>F</math> <math>F</math> </img> <span></span> và một phần thực <math xmlns="http://www.w3.org/1998/Math/MathML"><mrow class="MJX-TeXAtom-ORD"><msub><mi> <math>B_F</math> </mi><mrow class="MJX-TeXAtom-ORD"><mi> <math>B_F</math> </mi></mrow></msub></mrow> </math><math>B_F</math> <math>B_F</math> </img> <span></span> ; thứ ba, một giải thích <math xmlns="http://www.w3.org/1998/Math/MathML"><mrow class="MJX-TeXAtom-ORD"><msub><mi> <math>I_{DS,H}</math> </mi><mrow class="MJX-TeXAtom-ORD"><mi> <math>I_{DS,H}</math> </mi><mi> <math>I_{DS,H}</math> </mi><mo> <math>I_{DS,H}</math> </mo><mi> <math>I_{DS,H}</math> </mi></mrow></msub></mrow> </math><math>I_{DS,H}</math> <math>I_{DS,H}</math> </img> <span></span> , liên kết hệ thống động lực <math xmlns="http://www.w3.org/1998/Math/MathML"><mrow class="MJX-TeXAtom-ORD"><mi> <math>DS</math> </mi><mi> <math>DS</math> </mi></mrow> </math><math>DS</math> <math>DS</math> </img> <span></span> với thiết lập <math xmlns="http://www.w3.org/1998/Math/MathML"><mrow class="MJX-TeXAtom-ORD"><mi> <math>H</math> </mi></mrow> </math><math>H</math> <math>H</math> </img> <span></span> . <ref>{{Chú thích}}</ref> {{Rp|pp.179–80}}
== Xem thêm ==
{{Chủ đề|Khoa học máy tính}}
* 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
* Bài toán tính toán
* Nhiều khả năng thực hiện
== Tài liệu tham khảo ==
<references group="" responsive=""></references>
[[Thể loại:Khoa học máy tính lý thuyết]]
[[Thể loại:Pages with unreviewed translations]]
| |||