Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Séance de cours

Type Systems: Règles de conservation et de dactylographie

Dans cours

CS-452: Foundations of software

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 ...

Description

Cette séance de cours couvre la propriété de préservation dans les systèmes de type, y compris le lemme de substitution et l'affaiblissement. Il traite également de l'importance de la permutation dans le maintien de l'ordre des hypothèses. La séance de cours présente des concepts tels que le séquençage, l'attribution, les paires, les tuples et leurs règles d'évaluation et de dactylographie.

Enseignant·e·s (2)

Martin Odersky

Martin Odersky heads the programming research group at EPFL. His research interests cover fundamental as well as applied aspects of programming languages. They include semantics, type systems, programming language design, and compiler construction. The main focus if his work lies in the integration of object-oriented and functional programming. His research thesis is that the two paradigms are just two sides of the same coin and should be unified as much as possible. To prove this he has experimented a number of language designs, from Pizza to GJ to Functional Nets. He has also influenced the development of Java as a co-designer of Java generics and as the original author of the current javac reference compiler. His current work concentrates on the Scala programming language, which unifies FP and OOP, while staying completely interoperable with Java and .NET. Martin Odersky got his doctorate from ETHZ, in 1989. He held research positions at the IBM T.J. Watson Research Center from 1989 and at Yale University from 1991. He was then a professor at the University of Karlsruhe from 1993 and at the University of South Australia from 1997. He joined EPFL as full professor in 1999. He is associate editor of the Journal of Functional Programming and member of IFIP WG 2.8. He was conference chair for ICFP 2000, and program chair for ECOOP 2004 as well as ETAPS/CC 2007.

Sébastien Jean Robert Doeraene

Source officielle

Proximité ontologique

Biologie

Génétique: Génomique

Concepts associés (32)

Type system

In computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating point, string) to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer program, such as variables, expressions, functions, or modules. A type system dictates the operations that can be performed on a term. For variables, the type system determines the allowed values of that term.

Séquençage de l'ADN

cadre|Résultat du séquençage par la méthode de Sanger. L'ordre de chaque bande indique la position d'un nucléotide A,T,C ou G Le séquençage de l'ADN consiste à déterminer l'ordre d'enchaînement des nucléotides pour un fragment d’ADN donné. La séquence d’ADN contient l’information nécessaire aux êtres vivants pour survivre et se reproduire. Déterminer cette séquence est donc utile aussi bien pour les recherches visant à savoir comment vivent les organismes que pour des sujets appliqués.

Séquençage

En biochimie, le séquençage consiste à déterminer l'ordre linéaire des composants d'une macromolécule (les acides aminés d'une protéine, les nucléotides d'un acide nucléique comme l'ADN, les monosaccharides d'un polysaccharide, etc.). En génétique, le séquençage concerne la détermination de la séquence des gènes voire des chromosomes, voire du génome complet, ce qui techniquement revient à effectuer le séquençage de l'ADN constituant ces gènes ou ces chromosomes.

Séquençage shotgun

En génétique, le séquençage shotgun (littéralement séquençage "fusil de chasse") est une méthode utilisée pour séquencer des brins d'ADN aléatoires. On l'appelle ainsi par analogie avec le modèle de tir quasi-aléatoire en pleine expansion d'un fusil de chasse : cette métaphore illustre le caractère aléatoire de la fragmentation initiale de l'ADN génomique où l'on "arrose" tout le génome, un peu comme se dispersent les plombs de ce type d'arme à feu.

Sanger sequencing

Sanger sequencing is a method of DNA sequencing that involves electrophoresis and is based on the random incorporation of chain-terminating dideoxynucleotides by DNA polymerase during in vitro DNA replication. After first being developed by Frederick Sanger and colleagues in 1977, it became the most widely used sequencing method for approximately 40 years. It was first commercialized by Applied Biosystems in 1986. More recently, higher volume Sanger sequencing has been replaced by next generation sequencing methods, especially for large-scale, automated genome analyses.

Afficher plus

Séances de cours associées (34)

Concevoir des cours en ligne : éléments clés et stratégies

Couvre les éléments clés de la conception des cours en ligne, y compris les objectifs d'apprentissage et le découpage du contenu.

Développer des cours en ligne : conception et séquençage

Couvre les éléments clés de la conception des cours en ligne, en mettant l'accent sur la granularisation, le séquençage et le lien entre la géographie humaine et physique.

Concevoir des cours en ligne : éléments clés et planification des leçons

Couvre les éléments clés de la conception des cours en ligne, des stratégies de découpage et de l'élaboration d'un plan de leçon pour l'éducation numérique.

Séquence: Danger et Illumina MOOC: Les neurosciences reconstruites : Génétique et développement du cerveau

Explore les principes de séquençage de danger, les limites et les méthodes de séquençage Illumina plus récentes pour l'analyse de l'ADN à haut débit.

La génomique : un aperçu historique

Couvre le développement historique de la génomique, du séquençage Sanger aux technologies à haut débit et aux réductions de coûts, en soulignant l'impact d'acteurs clés tels que Craig Venter.

Afficher plus

Concepts associés (32)