Khoa học máy tính history

5

Có rất nhiều nỗ lực để chứng minh hoặc , và tự nhiên nhiều người nghĩ về câu hỏi, có ý tưởng để chứng minh một trong hai hướng.P ≠ N PP = N PP=NP\mathsf{P} = \mathsf{NP} P ≠ N PP≠NP\mathsf{P} \neq \mathsf{NP} Tôi biết rằng có những cách tiếp …

96 complexity-theory reference-request history p-vs-np reference-question

2

Những gì Lamb Lambda trong trong Lamb Lambda tính toán là viết tắt của từ gì?

Gần đây tôi đã đọc về phép tính Lambda nhưng kỳ lạ là tôi không thể tìm thấy lời giải thích cho lý do tại sao nó được gọi là "Lambda" hoặc từ đó biểu thức đến từ đâu. Bất cứ ai có thể giải thích nguồn gốc của thuật …

74 terminology computation-models lambda-calculus history

5

Tại sao nghiên cứu về các thuật toán di truyền bị chậm lại?

Trong khi thảo luận về một số chủ đề cấp độ giới thiệu ngày hôm nay, bao gồm việc sử dụng các thuật toán di truyền; Tôi đã nói rằng nghiên cứu đã thực sự chậm lại trong lĩnh vực này. Lý do được đưa ra là hầu hết mọi …

45 machine-learning data-mining evolutionary-computing history

7

Định nghĩa của Khoa học Máy tính và Khoa học trong Khoa học Máy tính là gì?

Tôi đang theo đuổi bằng Cử nhân Khoa học Máy tính, nhưng tôi đang ở giai đoạn đầu của nó, và tôi khá chắc chắn rằng tôi sẽ hài lòng với lựa chọn của mình vì nó có vẻ giống như một nền giáo dục linh hoạt trong học tập …

39 terminology history

2

Tại sao một ngôn ngữ thông thường được gọi là 'thông thường'?

Tôi vừa hoàn thành chương đầu tiên của Giới thiệu về Lý thuyết tính toán của Michael Sipser , giải thích những điều cơ bản của automata hữu hạn. Ông định nghĩa một ngôn ngữ thông thường là bất cứ thứ gì có thể được mô tả bởi một automata …

31 formal-languages regular-languages terminology finite-automata history

2

Làm thế nào là ngôn ngữ lập trình và nền tảng của toán học liên quan?

Về cơ bản tôi nhận thức được ba nền tảng cho toán học Đặt lý thuyết Lý thuyết loại Chuyên mục lý thuyết Vậy những ngôn ngữ lập trình và nền tảng của toán học liên quan đến những cách nào? CHỈNH SỬA Câu hỏi ban đầu là "Ngôn ngữ …

30 programming-languages history type-theory category-theory

7

Tại sao chúng ta cần ngôn ngữ lắp ráp?

Chúng tôi chủ yếu viết chương trình bằng ngôn ngữ cấp cao. Vì vậy, trong khi học tôi đã gặp ngôn ngữ lắp ráp. Vì vậy, một trình biên dịch chuyển đổi ngôn ngữ lắp ráp thành ngôn ngữ máy và trình biên dịch thực hiện tương tự với ngôn …

27 programming-languages education history

4

Tại sao các hàm tính toán còn được gọi là hàm đệ quy?

Trong lý thuyết tính toán, các hàm tính toán còn được gọi là các hàm đệ quy. Ít nhất là từ cái nhìn đầu tiên, họ không có gì chung với cái mà bạn gọi là "đệ quy" trong lập trình hàng ngày (nghĩa là các hàm gọi chúng là …

23 computability terminology history

1

Các bài báo khoa học máy tính đầu tiên sử dụng độ phức tạp thời gian tiệm cận là gì?

Khi nào O lớn được sử dụng lần đầu tiên trong khoa học máy tính và khi nào nó trở thành tiêu chuẩn? Trang Wikipedia về điều này trích dẫn Knuth, Big Omicron và Big Omega và Big Theta , SIGACT Tháng Tư-Tháng Sáu năm 1976, nhưng phần đầu của …

22 asymptotics history

1

Ai đã đặt ra thuật ngữ học máy trên mạng?

Tôi đang cố gắng tìm ra ai đã đặt ra thuật ngữ "học máy". Một câu hỏi phụ trợ là từ đâu Arthur Samuel được trích dẫn khi xác định lĩnh vực "học máy" vào năm 1959 là: lĩnh vực nghiên cứu mang lại cho máy tính khả năng học …

19 terminology reference-request machine-learning history

5

Việc sử dụng sớm nhất của cây gỗ cây trong khoa học máy tính là gì?

Tôi có một câu hỏi lịch sử nhỏ, như tiêu đề đã nói, tôi đang tìm kiếm việc sử dụng sớm cây (như cấu trúc dữ liệu, cây tìm kiếm, bất cứ thứ gì) trong khoa học máy tính.

18 data-structures reference-request trees history

4

Có phải 'Eugene Goostman' đã thực sự vượt qua bài kiểm tra Turing?

Người ta nói rằng 'Eugene Goostman', một chương trình máy tính được phát triển để mô phỏng một cậu bé 13 tuổi, đã thuyết phục được 33 phần trăm các thẩm phán rằng đó là con người, và do đó đã vượt qua Bài kiểm tra Turing. Chương trình máy …

18 reference-request artificial-intelligence history turing-test

4

Tại sao mã hóa RSA trở nên phổ biến để trao đổi khóa?

Đây là một câu hỏi mềm. Tôi không biết nhiều về mật mã hoặc lịch sử của nó, nhưng có vẻ như một cách sử dụng phổ biến cho RSA là thực hiện trao đổi khóa bằng cách mã hóa khóa đối xứng để gửi tin nhắn dài hơn (ví …

16 cryptography history

1

Các nhà lập pháp của Paxos là ai?

Trong tài liệu hệ thống phân tán bán kết Nghị viện bán thời gian (giao thức Paxos), Leslie Lamport nêu tên các nhà lập pháp hư cấu có liên quan đến giao thức nghị viện Paxon. Theo bài viết này , ông lưu ý rằng: Tôi đã đưa cho các …

15 distributed-systems history

2

Tại sao Turing hoàn thành đúng?

Tôi đang sử dụng một máy tính kỹ thuật số để viết tin nhắn này. Một cỗ máy như vậy có một tính chất mà nếu bạn nghĩ về nó, thực sự khá đáng chú ý: Đó là một cỗ máy mà nếu được lập trình phù hợp, có thể …

15 computability turing-machines history

Câu hỏi được gắn thẻ «history»