Khoa học máy tính lý thuyết soft-question

5

Lý do lịch sử cho việc áp dụng Turing Machine làm mô hình tính toán chính.

Theo hiểu biết của tôi, mô hình của Turing đã trở thành "tiêu chuẩn" khi mô tả tính toán. Tôi muốn biết lý do tại sao lại như vậy - đó là lý do tại sao mô hình TM trở nên được sử dụng rộng rãi hơn so với các …

44 reference-request soft-question computability turing-machines ho.history-overview

11

Nếu bạn có thể đổi tên chương trình động

Nếu bạn có thể đổi tên chương trình động, bạn sẽ gọi nó là gì?

43 ds.algorithms soft-question terminology ho.history-overview

16

Kết quả vật lý trong TCS?

Dường như rõ ràng rằng một số trường con của khoa học máy tính lý thuyết đã bị ảnh hưởng đáng kể bởi kết quả từ vật lý lý thuyết. Hai ví dụ về điều này là Tính toán lượng tử Kết quả cơ học thống kê được sử dụng …

42 soft-question quantum-computing statistical-physics physics

10

Máy tính thật chỉ có số lượng trạng thái hữu hạn, vậy sự liên quan của máy Turing với máy tính thật là gì?

Máy tính thực có bộ nhớ hạn chế và chỉ có một số trạng thái hữu hạn. Vì vậy, về cơ bản chúng là automata hữu hạn. Tại sao các nhà khoa học máy tính lý thuyết sử dụng máy Turing (và các mô hình tương đương khác) để nghiên …

42 soft-question fl.formal-languages automata-theory big-picture turing-machines

8

Bạn làm gì khi bạn không thể tiến bộ về vấn đề bạn đang làm việc?

Tôi là một sinh viên tốt nghiệp năm thứ hai về lý thuyết. Tôi đã làm việc về một vấn đề trong năm qua (về lý thuyết / thuật toán đồ thị). Cho đến ngày hôm qua tôi nghĩ rằng tôi đang làm tốt (tôi đã mở rộng một định …

41 soft-question research-practice

6

Mô hình tính toán nào là người giỏi nhất?

Năm 1937 Turing đã mô tả một máy Turing. Kể từ đó, nhiều mô hình tính toán đã được giải mã trong nỗ lực tìm kiếm một mô hình giống như một máy tính thực sự nhưng vẫn đủ đơn giản để thiết kế và phân tích các thuật toán. …

41 ds.algorithms reference-request soft-question machine-models

8

Sự nghiêm khắc dẫn đến cái nhìn sâu sắc

Trên MathOverflow, Timothy Gowers đã hỏi một câu hỏi có tiêu đề " Chứng minh rằng sự nghiêm khắc là quan trọng ". Hầu hết các cuộc thảo luận về các trường hợp cho thấy tầm quan trọng của bằng chứng, điều mà mọi người trên CSTheory có lẽ không …

41 big-list soft-question proofs

1

Tầm quan trọng của giấy tờ tác giả?

Tôi là một sinh viên tiến sĩ năm thứ tư về khoa học máy tính lý thuyết. Tôi muốn ở lại học viện, vì vậy tôi đang nghĩ về cách tốt nhất để thăng tiến trong sự nghiệp của mình. Rõ ràng cách tốt nhất để làm điều đó là …

40 soft-question career

3

Làm thế nào để tìm ra vấn đề nghiên cứu thú vị

Mặc dù có nhiều năm học, tôi vẫn lúng túng khi chọn đề tài nghiên cứu. Tôi đã xem qua các bài báo từ các lĩnh vực khác nhau và nói chuyện với các giáo sư, và tôi bắt đầu nghĩ rằng đây là cách tiếp cận sai. Tôi đã …

40 soft-question research-practice advice-request career

3

Chọn giấy để đọc

TUYÊN BỐ TỪ CHỐI: Đây là một câu hỏi kết thúc mở và những người theo chủ nghĩa stackexchange có lẽ sẽ cảm thấy một sự thôi thúc phi thường để bỏ phiếu xuống lãng quên. Tuy nhiên, tôi không thể nghĩ ra bất kỳ diễn đàn nào khác phù …

40 soft-question advice-request

4

Tác giả duy nhất chống lại ý kiến của cố vấn của tôi?

Tôi là một sinh viên tiến sĩ năm thứ ba trong một lĩnh vực CS lý thuyết muốn tư vấn cho một tình huống khó khăn với cố vấn của tôi. Cố vấn của tôi không tham gia vào các dự án nghiên cứu của tôi. Đặc biệt, tôi đã …

39 soft-question advice-request

13

Nói chuyện truyền cảm hứng cho học sinh cuối năm

Tôi thường được bộ phận của tôi yêu cầu nói chuyện với các học sinh năm cuối của trường trung học về các yếu tố toán học hơn của khoa học máy tính. Tôi làm hết sức mình để chọn các chủ đề từ TCS có thể truyền cảm hứng …

38 soft-question teaching

14

Lý thuyết Automata thực tế như thế nào?

Luôn có một cách để ứng dụng trong các chủ đề liên quan đến khoa học máy tính lý thuyết. Nhưng sách giáo khoa và các khóa học đại học thường không giải thích lý do rằng lý thuyết automata là một chủ đề quan trọng và liệu nó có …

37 soft-question fl.formal-languages automata-theory teaching

4

Bạn sẽ khuyên ai đó muốn làm nghiên cứu như một sở thích?

Tôi thích làm TCS trong thời gian rảnh rỗi. Gần đây tôi đã cố gắng thực hiện một số nghiên cứu như một sở thích. Tôi đang tìm kiếm một số đầu vào bổ sung từ những người làm việc toàn thời gian này: - Bạn có nghĩ rằng có …

37 soft-question advice-request research-practice

5

Khi nào bạn nên nói những gì bạn biết?

Bạn nên làm gì khi thấy một câu hỏi được nêu ra ở nơi công cộng, nói ở đây về trao đổi ngăn xếp, rằng bạn biết câu trả lời, bởi vì bạn đang xem xét như một phần của dự án nghiên cứu hiện tại? Ví dụ: tôi thấy …

37 soft-question research-practice authorship

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