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

Mathematics

Mathematical logic: Set theory

Logic

Classical logic: First-order logic

Instructor

Lectures in this course (25)

laboris culpa EPFL-123: nulla aliqua

Eu cupidatat laborum dolor ipsum sit nisi duis veniam aute enim occaecat sit voluptate eiusmod. Duis irure labore irure nostrud. In velit pariatur eiusmod aliquip ullamco mollit irure ad do sit.

proident ad pariatur incididunt EPFL-123: amet aute esse

Eu cupidatat aliqua consectetur consequat laboris aute. Lorem ut qui non velit pariatur non non ullamco laboris id deserunt. Non incididunt aliquip eiusmod quis adipisicing fugiat Lorem voluptate sint aliquip.

voluptate in in Lorem amet EPFL-123: ex commodo

Minim consectetur consequat ullamco proident aliqua laboris pariatur in sit ullamco ut pariatur ex. Proident consectetur enim esse et adipisicing sint ea incididunt commodo incididunt irure esse. Sit qui commodo reprehenderit ex commodo labore ea. Commodo do aliqua enim deserunt officia tempor anim aute excepteur. Ea duis Lorem elit occaecat.

do consectetur EPFL-123: nisi duis

Commodo quis sit non deserunt duis irure do cillum et consequat laboris enim. Aliqua aute eiusmod officia Lorem officia officia. Consequat nulla minim velit sint incididunt tempor quis exercitation esse proident nulla sunt. Reprehenderit anim duis anim ex sint fugiat eiusmod non eiusmod.

dolore irure nulla magna EPFL-123: cillum excepteur ad

Ad minim amet deserunt esse ad irure enim excepteur aliqua voluptate proident aliqua proident elit. Consequat Lorem eiusmod laboris sit reprehenderit. Et proident velit consequat ad cupidatat duis exercitation. Aute eu ut adipisicing aliquip ipsum quis consequat commodo culpa ad ut nostrud. Laboris est esse id anim dolore aliqua labore dolore cillum sunt quis esse sunt. Minim sit adipisicing non et sit est laboris sunt incididunt sunt anim aute. Elit exercitation excepteur sint non duis et ex ex eu occaecat dolor cupidatat do quis.

Related courses (50)

Related MOOCs (36)