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

Đây là một câu hỏi phi kỹ thuật, nhưng chắc chắn có liên quan đến cộng đồng TCS. Nếu được coi là không phù hợp, hãy đóng cửa. Các Zoo phức tạp trang web (http://qwiki.stanford.edu/index.php/Complexity_Zoo) đã chắc chắn được các dịch vụ tuyệt vời cho cộng đồng TCS trong những …

36 cc.complexity-theory  reference-request  soft-question 

Bối cảnh: Động lực cho câu hỏi này là hai lần. Đầu tiên, tôi muốn có được một số sự thật khó khăn để hiểu rõ hơn về các cuộc hội thảo đang diễn ra so với các cuộc tranh luận trên tạp chí . Thứ hai, nếu thông tin …

36 soft-question  research-practice  paper-review  journals 

Câu hỏi này nhắm vào những người chỉ định vấn đề: giáo viên, trợ lý sinh viên, trợ giảng, v.v. Điều này đã xảy ra với tôi một vài lần trong sự nghiệp 12 năm làm giáo sư của mình: Tôi vội vàng gán một số vấn đề từ văn …

36 soft-question  teaching 

Giả sử rằng các đồng tác giả từ hai hoặc nhiều tổ chức khác nhau đang viết một bài báo bằng mủ, và muốn làm tốt hơn là liên tục gửi email các bản nháp qua lại. Họ nhận ra rằng họ có thể mở miễn phí tài khoản dropbox, …

36 soft-question  research-practice  software  writing 

Vấn đề này được lấy cảm hứng từ câu hỏi MO này , mà tôi nghĩ là rất thú vị. Vấn đề mở lâu đời nhất trong TCS là gì? Rõ ràng câu hỏi này cần một số làm rõ. Đầu tiên, TCS là gì? Tôi nghĩ rằng sự tồn …

36 soft-question  open-problem  ho.history-overview 

Tôi hiện đang bắt đầu học đại học [khoa học máy tính] và ở đó chúng tôi có rất nhiều cơ hội để bắt đầu nghiên cứu. Trước khi tìm thấy trang web này, tôi không có ý định đi theo con đường này [Tôi muốn làm việc với AI, …

36 soft-question  career 

Về bản chất, câu hỏi là: Đơn vị ít xuất bản nhất cho ArXiv là gì? Quan tâm đặc biệt là các lĩnh vực sử dụng ArXiv rộng rãi như điện toán lượng tử. Nhưng ý kiến ​​về các lĩnh vực và dịch vụ in trước khác (như, ECCC & …

35 soft-question  advice-request  research-practice  paper-review 

Tôi là sinh viên năm nhất học ngành khoa học máy tính và tôi đã biết rằng tôi muốn vào học viện với trọng tâm là khoa học lý thuyết. Tôi đã đọc một số bài viết được tham khảo trong câu hỏi này và câu hỏi này đã thuyết …

35 soft-question  advice-request  career 

Khi chúng ta tuân theo các sách giáo khoa hoặc truyền thống tiêu chuẩn, hầu hết chúng ta đều dạy định nghĩa sau đây về ký hiệu big-Oh trong một vài bài giảng đầu tiên của một lớp thuật toán: Có lẽ chúng tôi thậm chí còn đưa ra toàn …

35 ds.algorithms  soft-question  teaching 

Một trong những câu hỏi được thảo luận nhiều nhất trên trang web là Điều gì có nghĩa là để bác bỏ Luận án Giáo hội . Điều này một phần là do Dershowitz và Gurevich đã xuất bản một bằng chứng về Luận án Giáo hội là Bản tin …

35 soft-question  lo.logic  church-turing-thesis 

Alan Turing , một trong những người tiên phong của khoa học máy tính (lý thuyết), đã có nhiều đóng góp khoa học cho lĩnh vực của chúng tôi, bao gồm xác định máy Turing, luận án Church-Turing, tính không chắc chắn và thử nghiệm Turing. Tuy nhiên, những khám …

34 soft-question  ho.history-overview 

Đoán đây không phải là một câu hỏi phổ biến, nhưng tự hỏi liệu có ai đã nhìn thấy tài liệu được làm rõ ràng để giải quyết đối tượng này một cách có ý nghĩa hay không.

34 soft-question  teaching 

Trong sự nghiệp học tập của mình, tôi đã đọc khá nhiều bài báo học thuật về các chủ đề khoa học máy tính khác nhau. Nhiều trong số đó liên quan đến một triển khai và một số đánh giá về việc thực hiện đó, nhưng tôi đã thấy …

34 soft-question  research-practice  paper-review 

Tôi có một cơ sở rất mạnh về đại số, cụ thể là đại số giao hoán, đại số tương đồng, lý thuyết trường, lý thuyết thể loại, và tôi hiện đang học hình học đại số. Tôi là một chuyên gia toán học có thiên hướng chuyển sang khoa …

33 soft-question  algebra  advice-request  ct.category-theory 

Tuyên bố miễn trừ trách nhiệm: Tôi chỉ có thể bảo đảm cho các lĩnh vực nghiên cứu của mình, cụ thể là phương pháp chính thức, ngữ nghĩa và lý thuyết ngôn ngữ lập trình. Tình hình có thể khác nhau trong các phần khác của ngành học. Có …

32 soft-question  conferences