3 posts tagged with "theoretical informatics"

Hi, I would like to give a small tutorial about number systems in computer science.

I had been dealing with Prolog for a long time and I just want to say something about it.

Predicate logic is the extended form of propositional logic and a branch of mathematical logic. This is used to check and describe things better in the core logically.