Theorem and Algorithm Checking for Courses on Logic and Formal Methods.

Wolfgang Schreiner

Published in: ThEdu@FLoC (2018)

Keyphrases

learning algorithm
dynamic programming
formal methods
computational complexity
k means
first order logic
verification method
information systems
optimal solution
simulated annealing
detection algorithm
black box