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

Độ phức tạp tiền tố Kolmogorov (tức là là kích thước của chương trình tự phân định tối thiểu xuất ra x ) có một số tính năng hay:K(x)K(x)K(x)xxx Nó tương ứng với một trực giác cho các chuỗi có patters hoặc cấu trúc có độ phức tạp thấp hơn …

28 it.information-theory  kolmogorov-complexity  formal-modeling 

Bạn có thể mô hình phát sóng đáng tin cậy trong tính toán pi? Nếu vậy: Làm thế nào? Nếu không: Có bất kỳ đại số quá trình tương tự, nơi bạn có thể? Những gì tôi đã thử: Nếu người gửi muốn gửi tin nhắn đến tất cả đến …

16 pl.programming-languages  formal-modeling  process-algebra  pi-calculus 

Tôi thấy các hệ thống chuyển đổi được gắn nhãn là một mô hình tốt cho ứng dụng của mình, cụ thể là có một bài viết về mô hình hóa các trường hợp sử dụng bằng LTS. Câu hỏi là, những gì có thể dễ dàng được chứng minh …

13 lo.logic  formal-modeling  model-checking  program-verification  automated-theorem-proving 

Tôi đang sở hữu một cuốn sách, lấy cảm hứng từ nguyên tắc toán học (PM) của Russell và chủ nghĩa thực chứng logic, cố gắng chính thức hóa một lĩnh vực cụ thể bằng cách xác định các tiên đề và suy luận các định lý từ chúng. Nói …

11 lo.logic  type-theory  formal-modeling  automated-theorem-proving  bioinformatics 

Tôi đang dịch một cuốn sách về LISP và tự nhiên nó chạm vào một số yếu tố của -calculus. Vì vậy, một khái niệm extensionality được đề cập có cùng một số mô hình của λ -calculus, cụ thể là: và (vâng, với vô cực ở đầu trang). Và …

11 lo.logic  lambda-calculus  formal-modeling  extensionality 

Tôi đang tìm kiếm các ví dụ về các vấn đề khó khăn (trong NP hoặc khó hơn) từ khoa học máy tính có thể được giảm xuống thành các mô hình của các quy trình vật lý. Ví dụ, max-2-sat có thể được giảm đến mức giảm thiểu năng …

10 cc.complexity-theory  reductions  physics  formal-modeling 

Đây là một câu hỏi tôi đã hỏi trong diễn đàn toán học SE, và tôi đã được giới thiệu ở đây. Vì vậy, đây là câu hỏi- Tôi là người mới trong cả toán học chính thức và khoa học máy tính lý thuyết, vì vậy hãy đồng ý …

9 pl.programming-languages  semantics  formal-modeling  set-theory  object-oriented 

Có ai biết về bất kỳ hình thức đại số (hoặc liên quan) nào nắm bắt thông tin vị trí hạt mịn? Tôi quen thuộc với môi trường xung quanh và máy in lớn, rõ ràng có mô hình vị trí, nhưng còn những nỗ lực mô hình hóa thông …

8 concurrency  process-algebra  formal-modeling