Concept
Intuitionistic type theory
Related MOOCs (14)
Neuroscience Reconstructed: Proteomics
This course will provide the fundamental knowledge in neuroscience required to
understand how the brain is organised and how function at multiple scales is
integrated to give rise to cognition and beh
Neuroscience Reconstructed: Proteomics
This course will provide the fundamental knowledge in neuroscience required to
understand how the brain is organised and how function at multiple scales is
integrated to give rise to cognition and beh
Introduction to Programming in Java
Ce cours initie à la programmation en utilisant le langage Java. Il ne présuppose pas de connaissance préalable. Les aspects plus avancés (programmation orientée objet) sont donnés dans un cours suiva