Concept

Image d'une application

vignette| est une fonction de dans . L'ovale jaune dans est l'image de . On appelle image d'une application f (d'un ensemble A vers un ensemble B) l' par f de l'ensemble de départ A. C'est donc le sous-ensemble de B contenant les de tous les éléments de A, et uniquement ces images. On le note Im(f). Exemple : Une application est surjective si et seulement si son image coïncide avec son ensemble d'arrivée.

Source officielle

https://fr.wikipedia.org/wiki/Image_d'une_application

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

Cours associés (2)

CS-101: Advanced information, computation, communication I

Discrete mathematics is a discipline with applications to almost all areas of study. It provides a set of indispensable tools to computer science in particular. This course reviews (familiar) topics as diverse as mathematical reasoning, combinatorics, disc ...

MATH-189: Mathématiques

Ce cours a pour but de donner les fondements de mathématiques nécessaires à l'architecte contemporain évoluant dans une école polytechnique. ...

Séances de cours associées (32)

Fonctions réelles : définitions et graphiques

Couvre les fonctions réelles, les définitions, les graphiques, la parité, la périodicité et la limite.

Reconnaître un quotient

Discute de la reconnaissance d'un quotient en topologie et des propriétés de la topologie du quotient.

Algèbre linéaire : bijections et cardinalité

Explore les bijections en algèbre linéaire et le concept de cardinalité entre les ensembles.

Afficher plus

Graph Chat

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.

Source officielle

https://fr.wikipedia.org/wiki/Image_d'une_application

À propos de ce résultat

Cours associés (2)

CS-101: Advanced information, computation, communication I

MATH-189: Mathématiques

Ce cours a pour but de donner les fondements de mathématiques nécessaires à l'architecte contemporain évoluant dans une école polytechnique. ...

Séances de cours associées (32)

Fonctions réelles : définitions et graphiques

Couvre les fonctions réelles, les définitions, les graphiques, la parité, la périodicité et la limite.

Reconnaître un quotient

Discute de la reconnaissance d'un quotient en topologie et des propriétés de la topologie du quotient.

Algèbre linéaire : bijections et cardinalité

Explore les bijections en algèbre linéaire et le concept de cardinalité entre les ensembles.

Afficher plus

Publications associées (2)

Dynamic calibration of our sense of time

An accurate sense of time contributes to functions ranging from the perception and anticipation of sensory events to the production of coordinated movements. However, accumulating evidence demonstrates that time perception is subject to strong illusory distortion. In two experiments, we investigated whether the subjective speed of temporal perception is dependent on our visual environment. By presenting human observers with speed-altered movies of a crowded street scene, we modulated performance on subseque

2010

On Decision Procedures for Collections, Cardinalities, and Relations

Logics that involve collections (sets, multisets), and cardinality constraints are useful for reasoning about unbounded data structures and concurrent processes. To make such logics more useful in verification this paper extends them with the ability to compute direct and inverse relation and function images. We establish decidability and complexity bounds for the extended logics.

2009

Personnes associées (3)

Viktor Kuncak

Viktor Kunčak joined EPFL in 2007, after receiving a PhD degree from MIT. Since then has been leading the Laboratory for Automated Reasoning and Analysis and supervised at least 12 completed PhD theses. His works on languages, algorithms and systems for verification and automated reasoning. He served as an initiator and one of the coordinators of a European network (COST action) in the area of automated reasoning, verification, and synthesis. In 2012 he received a 5-year single-investigator European Research Council (ERC) grant of 1.5M EUR. His invited talks include those at Lambda Days, Scala Days, NFM, LOPSTR, SYNT, ICALP, CSL, RV, VMCAI, and SMT. A paper on test generation he co-authored received an ACM SIGSOFT distinguished paper award at ICSE. A PLDI paper he co-authored was published in the Communications of the ACM as a Research Highlight article. His Google Scholar profile reports an over-approximate H-index of 38. He was an associate editor of ACM Transactions on Programming Languages and Systems (TOPLAS) and served as a co-chair of conferences on Computer-Aided Verification (CAV), Formal Methods in Computer Aided Design (FMCAD), Workshop on Synthesis (SYNT), and Verification, Model Checking, and Abstract Interpretation (VMCAI). At EPFL he teaches courses on functional and parallel programming, compilers, and verification. He has co-taught the MOOC "Parallel Programming" that was visited by over 100'000 learners and completed by thousands of students from all over the world.

