Course in Essential Foundations of Computer Science