Concept
Inductive type
Cours associés (6)
CS-628: Interactive Theorem Proving CS
A hands-on introduction to interactive theorem proving, proofs as programs, dependent types, and to the Coq proof assistant. Come learn how to write bug-free code!
MICRO-565: Fundamentals & processes for photovoltaic devices
The objective of this lecture is to give an in-depth understanding of the physics and manufacturing processes of photovoltaic solar cells and related devices (photodetectors, photoconductors). The pri
CS-452: Foundations of software
The course introduces the foundations on which programs and programming languages are built. It introduces syntax, types and semantics as building blocks that together define the properties of a progr
MICRO-566: Large-area electronics: devices and materials
Introduction to the physical concepts involved in the description of optical and electronic transport properties of thin-film semiconductor materials found in many large-area applications (solar cells
PHYS-310: Solid state physics II
Ce cours de deux semestres donne une introduction à la Physique du solide, à la structure cristalline, aux vibrations du réseau, aux propriétés électroniques, de transport thermique et électrique ains