Khoa học máy tính lý thuyết pl.programming-languages

7

Ứng dụng vững chắc của lý thuyết thể loại trong TCS?

Tôi đã học được một vài lý thuyết thể loại. Nó chắc chắn là một cách khác nhau để nhìn vào mọi thứ. (Tóm tắt rất sơ lược cho những người chưa từng thấy nó: lý thuyết thể loại đưa ra các cách thể hiện tất cả các loại hành …

103 pl.programming-languages lo.logic ct.category-theory

7

Những định lý thú vị nào trong TCS dựa vào Tiên đề lựa chọn? (Hoặc cách khác, Tiên đề của sự quyết đoán?)

Các nhà toán học đôi khi lo lắng về Tiên đề lựa chọn (AC) và Tiên đề xác định (AD). Axiom of Choice : Với bất kỳ bộ sưu tập của bộ rỗng, có một hàm f rằng, cho một tập S trong C , trả về một thành viên …

67 cc.complexity-theory lo.logic pl.programming-languages big-picture set-theory

12

Cơ sở lý thuyết của lập trình mệnh lệnh là gì?

Lập trình hàm có cơ sở lý thuyết về tính toán lambda và logic kết hợp . Là một người liên quan đến tính toán thống kê, tôi thấy những khái niệm này rất hữu ích cho việc mô hình hóa. Có một cơ sở toán học tương đương của …

48 imperative-programming pl.programming-languages

7

Những gì cấu thành ngữ nghĩa học biểu thị?

Trên một chủ đề khác , Andrej Bauer đã định nghĩa ngữ nghĩa học biểu thị là: ý nghĩa của một chương trình là một chức năng của ý nghĩa của các bộ phận của nó. Điều làm tôi băn khoăn về định nghĩa này là nó dường như không …

45 pl.programming-languages big-picture semantics denotational-semantics

7

Sử dụng phép tính lambda để rút ra độ phức tạp thời gian?

Có bất kỳ lợi ích nào khi tính toán độ phức tạp thời gian của một thuật toán bằng phép tính lambda không? Hoặc có một hệ thống khác được thiết kế cho mục đích này? Bất kỳ tài liệu tham khảo sẽ được đánh giá cao.

43 lambda-calculus pl.programming-languages time-complexity

7

Chúng ta biết gì về các chương trình có thể chứng minh chính xác?

Sự phức tạp ngày càng tăng của các chương trình máy tính và các máy tính có vị trí ngày càng quan trọng trong xã hội khiến tôi tự hỏi tại sao chúng ta vẫn không sử dụng chung các ngôn ngữ lập trình mà bạn phải đưa ra bằng …

37 reference-request complexity-classes computability pl.programming-languages

6

Biểu thức thông thường không

Hỏi ngay cả một người có nền tảng về khoa học máy tính về biểu thức chính quy là gì và câu trả lời có thể vượt ra ngoài giới hạn của việc nằm trong tầm tay của một máy tự động trạng thái hữu hạn. Ví dụ: biểu thức …

36 automata-theory pl.programming-languages fl.formal-languages regular-expressions terminology

8

Các thuật toán bậc cao

Hầu hết các thuật toán nổi tiếng là thứ nhất, theo nghĩa là đầu vào và đầu ra của chúng là dữ liệu "đơn giản". Một số là thứ tự thứ hai theo cách tầm thường, ví dụ như sắp xếp, hàm băm hoặc hàm và bản đồ: chúng được …

35 ds.algorithms functional-programming ds.data-structures pl.programming-languages

3

Loại lớp và giao diện đối tượng

Tôi không nghĩ rằng tôi hiểu các loại lớp. Tôi đã đọc ở đâu đó nghĩ rằng các lớp loại là "giao diện" (từ OO) rằng một kiểu thực hiện là sai và gây hiểu nhầm. Vấn đề là, tôi đang gặp vấn đề khi xem chúng là một cái …

33 pl.programming-languages type-theory type-systems

4

Nghiên cứu và thách thức mở trong Lý thuyết ngôn ngữ lập trình

Theo tinh thần của một số cuộc thảo luận chung như thế này , tôi mở chủ đề này với ý định thu thập ý kiến về những thách thức mở và chủ đề nóng trong nghiên cứu về ngôn ngữ lập trình . Tôi hy vọng rằng cuộc thảo …

32 pl.programming-languages open-problem research-practice

5

Ngôn ngữ lập trình để tính toán hiệu quả

Không thể viết một ngôn ngữ lập trình cho phép tất cả các máy dừng trên tất cả các đầu vào và không có ngôn ngữ nào khác. Tuy nhiên, dường như rất dễ để định nghĩa một ngôn ngữ lập trình như vậy cho bất kỳ lớp phức tạp …

32 cc.complexity-theory computability pl.programming-languages

4

Mối quan hệ giữa hợp đồng và gõ phụ thuộc

Tôi đã đọc một số bài viết về các loại phụ thuộc và hợp đồng lập trình. Từ phần lớn những gì tôi đã đọc, có vẻ như các hợp đồng được kiểm tra động các ràng buộc và các loại phụ thuộc được kiểm tra tĩnh. Đã có một …

31 pl.programming-languages type-theory program-verification dependent-type

7

Sách về ngữ nghĩa ngôn ngữ lập trình

Tôi đã đọc " Ngữ nghĩa với các ứng dụng " của Nielson và Nielson , và tôi thực sự thích chủ đề này. Tôi muốn có thêm một cuốn sách về ngữ nghĩa ngôn ngữ lập trình - nhưng tôi thực sự chỉ có thể có một cuốn sách. …

31 reference-request pl.programming-languages semantics denotational-semantics books

1

Ngôn ngữ lập trình với các chức năng chính

Có bất kỳ ngôn ngữ lập trình (chức năng?) Trong đó tất cả các chức năng có dạng chính tắc không? Nghĩa là, bất kỳ hai hàm nào trả về cùng một giá trị cho tất cả các bộ đầu vào được biểu diễn theo cùng một cách, ví dụ: …

29 computability pl.programming-languages functional-programming function

3

Curry-Howard và các chương trình từ bằng chứng phi xây dựng

Đây là một câu hỏi tiếp theo để Sự khác biệt giữa bằng chứng và chương trình (hoặc giữa các đề xuất và loại) là gì? Chương trình nào sẽ tương ứng với một bằng chứng phi xây dựng (cổ điển) của mẫu ? (Giả sử rằng là một số …

29 lo.logic pl.programming-languages proof-theory

Câu hỏi được gắn thẻ «pl.programming-languages»