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

7

Đây là một câu hỏi theo tinh thần của câu hỏi này , nơi tôi đã trả lời rằng điều quan trọng là phải theo dõi những gì bạn đã làm một cái gì đó, tại sao bạn đã làm nó và những gì không hiệu quả. Cá nhân tôi …

16 soft-question research-practice

5

Ví dụ về nghề giáo trong TCS

Larry Wasserman có một bài đăng gần đây, nơi ông nói về "cảnh sát giá trị p". Anh ấy đưa ra một điểm thú vị (tất cả nhấn mạnh của tôi) (tiền đề in nghiêng mà tôi đã thêm và phản hồi của anh ấy bên dưới nó): Khiếu nại …

15 ds.algorithms soft-question big-list

1

Duy trì thứ tự trong một danh sách trong trong thời gian

Vấn đề bảo trì đơn hàng (hoặc "duy trì trật tự trong danh sách") là để hỗ trợ các hoạt động: singleton: tạo một danh sách với một mục, trả về một con trỏ tới nó insertAfter: đưa ra một con trỏ tới một mục, chèn một mục mới vào …

15 ds.data-structures soft-question pl.programming-languages graph-theory tree cc.complexity-theory pcp co.combinatorics cg.comp-geom pr.probability vc-dimension cc.complexity-theory complexity-classes relativization soft-question advice-request career soft-question research-practice paper-review journals co.combinatorics cc.complexity-theory complexity-classes pr.probability average-case-complexity cc.complexity-theory lo.logic descriptive-complexity finite-model-theory ds.algorithms cc.complexity-theory approximation-hardness csp pcp cc.complexity-theory circuit-complexity

1

Thiết kế thuật toán và độ phức tạp - Làm thế nào để suy nghĩ theo 'cách đó'?

Câu hỏi của tôi là một câu hỏi chung: Làm thế nào để tôi bắt đầu suy nghĩ về Thiết kế và Độ phức tạp của Thuật toán? Tôi sẽ tham gia một khóa học sau đại học về thiết kế thuật toán. Tôi đã đăng ký nó sớm hơn …

15 cc.complexity-theory ds.algorithms soft-question advice-request research-practice

10

Tính hấp dẫn của các bài toán NP-đầy đủ như một nguyên tắc vật lý?

Tôi luôn bị thu hút bởi việc thiếu bằng chứng số từ toán học thực nghiệm cho hoặc chống lại câu hỏi P vs NP. Mặc dù Giả thuyết Riemann có một số bằng chứng hỗ trợ từ xác minh bằng số, tôi không biết về bằng chứng tương tự …

15 cc.complexity-theory soft-question big-picture experimental

9

Có cuốn sách nào về ý nghĩa triết học của Khoa học máy tính lý thuyết không?

Tôi tìm thấy một số cuốn sách về máy tính, nhưng tất cả chúng là về công nghệ. Tôi muốn một cái gì đó liên kết nhiều hơn với lý thuyết.

15 reference-request soft-question philosophy

2

(Làm thế nào) Chúng ta có thể khám phá / phân tích các vấn đề NP khi không có mô hình tính toán Turing không?

Từ quan điểm toán học / lý luận tính toán hoàn toàn trừu tượng, người ta thậm chí có thể khám phá hoặc suy luận về các vấn đề như 3-SAT, Subset Sum, Nhân viên bán hàng du lịch, v.v.? Chúng ta thậm chí có thể suy luận về chúng …

15 soft-question lambda-calculus turing-machines functional-programming np

2

Học ở đâu về Khoa học máy tính lý thuyết là gì?

Tôi là một sinh viên tốt nghiệp về toán học, và khoa học máy tính lý thuyết là một lĩnh vực mà tôi không bao giờ hiểu nó là gì vì tôi không thể tìm thấy một bài đọc tốt về chủ đề này. Tôi muốn biết tên miền này …

15 reference-request soft-question books

1

Tại sao công việc của Schönfinkel trong việc loại bỏ các biến bị ràng buộc của Wikipedia trong logic rất quan trọng?

AFAIK, Bằng chứng đầu tiên về việc sử dụng các hàm bậc cao hơn quay trở lại bài báo năm 1924 của Schönfinkel: "Trên khối xây dựng của logic toán học" - nơi ông cho phép một người chuyển các hàm làm đối số cho các hàm khác. Điều đó …

15 lo.logic soft-question ho.history-overview intuition function

2

Bằng chứng sử dụng trợ lý trong nghiên cứu lý thuyết phức tạp?

Xem xét các chủ đề được đề cập tại một hội nghị như STOC, có bất kỳ nhà nghiên cứu thuật toán hoặc độ phức tạp nào tích cực sử dụng COQ hoặc Isabelle không? Nếu vậy, làm thế nào họ sử dụng nó trong nghiên cứu của họ? Tôi …

14 cc.complexity-theory approximation-algorithms soft-question proof-assistants

4

Khoa học máy tính lý thuyết tài nguyên tự học cho lập trình viên

Tôi là một kỹ sư phần mềm khá thành thạo, nhưng tôi không biết nhiều về lý thuyết. Tôi muốn học thêm lý thuyết. Các chủ đề đặc biệt mà tôi quan tâm là: độ phức tạp tính toán, ngôn ngữ chính thức và lý thuyết loại. Nhưng tôi không …

14 soft-question teaching books

2

Tài nguyên cho các nhà toán học hy vọng học thêm khoa học máy tính

Bối cảnh : Tôi sắp kết thúc bằng thạc sĩ toán học và sẽ bắt đầu học tiến sĩ logic vào tháng 8. Càng nghiên cứu nhiều logic, tôi càng tiếp xúc với khoa học máy tính lý thuyết, ví dụ lý thuyết đệ quy, phép tính lambda, nhưng CS …

14 reference-request soft-question

6

Ý tưởng dự án điện toán lượng tử

Tôi là sinh viên khoa học máy tính đại học và tôi hiện đang lên kế hoạch cho dự án tốt nghiệp của mình. Tôi cần một số ý tưởng trong lĩnh vực điện toán lượng tử. Có ai giúp đỡ không?

14 quantum-computing soft-question

1

Tại sao cần Martin-Löf để tạo ra lý thuyết loại trực giác?

Tôi đã đọc về Lý thuyết loại trực giác (ITT) và nó thực sự có ý nghĩa. Nhưng điều tôi đang đấu tranh để hiểu là "tại sao" nó được tạo ra ngay từ đầu? Logic trực giác (IL) và đơn giản gõ -calculus (STLC) và lý thuyết loại nói …

13 lo.logic soft-question type-theory big-picture ho.history-overview

1

Nghề nghiệp cho các nhà khoa học máy tính lý thuyết

Nghề nghiệp tiêu biểu cho các nhà khoa học máy tính lý thuyết (những người có bằng tốt nghiệp về khoa học máy tính lý thuyết) là gì? Những loại ngành công nghiệp và các tổ chức tìm kiếm kiến thức khoa học máy tính lý thuyết? Những nghề nghiệp …

13 soft-question career

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