Left pains of NND Exam(Neuron nonsense network damn).

I think I’m being in love with symbolic logic even I don’t even really see its application yet, so far, I actually understood basic stuffs such as an Interpretation under domain D, Logical consequence, Prenex normal form and the Herbrand universe.

It seem to be surprised to me at the moment that I realize how neat and correspond of logic which is used to described a program.

I don’t know if I can understand all of this fundamental things in the time, to be ready for my thesis.