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

Tôi đã nhận thấy rằng tôi thấy việc viết ra các bằng chứng toán học dễ dàng hơn rất nhiều mà không mắc lỗi nào, hơn là viết ra một chương trình máy tính không có lỗi. Có vẻ như đây là một cái gì đó phổ biến hơn là …

190 correctness-proof  mathematical-foundations  philosophy 

Một lời xin lỗi có thể là do hỏi một câu hỏi khác về điều kiện tiên quyết, nhưng tôi đã nhầm lẫn về điểm bắt đầu. Tôi đã bắt gặp nhiều thuật ngữ khác nhau như "Logic phương thức", "Logic tạm thời", "Logic thứ tự đầu tiên", "Logic bậc …

36 logic  mathematical-foundations 

Tôi hiểu rằng "cấu trúc" dữ liệu hoàn toàn phụ thuộc vào Đại số Boolean, nhưng: Tại sao dữ liệu được coi là một thực thể toán học rời rạc chứ không phải là một thực thể liên tục? Liên quan đến điều này: Những hạn chế hoặc bất biến, …

35 data-structures  mathematical-foundations 

Đây là một câu hỏi ngây thơ và, do đó, có thể là sai, vì vậy xin lỗi trước! Quan điểm của tôi là Máy Turing có thể được coi là cơ sở tính toán cho các ngôn ngữ lập trình thủ tục / mệnh lệnh. Tương tự, phép tính …

23 programming-languages  mathematical-foundations  church-turing-thesis 

Tôi là sinh viên đại học ngành Khoa học Máy tính có niềm đam mê lớn để học Toán. Tôi có niềm tin vững chắc rằng Khoa học Máy tính hoặc Khoa học Máy tính Lý thuyết là một nhánh trực tiếp của Toán học và Logic và cũng có …

15 mathematical-foundations 

Tôi đã đọc Đại số tuyến tính và các ứng dụng của nó để giúp hiểu tài liệu khoa học máy tính (chủ yếu là học máy), nhưng tôi lo ngại rằng rất nhiều thông tin không hữu ích cho CS. Ví dụ, biết cách giải quyết hiệu quả các …

15 education  linear-algebra  didactics  mathematical-foundations 

Đưa ra một chuỗi các giá trị , Shannon Entropy trong cơ sở nhật ký là . Theo những gì tôi hiểu, trong cơ sở , Shannon Entropy được làm tròn là số bit tối thiểu trong nhị phân để biểu diễn một trong các giá trị.A A A A …

14 information-theory  mathematical-foundations  entropy  binary 

Đã đóng cửa . Câu hỏi này dựa trên ý kiến . Nó hiện không chấp nhận câu trả lời. Bạn muốn cải thiện câu hỏi này? Cập nhật câu hỏi để có thể trả lời bằng sự kiện và trích dẫn bằng cách chỉnh sửa bài đăng này . …

14 mathematical-foundations 

Câu hỏi này là về việc liệu mọi định lý toán học có thể được giảm xuống thành câu hỏi liệu một máy Turing có dừng lại hay không. Đặc biệt, tôi quan tâm đến những phỏng đoán hiện chưa được chứng minh. Ví dụ: Wikipedia nói rằng hiện tại …

11 formal-languages  computability  mathematical-foundations 

Tôi hiện đang đọc một số bài báo về việc nhảy chuỗi Markov và tôi không thấy sự khác biệt giữa chuỗi Markov và biểu đồ có trọng số theo hướng đơn giản. Ví dụ trong bài viết Tối ưu hóa không gian trạng thái trong chuỗi Markov, họ cung …

9 probability-theory  weighted-graphs  mathematical-foundations  markov-chains 

Câu hỏi này là bài tập về nhà (mặc dù không sử dụng vấn đề thực tế)! Giả sử bạn có một chức năng được mô tả là: f(n)∈O(2n2).f(n)∈O(2n2).f(n) \in O(2n^2) \, . Bạn có thể tiếp tục điều trị như sau: f(n)=2n2f(n)=2n2f(n) = 2n^2 và thực hiện toán học …

7 asymptotics  landau-notation  mathematical-foundations 

Trong cuốn sách Tính toán, Độ phức tạp và Ngôn ngữ ( ấn bản lần 2 ), Martin Davis viết trong chương 1 (Sơ bộ), phần 2 (Chức năng): Một chức năng từng phần trên một tập hợp chỉ đơn giản là một hàm mà miền là một tập hợp …

7 mathematical-foundations