Study of logic and philosophy including subjects and tasks, ancient logic teachings, main principles, modern logic and artificial intelligence