Formalized Hopfield Networks and Boltzmann Machines