2
Bất biến cho vòng lặp lồng nhau trong chương trình nhân ma trận
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