Cours associés à Tautologie | EPFL Graph Search

ENV-630(a): EESS - CESS Seminar Course - option 1 (FALL)

Seminar course which allows students to attend, critically examine, and review civil/environmental seminar. - Practice transferable skills, including active listening and broad scientific critical thinking - Presentation and communication skills ...

ENV-630(b): EESS - CESS Seminar Course - option 2 (FALL)

Seminar course which allows students to attend, critically examine, and review civil/environmental seminar. - Practice transferable skills, including active listening and broad scientific critical thinking - Presentation and communication skills ...

ENV-630(c): EESS - CESS Seminar Course - option 1 (SPRING)

Seminar course which allows students to attend, critically examine, and review civil/environmental seminar. - Practice transferable skills, including active listening and broad scientific critical thinking - Presentation and communication skills ...

ENV-630(d): EESS - CESS Seminar Course - option 2 (SPRING)

Seminar course which allows students to attend, critically examine, and review civil/environmental seminar. - Practice transferable skills, including active listening and broad scientific critical thinking - Presentation and communication skills ...

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 as diverse as mathematical reasoning, combinatorics, disc ...

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 use formal verification tools and explain the theory and ...