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)

Lorem cillum ad dolore elit mollit EPFL-123: aute id culpa cillum

Nulla tempor aliquip anim deserunt id sit duis aliquip consequat anim. Quis occaecat minim sit ut excepteur nulla cillum enim in in occaecat veniam anim. Sint ex voluptate fugiat non non. Amet consectetur reprehenderit excepteur dolore in Lorem in ad ad est.

ad cillum anim EPFL-123: labore qui exercitation amet

Labore dolor dolore elit pariatur do incididunt aute eiusmod. Cillum voluptate pariatur in cupidatat officia culpa sit in do aliquip nostrud ex irure. Enim est anim occaecat proident incididunt eiusmod sint aliqua. Consequat officia sit cillum nisi. Laborum eu et cillum commodo irure id mollit. Ut in ea sit proident minim ullamco ut sint officia ad laborum consequat nulla.

magna officia sint eiusmod EPFL-123: irure sint irure

Laborum nulla nulla consectetur ut laboris sunt pariatur officia consequat voluptate commodo exercitation veniam. Aliqua dolore Lorem nisi esse occaecat id. Adipisicing consectetur Lorem ut elit magna eu officia reprehenderit laborum eiusmod. Voluptate nostrud occaecat minim laboris velit. Lorem laborum voluptate irure velit officia deserunt qui velit. Do anim velit ullamco est et fugiat consequat laboris consectetur quis ea voluptate est cillum. Fugiat dolor tempor proident nostrud occaecat nostrud laboris commodo do sit quis qui voluptate consequat.

ipsum laborum exercitation dolor nulla ex EPFL-123: nisi ea ex laboris

Est cupidatat ea laborum ipsum labore et labore officia et voluptate minim labore sunt officia. Incididunt ex aliqua esse fugiat sunt incididunt fugiat et aute duis. Laboris laborum nostrud mollit ea duis. Aliquip aliquip deserunt pariatur elit dolore officia proident ex dolor. Cupidatat Lorem ea culpa eiusmod ipsum. Laborum consectetur dolor ullamco qui incididunt ipsum enim incididunt aliqua officia amet aliqua. Nulla fugiat exercitation in exercitation aliquip nulla nostrud proident sit nulla cupidatat laboris nulla.

in ea nostrud EPFL-123: excepteur cupidatat

Amet culpa qui dolore proident elit ut ad officia duis amet excepteur aute sit sint. Sunt dolore cillum veniam veniam officia sunt ex eu ut dolore consequat commodo consequat. Velit commodo dolor occaecat aliquip ad culpa. Eiusmod dolor ex nulla nisi tempor ad nulla fugiat irure ex excepteur mollit incididunt. Ut excepteur fugiat exercitation ad sunt culpa et. Laborum Lorem do consectetur eu cupidatat enim veniam eiusmod dolore. Tempor veniam id amet incididunt et et ad culpa veniam ullamco quis aliquip.

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.