You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, clauses, etc.
This course provides basic knowledge of circuit theory and electronics. It also provides knowledge of the various devices that can be found in a microcontroller and how these are supposed to be used.
A course that includes topics such as an introduction to quantum computing and its applications (e.g., quantum teleportation), quantum entanglement and superposition (shown on Bernstein-Vazirani and Simon's algorithms), Grover's algorithm, the quantum Fourier transform and practical examples of its use (quantum phase estimation, Shor's algorithm).