Emmanuel Abbé

Mission Chair of Mathematical Data Science (SB/IC)The research in the chair of Mathematical Data Science (MDS) focuses on the mathematical principles that underpin the analysis and design of information and data science technologies. As branches of mathematics, this involves probability, statistics, and discrete mathematics, and as specific fields, machine learning and information theory. Please consult http://deepfoundations.ai/ for postdoc applications. Emmanuel Abbe received his Ph.D. degree from the EEC

Christoph Bostedt

Enseignement et PhD Doctorant·es actuel·les Eloisa Florence Manetti, Wenyi Jiang, Hankai Zhang, Loïc Lucien Cédric Bassement, Silas Strebel, Eliot Jermann A dirigé les thèses EPFL de Jonas Knurr, Ningchen Yang Cours Optical methods in chemistry CH-417 Introduction et application d'outils à base de photons pour la chimie : des concepts de base aux lasers optiques et lasers à rayons X Physical Chemistry Seminar 1: Trends CH-643 Physical Chemistry Seminar 2: Highlights

Concepts associés (3)

Nombre réel

En mathématiques, un nombre réel est un nombre qui peut être représenté par une partie entière et une liste finie ou infinie de décimales. Cette définition s'applique donc aux nombres rationnels, dont les décimales se répètent de façon périodique à partir d'un certain rang, mais aussi à d'autres nombres dits irrationnels, tels que la racine carrée de 2, π et e.

Image (mathématiques)

En mathématiques, la notion d’image est reliée à la notion d’application avec plusieurs définitions distinctes. Étant donné une application : pour tout élément x de E, l’unique élément qui lui est relié dans F est appelé image de x par f, et dans ce cas on dit que x est un antécédent de par f ; l’ensemble des images des éléments de E est appelé de f, ou simplement image de f, et se note ; vignette|f(X) est en jaune.

Ensemble d'arrivée

En mathématiques, pour une application ou une fonctionSelon les sources, il y a distinction ou non entre les notions de fonction et dapplication'', voir Application_(mathématiques)#Fonction_et_application pour plus de détails. Ce qui est énoncé dans cet article est valable que la distinction soit faite ou non. donnée f : A → B, l'ensemble B est appelé l'ensemble d'arrivée (on dit parfois le but de f ou le codomaine''' de f). L'ensemble d'arrivée ne doit pas être confondu avec l' f(A) de f, qui est en général seulement un sous-ensemble de B.

Notebooks associés (2)

Modeling and Analysis of a PN-Junction in Inhomogeneous Semiconductors.

In [1]: import matplotlib.pyplot as plt import matplotlib.ticker as mtick import numpy as np import ipywidgets as widgets import scipy.integrate as integrate from ipywidgets import interact, fixed from scipy.interpolate import interp1d from textwrap import dedent from bokeh.io import push_notebook, show, output_notebook, output_file, curdoc from bokeh.plotting import figure from bokeh.layouts import column, row from bokeh.themes import built_in_themes from bokeh.models import Range1d, BasicTickFormatter, L

Advantages of Digital Transmission over Analog Transmission

[1]Paolo Prandoni, [2]EPFL Analog vs Digital Transmission In this notebook we will explore the advantages of digital transmission over analog transmission. We will model the case of transmission over a long (e.g. transoceanic) cable in which several repeaters are used to compensate for the attenuation incurred by the signal. In [1]: import matplotlib import matplotlib.pyplot as plt import numpy as np import IPython from scipy.io import wavfile plt.rcParams["figure.figsize"] = (14,4)

Personnes associées (3)

Viktor Kuncak

Emmanuel Abbé

Christoph Bostedt