Concept
Existential quantification
Related courses (32)
CS-101: Advanced information, computation, communication I
Discrete mathematics is a discipline with applications to almost all areas of study. It provides a set of indispensable tools to computer science in particular. This course reviews (familiar) topics a
PHYS-314: Quantum physics II
The aim of this course is to familiarize the student with the concepts, methods and consequences of quantum physics.
ENV-300: Pollutants analysis in the environment
Évaluation de la qualité d'une rivière en utilisant des méthodes d'observation ainsi que des méthodes physico-chimiques et biologiques. Collecte d'échantillons sur le terrain et analyses de laboratoir
CS-550: Formal verification
We introduce formal verification as an approach for developing highly reliable systems. Formal verification finds proofs that computer systems work under all relevant scenarios. We will learn how to u
ENV-306: Ecotoxicology
Ecotoxicology aims to understand the impact of chemicals and other stressors on organisms in the environment with a particular focus on population-, community- and ecosystem effects. Based on a mechan
ChE-433: Biotechnology lab (for CGC)
This laboratory-training course is designed to give students a comprehensive insight into laboratory research techniques in the field of biotechnology and pharmaceutical biotechnology with practices e
CH-634: Chemical Probes for Imaging in Biology
The goal of this course is to provide an overview on recent developments in the design and synthesis of fluorescent and bioluminescent probes for applications in basic research and medicine. Through t
ENV-504: Groundwater and soil remediation
This course covers the essential knowledge of contaminant partitioning and techniques to monitor chemical species, physical extent of contamination and biological processes. In the second part, remedi
BIOENG-519: Methods: omics in biomedical research
High-throughput methodologies broadly called Omics allow to characterize the complexity and dynamics of any biological system. This course will provide a general description of different methods relat
MATH-410: Riemann surfaces
This course is an introduction to the theory of Riemann surfaces. Riemann surfaces naturally appear is mathematics in many different ways: as a result of analytic continuation, as quotients of complex