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

1

Phân biệt thủ tục quyết định so với người giải quyết SMT và người giải quyết định lý và người giải quyết ràng buộc

Những thuật ngữ đó làm tôi bối rối. Như tôi hiểu Bộ giải SAT: quyết định sự thỏa mãn của logic mệnh đề (sử dụng DPLL hoặc Tìm kiếm cục bộ). Thủ tục quyết định là một thủ tục để quyết định sự thỏa mãn của một lý thuyết bậc …

23 algorithms  terminology  reference-request  decision-problem 

---

2

Tương đương beta là gì?

Câu hỏi này đã được di chuyển từ Trao đổi ngăn xếp khoa học máy tính lý thuyết bởi vì nó có thể được trả lời trên trao đổi ngăn xếp khoa học máy tính. Đã di chuyển 7 năm trước . Trong tập lệnh tôi hiện đang đọc trên …

21 logic  terminology  lambda-calculus  type-theory 

---

7

Ý nghĩa của ký hiệu đánh bóng ngược là gì?

Tôi dạy máy tính cho những người 18 tuổi. Sau khi có ký hiệu đánh bóng ngược giải thích cho họ, người ta hỏi tại sao nó đủ quan trọng để tham gia kỳ thi công khai. Tôi đã giải thích ý nghĩa lịch sử của máy tính thập niên …

21 terminology  education 

---

5

Chính xác thì tính toán là gì?

Tôi biết tính toán là gì trong một số ý nghĩa mơ hồ (đó là điều máy tính làm), nhưng tôi muốn một định nghĩa chặt chẽ hơn. Dictionary.comCác định nghĩa về tính toán, tính toán, tính toán và tính toán là thông tư, vì vậy nó không có ích. …

20 terminology  computability 

---

1

Ai đã đặt ra thuật ngữ học máy trên mạng?

Tôi đang cố gắng tìm ra ai đã đặt ra thuật ngữ "học máy". Một câu hỏi phụ trợ là từ đâu Arthur Samuel được trích dẫn khi xác định lĩnh vực "học máy" vào năm 1959 là: lĩnh vực nghiên cứu mang lại cho máy tính khả năng học …

19 terminology  reference-request  machine-learning  history 

---

6

Làm thế nào tôi có thể nói rằng "một máy tính chậm hơn máy tính khác"?

Tôi đang viết một bài nghiên cứu và về cơ bản tôi phải nói rằng một bộ vi điều khiển chậm hơn một bộ vi xử lý khác. Tuy nhiên, tôi lo lắng rằng chỉ cần nói rằng 'chậm hơn' sẽ không phù hợp trong một bài nghiên cứu. Tôi …

19 terminology  computer-architecture 

---

6

Lập trình động khác với lực lượng Brute như thế nào

Tôi đang đọc về Lập trình động khi tôi thấy đoạn trích dẫn sau Một thuật toán lập trình động sẽ kiểm tra tất cả các cách có thể để giải quyết vấn đề và sẽ chọn giải pháp tốt nhất. Do đó, chúng ta có thể nghĩ đại khái …

19 algorithms  terminology  optimization  dynamic-programming 

---

5

Điểm cố định, nó có nghĩa là gì trong thế giới của khoa học máy tính

Tôi tiếp tục tìm thấy các tham chiếu đến điểm cố định trong các câu hỏi và câu trả lời tại stackexchange và tôi tìm kiếm ý nghĩa trên web rõ ràng là tìm thấy tài liệu tham khảo tại các trang web như Wikipedia. Tuy nhiên không có tài …

19 terminology 

---

3

Có một lý thuyết về thứ bậc ngoại lệ?

Tôi quen thuộc với hàng tá ngôn ngữ lập trình có ngoại lệ theo một cách nào đó, nhưng tôi đã chứng kiến ​​hai xu hướng "bệnh hoạn". Dường như không có một mô hình hoặc hệ thống phân cấp ngoại lệ chung. Về cơ bản, mọi ngôn ngữ đều …

18 terminology  programming-languages  api-design 

---

3

Làm thế nào để đọc quy tắc đánh máy?

Tôi bắt đầu đọc ngày càng nhiều tài liệu nghiên cứu ngôn ngữ. Tôi thấy nó rất thú vị và là một cách tốt để tìm hiểu thêm về lập trình nói chung. Tuy nhiên, thường có một phần mà tôi luôn phải vật lộn với (ví dụ phần ba …

18 logic  reference-request  terminology  type-theory 

---

3

Mục đích của việc sử dụng NIL để đại diện cho các nút null là gì?

Trong khóa học Thuật toán và Cấu trúc dữ liệu của tôi, các giáo sư, trang trình bày và cuốn sách ( Giới thiệu về thuật toán, ấn bản thứ 3 ) đã sử dụng từ này NILđể biểu thị ví dụ một đứa trẻ của một nút (trong cây) …

17 algorithms  terminology  data-structures  notation 

---

3

Những gì đảm bảo hệ thống điều hành thời gian thực thực sự mềm

Tôi nghĩ rằng tôi biết hệ điều hành thời gian thực "cứng" là gì. Nó là một hệ điều hành với một bộ lập lịch cung cấp hợp đồng với lập trình viên ứng dụng. Một ứng dụng cung cấp thời hạn với mỗi yêu cầu phân bổ tài nguyên. …

17 terminology  operating-systems  process-scheduling  real-time 

---

3

Sự khác biệt giữa tầm nhìn máy tính và xử lý hình ảnh là gì?

Sự khác biệt giữa tầm nhìn máy tính và xử lý hình ảnh là gì? Ví dụ, trong nhận dạng đối tượng, vai trò của thị giác máy tính và xử lý hình ảnh là gì?

17 terminology  computer-vision  image-processing  education 

---

3

Sự khác biệt giữa automata hữu hạn và máy trạng thái hữu hạn là gì?

Tôi đã sử dụng FSM trong các thiết kế Mạch tuần tự kỹ thuật số. Nhưng tôi không quen thuộc với Finite Automata. Ai đó có thể giúp tôi hiểu sự khác biệt 'cơ bản' giữa hai người không?

16 terminology  automata  finite-automata 

---

2

Hàm Scott liên tục: một định nghĩa thay thế

Tôi thực sự vật lộn với tài sản này: Đặt là không gian kết hợp và f : C l ( X ) → C l ( Y ) là hàm đơn điệu. f là liên tục khi và chỉ khi f ( ⋃ x ∈ D x ) = …

16 terminology  programming-languages  semantics 

---