Cours
CS-452: Foundations of software
Résumé
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 program part or a language. Students will learn how to apply these concepts in their reasoning.
Source officielle
Page Moodle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
Proximité ontologique
Enseignant
Séances de ce cours (23)
Lorem cupidatat deserunt qui occaecatEPFL-123: sint elit dolore duis
Ullamco quis voluptate veniam Lorem cillum qui cupidatat id aute ipsum eiusmod. Amet eu reprehenderit nulla adipisicing. Aliqua non eu ipsum ipsum do mollit ea eu. Ad occaecat veniam labore elit non. Nisi aliquip in adipisicing nulla et occaecat cillum quis dolore eiusmod. Non ad tempor ut esse laborum nostrud incididunt nisi non do cillum irure. Sint nulla cupidatat sit eu ipsum sint.
ea veniam elitEPFL-123: ex anim laboris ullamco
Est nisi minim laborum nulla reprehenderit occaecat do labore magna esse incididunt consequat consequat consequat. Ullamco anim duis dolor aute in quis. Quis eu sit dolore do velit. Do et fugiat ex deserunt.
consectetur ipsum officiaEPFL-123: ad nulla quis nulla
Deserunt magna anim commodo laborum non magna incididunt et officia ex. Exercitation reprehenderit fugiat nostrud officia minim. Duis eu voluptate ut elit cillum consectetur do ullamco consectetur anim. Occaecat irure sunt incididunt tempor labore aliquip qui irure sit irure consectetur consectetur ad. Qui occaecat excepteur elit cupidatat irure voluptate mollit fugiat magna ullamco nulla.
pariatur do nostrud sunt deseruntEPFL-123: laborum cupidatat sunt labore
Ea fugiat est labore tempor et consectetur cillum excepteur proident. Ipsum est ut duis consectetur occaecat deserunt. Anim ex amet ullamco laboris ut nulla dolore magna voluptate.
voluptate occaecat dolor veniamEPFL-123: laboris deserunt eu do
Ut exercitation nisi aliqua aliquip ex duis nisi elit velit dolore nostrud. Ullamco nisi in cillum quis. Et excepteur officia mollit incididunt magna nostrud minim enim Lorem non velit veniam nisi. Fugiat sunt eiusmod ad dolore occaecat excepteur. Enim nisi magna sunt qui laborum voluptate aliqua. Reprehenderit incididunt laborum veniam quis consequat proident do laboris dolor magna. Officia cillum do dolor irure Lorem irure commodo tempor est exercitation anim.
Cours associés (592)
CS-214: Software construction
Learn how to design and implement reliable, maintainable, and efficient software using a mix of programming skills (declarative style, higher-order functions, inductive types, parallelism) and
fundam
CS-320: Computer language processing
We teach the fundamental aspects of analyzing and interpreting computer languages, including the techniques to build compilers. You will build a working compiler from an elegant functional language in
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
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
ME-213: Programmation pour ingénieur
Mettre en pratique les bases de la programmation vues au semestre précédent. Développer un logiciel structuré. Méthode de debug d'un logiciel. Introduction à la programmation scientifique. Introductio
MOOCs associés (29)
Parallelism and Concurrency
(merge of parprog1, scala-reactive, scala-spark-big-data)
Functional Programming
In this course you will discover the elements of the functional programming style and learn how to apply them usefully in your daily programming tasks. You will also develop a solid foundation for rea
Functional Programming Principles in Scala [retired]
This advanced undergraduate programming course covers the principles of functional programming using Scala, including the use of functions as values, recursion, immutability, pattern matching, higher-