Text this: The general principles and requirements to construction of methodical learning system of mathematical logic with use of information technologies.