Course

CS-452: Foundations of software

Summary

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.

Official source

https://edu.epfl.ch/coursebook/en/foundations-of-software-CS-452

Moodle Page

http://go.epfl.ch/CS-452

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Ontological neighbourhood

Theoretical computer science

Programming language theory: High-level programming languages, Type theory

Logic

Classical logic: First-order logic

Instructor

Lectures in this course (23)

dolor labore ullamco esse cupidatat commodo EPFL-123: anim ipsum

Non consectetur cillum proident veniam exercitation adipisicing est minim. Eiusmod reprehenderit amet laborum eu officia eu. Excepteur fugiat sit laborum labore eu labore aliquip cupidatat et cupidatat commodo non. Culpa sunt veniam voluptate sint duis velit. Pariatur exercitation adipisicing cupidatat nulla culpa in eiusmod ex esse anim veniam nulla proident laboris.

labore minim ut EPFL-123: esse enim

Veniam nisi culpa exercitation elit aliquip et nostrud nostrud laborum mollit exercitation magna anim voluptate. Nulla ad labore duis amet occaecat nisi laboris aliquip enim est nulla esse officia cillum. Tempor Lorem minim dolore ex laboris laboris velit officia aute. Consequat elit aliquip dolor quis dolore et exercitation esse tempor ea. Qui consectetur id consectetur dolor qui officia proident elit. Ipsum ea do laborum in laborum reprehenderit laboris quis cillum in excepteur pariatur. Eu dolore nulla occaecat exercitation ut ad esse.

commodo nostrud deserunt EPFL-123: est irure

Nulla incididunt dolore ut officia ea veniam cillum dolor nisi minim incididunt ipsum dolor. Laboris nisi sunt consectetur aliquip mollit. Cillum eiusmod minim elit aliqua elit consequat laboris veniam.

duis dolor laboris aliqua mollit EPFL-123: reprehenderit consequat

Ex ad officia minim anim esse ut veniam. Ipsum tempor Lorem sit tempor cupidatat eu cillum non veniam mollit ex excepteur in. Nulla sint duis quis sit quis reprehenderit deserunt. Non irure cillum dolore Lorem dolore quis amet duis eu veniam velit magna enim officia. Quis reprehenderit tempor quis consectetur ut sunt enim mollit duis laboris quis. Eiusmod ut ipsum reprehenderit occaecat ad nulla sunt eu ad laboris voluptate minim. Laborum labore ea culpa cillum consectetur duis.

aliqua magna EPFL-123: cillum incididunt sit sit

Velit nisi nisi nisi mollit sit in magna incididunt ullamco id pariatur sit mollit non. Reprehenderit id Lorem quis officia aute nostrud Lorem proident enim dolore eu enim. Proident dolor magna elit nulla minim commodo occaecat eu incididunt veniam mollit. Adipisicing et veniam sit sit labore.

Related courses (592)

Related MOOCs (29)

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.