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

Chỉnh sửa: Vì tôi chưa nhận được bất kỳ phản hồi / nhận xét nào trong một tuần, tôi muốn nói thêm rằng tôi rất vui khi nghe bất cứ điều gì về vấn đề này. Tôi không làm việc trong khu vực, vì vậy ngay cả khi đó là …

15 reference-request  machine-learning  lg.learning 

Bộ trao và B , một mối quan hệ difunctional ( ~ ) ⊆ A ×AAABBB giữa chúng được định nghĩa là một mối quan hệ thỏa mãn các tài sản sau đây:(∼)⊆A×B(∼)⊆A×B(\sim) \subseteq A \times B Nếu và một ' ~ b ' và một ~ b ' , …

15 reference-request  pl.programming-languages  denotational-semantics  logical-relations 

Một loại có biproducts khi các đối tượng cùng là cả các sản phẩm và coproducts. Có ai đã nghiên cứu lý thuyết bằng chứng của các loại với lưỡng sản? Có lẽ ví dụ nổi tiếng nhất là loại không gian vectơ, trong đó các cấu trúc sản phẩm …

15 reference-request  lo.logic  pl.programming-languages  type-theory  ct.category-theory 

Tôi sử dụng thuật ngữ tiêu đề trong một ý nghĩa rất lỏng lẻo. Có một số lượng đáng kể công việc về lý thuyết trò chơi tiến hóa, bao gồm cả nền tảng toán học của nó. Tôi đã được đề xuất "Trò chơi tiến hóa và Động lực …

15 reference-request  gt.game-theory  genetic-algorithms  evolutionary-game-theory 

Tôi thực sự có hai câu hỏi: Ai đầu tiên sử dụng quan hệ logic để liên quan đến ngữ nghĩa? Tôi truy tìm chúng trở lại " Về mối quan hệ giữa ngữ nghĩa trực tiếp và liên tục " của Reynold , nhưng tôi không thể tuyên bố …

15 reference-request  pl.programming-languages  denotational-semantics  logical-relations 

Các giấy tờ / sách tốt để hiểu rõ hơn về sức mạnh của Phân tích mô đun và các thuộc tính của nó là gì? Tôi đặc biệt quan tâm đến các khía cạnh thuật toán của Phân tích mô đun. Tôi đã nghe nói rằng có thể tìm …

15 ds.algorithms  reference-request  graph-theory  graph-algorithms 

Một số nền tảng: :ukasiewicz lôgic có giá trị được dự định là logic phương thức, và Łukasiewicz đã đưa ra một định nghĩa mở rộng của toán tử phương thức: (mà anh ta gán cho Tarski).◊A=def¬A→A◊A=def¬A→A\Diamond A =_{def} \neg A \to A Điều này đưa ra một logic phương …

15 reference-request  lo.logic  proof-theory  linear-logic  modal-logic 

Tôi đang tìm kiếm các bài báo và bài báo về logic logic cấu trúc dưới phương thức - không phải về ngữ nghĩa của các phương thức logic tuyến tính, mà về logic logic cấu trúc phụ được tăng cường với các toán tử phương thức tiêu chuẩn, ví …

15 reference-request  lo.logic  proof-theory 

Như mọi người đều biết, cuốn sách nổi tiếng của Garey và Johnson (và nhiều cuốn khác) cung cấp một tài liệu tham khảo tuyệt vời cho kỹ thuật giảm thiểu trong bối cảnh cổ điển. Có bất kỳ khảo sát hoặc sách về chủ đề kỹ thuật giảm trong …

15 cc.complexity-theory  reference-request  reductions  parameterized-complexity 

Định lý điểm cố định của Banach nói rằng nếu chúng ta có một không gian số liệu hoàn chỉnh không trống , thì bất kỳ hàm hợp đồng thống nhất nào nó có một điểm cố định duy nhất . Tuy nhiên, bằng chứng của định lý này đòi …

15 reference-request  lo.logic  pl.programming-languages  denotational-semantics  metric-spaces 

Khi đọc bài báo " Một lý thuyết áp dụng cho FPH ", bạn có thể bắt gặp đoạn văn sau: Xem xét các lý thuyết đặc trưng cho các lớp phức tạp tính toán, có ba cách tiếp cận khác nhau: trong một, các chức năng có thể được …

15 cc.complexity-theory  reference-request  complexity-classes  lo.logic  proof-complexity 

Tôi quan tâm đến việc tạo ra các số giả ngẫu nhiên cho mật mã. Bên cạnh Chương 5 của Menezes / Oorschot / Vanstone ; Chương 8 của Stinson ; và Chương 3 của Goldreich , tôi có thể tìm thêm ở đâu nữa? Tôi quan tâm đến các …

15 cc.complexity-theory  reference-request  pseudorandomness 

Có phải bây giờ các thuật toán / bằng chứng đơn giản hơn để tam giác một đa giác phẳng trong thời gian tuyến tính? Một nguồn lực tốt về tình trạng của nghệ thuật của vấn đề nổi tiếng này là gì?

15 reference-request  cg.comp-geom 

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 

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