Khoa học máy tính terminology

2

Sự khác biệt giữa các luồng cấp độ người dùng và luồng cấp độ nhân là gì?

Sau khi đọc một số nguồn, tôi vẫn còn bối rối về các luồng cấp độ người dùng và hạt nhân. Đặc biệt: Chủ đề có thể tồn tại ở cả cấp độ người dùng và cấp độ nhân Sự khác biệt giữa cấp độ người dùng và cấp độ …

33 operating-systems terminology concurrency os-kernel

2

Tại sao một ngôn ngữ thông thường được gọi là 'thông thường'?

Tôi vừa hoàn thành chương đầu tiên của Giới thiệu về Lý thuyết tính toán của Michael Sipser , giải thích những điều cơ bản của automata hữu hạn. Ông định nghĩa một ngôn ngữ thông thường là bất cứ thứ gì có thể được mô tả bởi một automata …

31 formal-languages regular-languages terminology finite-automata history

2

Những gì ngữ cảnh bối cảnh trong các ngữ pháp trong bối cảnh ngữ pháp miễn phí ngữ pháp đề cập đến những gì?

Có rất nhiều định nghĩa trực tuyến về ngữ pháp không ngữ cảnh là gì, nhưng không có gì tôi thấy là thỏa mãn rắc rối chính của mình: Có gì bối cảnh là nó giải phóng của? Để điều tra, tôi đã tìm hiểu "ngữ pháp nhạy cảm ngữ …

30 terminology context-free formal-grammars

9

Giải thích sự khác biệt giữa khoa học máy tính và kiến thức máy tính [đóng]

Một ẩn dụ hay ví dụ hay để giải thích cho một người Anh chính là sự khác biệt giữa khoa học máy tính cổ điển và "tốt với việc sử dụng MS-Windows" khoa học máy tính lập trình máy tính sử dụng máy tính 3 điều sâu sắc khác …

30 terminology education

7

Sự khác biệt và mối quan hệ giữa các thuật toán ngẫu nhiên và không điều kiện?

Sự khác biệt và mối quan hệ là gì giữa các thuật toán ngẫu nhiên và thuật toán không xác định? Từ Wikipedia Một thuật toán ngẫu nhiên là một thuật toán sử dụng một mức độ ngẫu nhiên như là một phần của logic của nó. Thuật toán thường …

30 algorithms terminology computation-models nondeterminism randomness

3

Điều gì thực sự có nghĩa là không có ngữ cảnh trong thuật ngữ ngữ pháp không ngữ cảnh?

Tôi đã nghiên cứu các trình biên dịch trong một thời gian và tôi đã tìm kiếm những gì có nghĩa là "ngữ cảnh" trong ngữ pháp và ý nghĩa của ngữ pháp là "không ngữ cảnh", nhưng không có kết quả. Vì vậy, bất cứ ai có thể giúp …

29 terminology context-free formal-grammars

2

Tại sao loại khoảng trống của C không giống với loại trống / đáy?

Wikipedia cũng như các nguồn khác mà tôi đã tìm thấy voidloại C là một loại đơn vị trái ngược với loại trống. Tôi thấy điều này khó hiểu vì dường như với tôi voidphù hợp hơn với định nghĩa về loại trống / đáy. Không có giá trị cư …

28 type-theory c logic modal-logic coq equality coinduction artificial-intelligence computer-architecture compilers asymptotics formal-languages asymptotics landau-notation asymptotics turing-machines optimization decision-problem rice-theorem algorithms arithmetic floating-point automata finite-automata data-structures search-trees balanced-search-trees complexity-theory asymptotics amortized-analysis complexity-theory graphs np-complete reductions np-hard algorithms string-metrics computability artificial-intelligence halting-problem turing-machines computation-models graph-theory terminology complexity-theory decision-problem polynomial-time algorithms algorithm-analysis optimization runtime-analysis loops turing-machines computation-models recurrence-relation master-theorem complexity-theory asymptotics parallel-computing landau-notation terminology optimization decision-problem complexity-theory polynomial-time counting coding-theory permutations encoding-scheme error-correcting-codes machine-learning natural-language-processing algorithms graphs social-networks network-analysis relational-algebra constraint-satisfaction polymorphisms algorithms graphs trees

2

"Đồng thời thực sự" nghĩa là gì?

Tôi thường nghe các cụm từ như 'ngữ nghĩa đồng thời thực sự' và 'tương đương đồng thời thực sự' mà không có bất kỳ tài liệu tham khảo nào. Những thuật ngữ đó có nghĩa gì và tại sao chúng quan trọng? Một số ví dụ về tương đương …

28 terminology reference-request concurrency

5

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

Tôi đang trình bày về máy Turing và tôi muốn cung cấp một số thông tin cơ bản về FSM trước khi giới thiệu Máy Turing. Vấn đề là, tôi thực sự không biết RẤT khác nhau là gì. Đây là những gì tôi biết nó khác nhau: FSM có …

27 terminology turing-machines finite-automata machine-models

7

Tại sao A ngụ ý B đúng nếu A sai và B sai?

Đối với tôi, dường như 'hàm ý' trong ngôn ngữ tiếng Anh không có nghĩa giống như toán tử logic 'ngụ ý', theo cách tương tự như từ 'OR' trong hầu hết các trường hợp có nghĩa là 'Độc quyền HOẶC' trong cách sử dụng ngôn ngữ hàng ngày của …

24 terminology logic first-order-logic propositional-logic

5

O (mn) có được coi là tăng trưởng tuyến tính hay không?

Nếu tôi có một số hàm có độ phức tạp thời gian là O ( mn ), trong đó m và n là kích thước của hai đầu vào của nó, chúng ta sẽ gọi độ phức tạp thời gian của nó là "tuyến tính" (vì nó tuyến tính ở …

24 terminology asymptotics landau-notation

3

Chức năng dàn dựng (khái niệm) là gì?

Trong một bài viết CACM gần đây [1], các tác giả trình bày một triển khai cho các chức năng theo giai đoạn . Họ sử dụng thuật ngữ này như thể nó đã được biết đến và không có tài liệu tham khảo nào trông giống như một lời …

24 terminology programming-languages meta-programming

2

Vấn đề tối ưu hóa NP-đầy đủ của NP

Câu hỏi này đã được di chuyển từ Stack Overflow vì nó có thể được trả lời trên Computer Science Stack Exchange. Di cư 7 năm trước . Tôi hơi bối rối bởi một số thuật ngữ tôi đã gặp về sự phức tạp của các vấn đề tối ưu …

24 complexity-theory np-complete terminology

5

Sự khác biệt giữa phát hiện đối tượng, phân đoạn ngữ nghĩa và nội địa hóa là gì?

Tôi đã đọc những từ đó trong khá nhiều ấn phẩm và tôi muốn có một số định nghĩa hay cho những thuật ngữ đó cho thấy rõ sự khác biệt giữa phát hiện đối tượng và phân đoạn ngữ nghĩa so với nội địa hóa là gì. Sẽ thật …

23 terminology computer-vision

4

Tại sao các hàm tính toán còn được gọi là hàm đệ quy?

Trong lý thuyết tính toán, các hàm tính toán còn được gọi là các hàm đệ quy. Ít nhất là từ cái nhìn đầu tiên, họ không có gì chung với cái mà bạn gọi là "đệ quy" trong lập trình hàng ngày (nghĩa là các hàm gọi chúng là …

23 computability terminology history

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