2
Invariante für verschachtelte Schleife im Matrix-Multiplikationsprogramm
Ich mache eine Abschlussarbeit über den Nachweis der Richtigkeit des Programms zum Multiplizieren von 2 Matrizen mit Hoare-Logik. Dazu muss ich die Invariante für die verschachtelte Schleife für dieses Programm generieren: for i = 1:n for j = 1:n for k = 1:n C(i,j) = A(i,k)*B(k,j) + C(i,j); end end …
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