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

Tôi hiện đang nghiên cứu cho luận án văn bằng của tôi về khoa học máy tính với một chủ đề trong lĩnh vực bảng băm phân tán. Đương nhiên, tôi đi đến câu hỏi là thuật ngữ bảng băm phân phối xuất phát từ. (Tôi biết rằng đó không …

7 data-structures  terminology  distributed-systems  hash-tables  history 

Tôi đã đọc về PHP và nhiều tác giả đề cập đến các lỗi ngữ nghĩa và logic riêng biệt. Như một ví dụ về lỗi ngữ nghĩa, họ đưa ra một hàm được gọi với số lượng tham số không chính xác: điều này sẽ không bị trình phân …

7 terminology  programming-languages  compilers  program-correctness 

Tôi đang viết một hàm nhỏ để thay đổi biểu đồ theo một cách nhất định và tự hỏi liệu có tên chính thức cho hoạt động không. Hoạt động có hai cạnh riêng biệt, tiêm một nút mới giữa các nút hiện có của mỗi cạnh và sau đó …

7 graph-theory  terminology  combinatorics 

Các slide trong khóa học của tôi về kiến ​​trúc phần mềm gợi ý rằng đây là những thuật ngữ riêng biệt, nhưng tôi dường như không thể tìm thấy sự khác biệt. Không phải tất cả trong số họ chỉ dịch giao diện?

7 terminology  software-engineering 

Tôi đang làm luận án tốt nghiệp về việc chứng minh tính đúng đắn của chương trình để nhân 2 ma trận bằng logic Hoare. Để làm điều này, tôi cần tạo bất biến cho vòng lặp lồng nhau cho chương trình này: for i = 1:n for j = …

7 algorithms  loop-invariants  correctness-proof  formal-languages  regular-languages  pumping-lemma  logic  logic  programming-languages  lambda-calculus  term-rewriting  operational-semantics  complexity-theory  time-complexity  computability  proof-techniques  reductions  digital-preservation  distributed-systems  storage  algorithms  dynamic-programming  check-my-algorithm  reference-request  cryptography  quantum-computing  formal-languages  regular-languages  context-free  formal-grammars  algorithms  graphs  network-flow  algorithms  data-structures  randomized-algorithms  lists  computability  proof-techniques  undecidability  terminology  distributed-systems  parallel-computing  artificial-intelligence  heuristics  search-problem  algorithms  computational-geometry  algorithm-analysis  asymptotics  recurrence-relation  mathematical-analysis  master-theorem  algorithms  algorithm-analysis  runtime-analysis  computability  reductions  turing-machines  formal-languages  context-free 

Trong một tập hợp được sắp xếp một phần, tôi luôn có thể đặt hai phần tử tùy ý ra khỏi tập hợp? Hoặc có thể là hai phần tử trong tập hợp không có quan hệ thứ tự với nhau? Ví dụ: nếu có ba phần tử và và …

7 terminology  discrete-mathematics  order-theory