English

The course offers an introduction to critical thinking-- a means of looking at information and discerning true data, false data, and manipulated information.

This course introduces logic as a means for specifying and solving computational problems. It explores how logic can be used to represent computational problems, how these representations can be proven correct, and how they can be executed on a computer. Students learn about logic as formal systems (semantic, axiomatic, and deductive) and how to write proofs in the different systems. They also learn how to use a proof assistant such as Coq and how to program in a logic programming language such as Prolog. Topics include classical and intuitionistic logic, SAT, Peano’s axioms, Hoare logic, and other selected logic systems.

This course offers students the opportunity to engage with art thinking and art practice. It proposes a collective and experimental space based on the individual projects of each student. This course strengthens an analytic and experiential perspective regarding art practice as a method of research and its potential to understand our relation with the world from different disciplines and practices. 

This course explores the field of neuroscience and the study of the biological substrates of behavior and the underlying mental processes. It examines how the brain works in health and disease as well as different drugs and their effects upon brain function. Topics include: cells of the nervous system; synaptic transmission; macroscopic anatomy of the central and peripheral nervous system; neurotransmitters.