Khoa học máy tính terminology

7

Tôi đang tham gia một khóa học về điện toán và sự phức tạp , và tôi không thể hiểu những thuật ngữ này có nghĩa gì. Tất cả những gì tôi biết là NP là tập con của NP-perfect, là tập con của NP-hard, nhưng tôi không biết ý …

248 complexity-theory terminology complexity-classes p-vs-np reference-question

3

Làm thế nào để biết ký hiệu phân tích độ phức tạp thời gian sẽ sử dụng?

Trong hầu hết các lớp giải thuật giới thiệu, ký hiệu như (Big O) và ΘOOOΘΘ\Theta được giới thiệu, và một sinh viên thường sẽ học cách sử dụng một trong những để tìm sự phức tạp thời gian. Tuy nhiên, có ký hiệu khác, chẳng hạn như , Ω …

90 algorithms terminology asymptotics landau-notation reference-question

12

Tại sao đơn vị kích thước hình ảnh không phải là Pixel²?

Nếu bạn tính diện tích của một hình chữ nhật, bạn chỉ cần nhân chiều cao và chiều rộng và lấy lại đơn vị bình phương. Ví dụ: 5cm * 10cm = 50 cm² Ngược lại, nếu bạn tính kích thước của hình ảnh, bạn cũng nhân chiều cao và …

79 terminology

2

Những gì Lamb Lambda trong trong Lamb Lambda tính toán là viết tắt của từ gì?

Gần đây tôi đã đọc về phép tính Lambda nhưng kỳ lạ là tôi không thể tìm thấy lời giải thích cho lý do tại sao nó được gọi là "Lambda" hoặc từ đó biểu thức đến từ đâu. Bất cứ ai có thể giải thích nguồn gốc của thuật …

74 terminology computation-models lambda-calculus history

2

Coindtion là gì?

Tôi đã nghe nói về cảm ứng (cấu trúc). Nó cho phép bạn xây dựng các cấu trúc hữu hạn từ các cấu trúc nhỏ hơn và cung cấp cho bạn các nguyên tắc bằng chứng để suy luận về các cấu trúc đó. Ý tưởng là đủ rõ ràng. …

68 terminology logic proof-techniques formal-methods coinduction

6

Phân phối so với tính toán song song

Tôi thường nghe mọi người nói về điện toán song song và điện toán phân tán, nhưng tôi có ấn tượng rằng không có ranh giới rõ ràng giữa 2 người và mọi người có xu hướng nhầm lẫn điều đó khá dễ dàng, trong khi tôi tin rằng nó …

61 terminology distributed-systems parallel-computing

3

Các loại phụ thuộc so với các loại sàng lọc

Ai đó có thể giải thích sự khác biệt giữa các loại phụ thuộc và các loại sàng lọc? Theo tôi hiểu, một loại sàng lọc chứa tất cả các giá trị của một loại đáp ứng một vị ngữ. Có một tính năng của các loại phụ thuộc mà …

58 terminology programming-languages type-theory functional-programming dependent-types

4

Tại sao thời gian đa thức được gọi là hiệu quả của thang máy?

Tại sao trong khoa học máy tính, bất kỳ sự phức tạp nào có nhiều nhất là đa thức đều được coi là hiệu quả? Đối với bất kỳ ứng dụng thực tế nào (a) , các thuật toán có độ phức tạp nhanh hơn các thuật toán chạy theo …

50 algorithms complexity-theory terminology efficiency

2

Ý nghĩa của

O ( m + n )O(m+n)O(m+n)O ( tối thiểu ( m , n ) ) O ( | V | + | E | )O ( tối đa ( m , n ) )O(max(m,n))O(\max(m,n))O ( phút ( m , n ) )O(min(m,n))O(\min(m,n))Ô ( | V| + | E| )O(|V|+|E|)O(|V| + …

44 terminology asymptotics mathematical-analysis landau-notation

5

Sự khác biệt giữa lập trình song song và đồng thời?

Khi xem xét lập trình đồng thời, hai thuật ngữ thường được sử dụng tức là đồng thời và song song. Và một số ngôn ngữ lập trình đặc biệt yêu cầu hỗ trợ cho lập trình song song, chẳng hạn như Java . Điều này có nghĩa là lập …

44 terminology parallel-computing concurrency

4

Tên lớp chức năng được mô tả bởi O (n log n) là gì?

Trong "Big O", các ký hiệu phổ biến có tên chung (thay vì nói, "Ôi một số yếu tố không đổi"): O (1) là "Không đổi" O (log n) là "Logarit" O (n) là "Tuyến tính" O (n ^ 2) là "bậc hai" O (n * log n) là ??? …

40 terminology asymptotics

1

Sự khác biệt giữa một thuật toán, ngôn ngữ và một vấn đề là gì?

Có vẻ như trên trang web này, mọi người thường sẽ sửa lỗi cho những người khác vì nhầm lẫn "thuật toán" và "vấn đề". Sự khác biệt giữa những điều này là gì? Làm thế nào để tôi biết khi nào tôi nên xem xét các thuật toán và …

40 algorithms complexity-theory formal-languages terminology reference-question

7

Định nghĩa của Khoa học Máy tính và Khoa học trong Khoa học Máy tính là gì?

Tôi đang theo đuổi bằng Cử nhân Khoa học Máy tính, nhưng tôi đang ở giai đoạn đầu của nó, và tôi khá chắc chắn rằng tôi sẽ hài lòng với lựa chọn của mình vì nó có vẻ giống như một nền giáo dục linh hoạt trong học tập …

39 terminology history

5

Chính xác (và chính xác) là gì băm?

Tôi đã nghe thấy từ "băm" đang được sử dụng trong các bối cảnh khác nhau (tất cả trong thế giới điện toán) với các ý nghĩa khác nhau. Ví dụ, trong cuốn sách Tìm hiểu Python theo cách khó, trong chương về từ điển có nói "Python gọi chúng …

38 terminology hashing

2

Lúng túng bởi định lý của Rice

Tóm tắt: Theo định lý của Rice, mọi thứ đều không thể. Tuy nhiên, tôi làm điều này được cho là không thể mọi lúc! Tất nhiên, định lý của Rice không chỉ đơn giản nói "mọi thứ đều không thể". Nó nói một cái gì đó cụ thể hơn: …

37 terminology computability undecidability rice-theorem

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