Course on the theoretical foundations of artificial intelligence in education, covering topics such as the history of AI in education, types of AI-based educational technologies, and collaboration between teachers and AI