Khoa học máy tính

2

Chương trình chính xác, đặc điểm kỹ thuật

Từ Wikipedia: Trong khoa học máy tính lý thuyết, tính chính xác của thuật toán được khẳng định khi người ta nói rằng thuật toán này đúng với một đặc điểm kỹ thuật. Nhưng vấn đề là để có được đặc tả "phù hợp" không phải là một nhiệm vụ …

17 formal-methods software-verification program-correctness

3

Có bất kỳ ngôn ngữ quyết định Turing không thể đếm được?

Có rất nhiều (và ý tôi là nhiều) ngôn ngữ có thể đếm được là Turing-decidable. Bất kỳ ngôn ngữ không thể đếm được có thể là Turing có thể quyết định?

17 formal-languages turing-machines regular-languages church-turing-thesis

2

Tại sao bao thanh toán số nguyên lớn được coi là khó khăn?

Tôi đã đọc ở đâu đó rằng thuật toán hiệu quả nhất được tìm thấy có thể tính toán các yếu tố trong thời gian , nhưng mã tôi đã viết là hoặc có thể là tùy thuộc vào mức độ phân chia và mô đun nhanh như thế nào. …

17 complexity-theory time-complexity factoring primes

4

Làm thế nào để Hệ điều hành có thể chạy trên cùng một con chip mà nó được cho là đang quản lý?

Từ những bài đọc của tôi về Hệ điều hành (đọc tài liệu cơ bản trên Wikipedia, các trang công nghệ, v.v.) tôi đã biết rằng Hệ điều hành là một chương trình cho phép các chương trình và ứng dụng tương tác với phần cứng một cách hiệu quả …

17 operating-systems

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

4

Tìm một cặp vectơ bit không chồng chéo

Tôi cung cấp cho bạn một danh sách bitvector chiều rộng . Mục tiêu của bạn là trả về hai bitvector từ danh sách không có điểm chung 1 hoặc nếu không sẽ báo cáo rằng không có cặp nào như vậy tồn tại.nnnkkk Ví dụ: nếu tôi đưa cho …

17 algorithms search-algorithms

4

Có ai thực sự đã tạo ra một hệ thống ghi các chương trình máy tính từ đặc tả kỹ thuật không?

Có ai từng thực sự viết một hệ thống (phần mềm hoặc giải thích chi tiết trên giấy với các ví dụ đơn giản) tạo ra các chương trình máy tính chưa? Tôi đầu vào và nó tạo ra một chương trình liệt kê các số nguyên tố nhỏ hơn …

17 logic type-theory coq proof-assistants

4

Tại sao số đồng thuận cho thử nghiệm và thiết lập, 2?

Theo Wikipedia , Hoạt động kiểm tra và thiết lập có thể giải quyết vấn đề đồng thuận chờ đợi không quá hai quy trình đồng thời. Tại sao nó không thể giải quyết vấn đề trong hơn hai quy trình?

17 concurrency consensus

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

Có một TM tạm dừng trên tất cả các đầu vào nhưng tài sản đó là không thể chứng minh?

Có tồn tại một máy Turing tạm dừng trên tất cả các đầu vào nhưng thuộc tính đó không thể chứng minh được vì một số lý do? Tôi tự hỏi nếu câu hỏi này đã được nghiên cứu. Lưu ý, "không thể chứng minh" có thể có nghĩa là …

17 computability reference-request turing-machines halting-problem

5

Làm thế nào để chứng minh một vấn đề KHÔNG phải là NP-Complete?

Có kỹ thuật chung nào để chứng minh một vấn đề KHÔNG phải là NP-Complete không? Tôi nhận được câu hỏi này trong bài kiểm tra yêu cầu tôi chỉ ra liệu một số vấn đề (xem bên dưới) là NP-Complete. Tôi không thể nghĩ ra bất kỳ giải pháp …

17 complexity-theory np-complete proof-techniques

3

Là cảm ứng đường dẫn mang tính xây dựng?

Tôi đang đọc qua cuốn sách HoTT và tôi có một khoảng thời gian khó khăn với cảm ứng đường dẫn. Khi tôi nhìn vào loại trong phần 1.12.1 : tôi không có vấn đề gì để hiểu điều đó có nghĩa là gì (tôi vừa viết loại từ bộ …

17 induction dependent-types homotopy-type-theory

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

2

Sự khác biệt giữa cấu trúc dữ liệu trừu tượng và cụ thể là gì?

Tôi nghĩ mảng kết hợp (ví dụ bản đồ hoặc từ điển) và bảng băm là cùng một khái niệm, cho đến khi tôi thấy trong Wikipedia rằng Đối với các từ điển có số lượng ràng buộc rất nhỏ, có thể có ý nghĩa khi triển khai từ điển …

17 data-structures abstract-data-types

8

OOP giải quyết vấn đề gì trong lập trình thủ tục trong thực tế?

Tôi đã nghiên cứu cuốn sách "C ++ Demystified" . Bây giờ tôi đã bắt đầu đọc "Lập trình hướng đối tượng trong phiên bản đầu tiên của Turbo C ++ (phiên bản 1)" của Robert Lafore. Tôi không có bất kỳ kiến thức nào về lập trình nằm ngoài …

17 programming-languages object-oriented programming-paradigms