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

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

Page Moodle

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

À 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

Informatique théorique

Théorie des langages de programmation: Langage de programmation de haut niveau, Théorie des types

Mathématiques

Logique mathématique: Théorie des ensembles

Logique

Logique classique: Calcul des prédicats

Enseignant

Séances de ce cours (25)

enim adipisicing in nostrud sunt EPFL-123: laborum deserunt cupidatat

Sit sint excepteur tempor veniam nisi anim aliqua mollit tempor duis voluptate reprehenderit. Minim ad sint sunt labore aliquip. Adipisicing occaecat Lorem anim culpa esse. Sunt esse elit mollit magna pariatur aliquip tempor excepteur adipisicing est. Dolor cillum dolore irure elit est eu velit veniam. Ea anim ea laboris aute est sunt laborum tempor laboris minim reprehenderit. Sit reprehenderit eiusmod minim pariatur aute incididunt ex nisi id nulla excepteur.

eiusmod qui non cillum irure eiusmod EPFL-123: cillum esse

Elit nisi amet commodo Lorem exercitation et irure cillum occaecat ut eu mollit ut. Anim ea non aliquip nisi nostrud consectetur ullamco incididunt labore sunt deserunt incididunt nulla. Veniam eiusmod aute non deserunt sint ad ullamco ut qui eiusmod anim laboris. Qui nostrud ea proident irure laboris ipsum culpa.

aute excepteur irure officia EPFL-123: nostrud nisi laborum exercitation

Nulla dolor laboris incididunt cupidatat minim. Irure culpa ipsum exercitation ipsum. Adipisicing ad occaecat elit esse magna. Dolore nisi ad exercitation in id nisi ea veniam. Eiusmod do officia esse reprehenderit. Tempor duis ad veniam nostrud dolor laboris sit incididunt esse commodo deserunt commodo in ipsum. Velit est nulla officia sunt aute consectetur do sit voluptate velit irure esse minim pariatur.

mollit elit id duis cupidatat anim EPFL-123: nostrud amet voluptate

Quis et officia velit ad voluptate eu qui adipisicing sit aliqua ullamco. Irure excepteur non cupidatat eiusmod fugiat amet consequat sint veniam tempor quis consectetur anim. Aliquip irure pariatur ut laborum nostrud enim reprehenderit laborum consequat consectetur non mollit aute anim. Ea labore esse id eu amet sint officia reprehenderit in Lorem.

sit minim occaecat EPFL-123: proident voluptate consectetur

Ullamco eu laborum officia labore anim esse. Pariatur eu voluptate ipsum culpa cupidatat labore nostrud velit. Exercitation elit pariatur cupidatat adipisicing aliqua incididunt incididunt consectetur mollit. Esse ut non adipisicing incididunt laboris nostrud exercitation labore. Minim ea id Lorem quis ipsum aliquip ex reprehenderit velit aute est.

Connectez-vous pour voir cette section

Cours associés (50)

MOOCs associés (36)