A logical and content-based model for teaching higher mathematics using artificial intelligence | Synapse