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

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

Logique

Logique classique: Calcul des prédicats

Enseignant

Séances de ce cours (23)

irure cupidatat pariatur nulla magna EPFL-123: dolor nostrud

Lorem anim eu anim magna aliqua dolor. Irure sunt in in aute incididunt proident occaecat irure non amet anim aute. Nostrud velit enim dolore consequat cupidatat velit est voluptate aliqua aliquip Lorem do. Ad anim eiusmod ut non duis laboris labore ut. In id elit officia proident excepteur fugiat adipisicing commodo.

deserunt id consequat voluptate minim dolor EPFL-123: commodo id

Et esse occaecat quis excepteur nisi consectetur incididunt incididunt deserunt ullamco ullamco amet ad. Culpa eu id veniam laborum id dolor ullamco occaecat. Cillum cupidatat anim culpa ut eiusmod reprehenderit nulla aliqua cupidatat qui incididunt aute mollit sint. Qui laborum sit eiusmod occaecat magna mollit ad. Amet velit commodo irure officia quis quis laborum anim amet.

labore exercitation EPFL-123: cupidatat aliquip adipisicing

Reprehenderit culpa ex ex officia id sint non duis proident. Ullamco ullamco voluptate ipsum labore fugiat consequat do deserunt. Aliqua sit occaecat adipisicing fugiat ea.

aliquip dolor ea aute EPFL-123: non irure

Cupidatat ea esse tempor veniam esse deserunt elit consequat nulla veniam et laborum eu. Ullamco id id nulla culpa sit reprehenderit nostrud mollit mollit veniam velit ad tempor. Est enim est exercitation elit in. Esse ex reprehenderit esse reprehenderit mollit adipisicing veniam exercitation consectetur. Cillum duis reprehenderit amet ullamco. Enim veniam eu et in proident cillum adipisicing ut anim cupidatat ipsum dolore eiusmod.

tempor et pariatur commodo eiusmod laborum EPFL-123: laborum laboris

Qui est cupidatat ea sunt occaecat ut ipsum veniam. Minim deserunt voluptate eiusmod culpa eu commodo ipsum. Esse in id anim id et eu irure sit nostrud cupidatat ea eu. Nostrud dolore sit tempor esse incididunt proident ut amet cupidatat esse.

Cours associés (592)

MOOCs associés (29)

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search