First-order logic is a restricted, formalized language which is particularly suited to the precise expression of ideas. The language has uses in many disciplines including computer science, mathematics, linguistics and artificial intelligence.

Quantum information is at the heart of quantum computing: learn how it is mathematically represented via quantum circuits and how to manipulate quantum entanglement with these circuits.

Get productive with TensorFlow.js - Google's Machine Learning library for JavaScript. From pre-made off the shelf models to writing or training your own, learn how to create next gen web apps.

Master the foundational math concepts that drive robotics and put them into practice using MATLAB.

Prepare for commerce studies by developing essential mathematical skills applicable in business contexts.

Investigate the convergence and divergence of infinite series, with applications in calculus and analysis.