Universal setIn set theory, a universal set is a set which contains all objects, including itself. In set theory as usually formulated, it can be proven in multiple ways that a universal set does not exist. However, some non-standard variants of set theory include a universal set. Many set theories do not allow for the existence of a universal set. There are several different arguments for its non-existence, based on different choices of axioms for set theory. In Zermelo–Fraenkel set theory, the axiom of regularity and axiom of pairing prevent any set from containing itself.
Filtre (audio)Dans le traitement du signal, un filtre est un appareil ou une fonction servant à retirer ou bien à accentuer ou réduire certaines parties du spectre sonore représentées dans un signal. Les filtres sont essentiels dans plusieurs fonctions des appareils électroniques (voir Filtre (électronique)). Nous ne traiterons ici que des filtres accessibles par des commandes dans les tranches des consoles de mixage et les égaliseurs qui permettent d'ajuster la tonalité des sons.
Péché mortelLe péché mortel est une désobéissance à la loi de Dieu en matière grave, commise avec pleine advertance et consentement délibéré.[...] Le péché grave s’appelle mortel, parce qu’il prive l’âme de la grâce divine qui est sa vie, lui enlève les mérites et la capacité d’en acquérir de nouveaux, et la rend digne de la peine ou mort éternelle en enfer. Il s'enracine dans la Première épître de Jean où il est écrit (1 Jn 5,16) : .
Modulation du signalEn télécommunications, le signal transportant une information doit passer par un moyen de transmission entre un émetteur et un récepteur. Le signal est rarement adapté à la transmission directe par le canal de communication choisi, hertzien, filaire, ou optique. La modulation peut être définie comme le processus par lequel le signal est transformé de sa forme originale en une forme adaptée au canal de transmission, par exemple en faisant varier les paramètres d'amplitude et d'argument (phase/fréquence) d'une onde sinusoïdale appelée porteuse.
Détermination du jour de la semaineLa détermination du jour de la semaine est un algorithme utilisé pour déterminer le jour de la semaine (lundi, mardi, mercredi, jeudi, vendredi, samedi, ou dimanche) connaissant la date, basé sur la notion mathématique de congruence. Il est aussi appelé congruence de Zeller, du mathématicien allemand Christian Zeller. L'année tropique moyenne (qui est désormais définie comme étant le temps nécessaire pour que la longitude écliptique du Soleil augmente de 360° – et non plus comme étant le temps séparant deux équinoxes de printemps successifs), donnée pour l'an 2000 par Pierre Bretagnon, astronome à l'Observatoire de Paris, compte , , et , soit .
Set-builder notationIn set theory and its applications to logic, mathematics, and computer science, set-builder notation is a mathematical notation for describing a set by enumerating its elements, or stating the properties that its members must satisfy. Defining sets by properties is also known as set comprehension, set abstraction or as defining a set's intension. Set (mathematics)#Roster notation A set can be described directly by enumerating all of its elements between curly brackets, as in the following two examples: is the set containing the four numbers 3, 7, 15, and 31, and nothing else.
Traitement du signalLe traitement du signal est la discipline qui développe et étudie les techniques de traitement, d'analyse et d' des . Parmi les types d'opérations possibles sur ces signaux, on peut dénoter le contrôle, le filtrage, la compression et la transmission de données, la réduction du bruit, la déconvolution, la prédiction, l'identification, la classification Bien que cette discipline trouve son origine dans les sciences de l'ingénieur (particulièrement l'électronique et l'automatique), elle fait aujourd'hui largement appel à de nombreux domaines des mathématiques, comme la , les processus stochastiques, les espaces vectoriels et l'algèbre linéaire et des mathématiques appliquées, notamment la théorie de l'information, l'optimisation ou encore l'analyse numérique.
Christian views on sinIn Christianity, 'sin' is an immoral act considered to be a transgression of divine law. The doctrine of sin is central to the Christian faith, since its basic message is about redemption in Christ. Hamartiology, a branch of Christian theology which is the study of sin, describes sin as an act of offence against God by despising his persons and Christian biblical law, and by injuring others. Christian hamartiology is closely related to concepts of natural law, moral theology and Christian ethics.
Tendances périodiquesvignette|313x313px|Les tendances périodiques des propriétés des éléments. Les tendances périodiques sont des patterns d'évolution de certaines propriétés des éléments à travers le tableau périodique. Ils ont été découverts par le chimiste russe Dmitri Mendeleïev en 1863. Les tendances principales sont le rayon atomique, l'énergie d'ionisation, l'affinité électronique, l'électronégativité, la valence et le caractère métallique. Ces tendances donnent une évaluation qualitative des propriétés des éléments.
Péché contre l'EspritLe péché contre l'Esprit, quelquefois appelé blasphème contre le Saint-Esprit (grec: τοῦ Πνεύματος βλασφημία tou Pneumatos blasphēmia, latin : blasphemia Spiritus « blasphème de l’Esprit »), est un concept chrétien issu d'une citation de Jésus commune aux trois évangiles synoptiques : « Mais quiconque aura parlé contre l'Esprit saint, cela ne lui sera remis ni en ce monde, ni dans l'autre. » (Mt 12, 31–32), ainsi que d'autres passages du Nouveau Testament notamment Hébreux 6: 4–6, Hébreux 10: 25–31 et 1 Jean 5: 16.
Algorithme du jour du Jugement derniervignette|John H Conway en 2005 L’algorithme de jour du Jugement dernier, ou méthode des jours pivots, ou méthode du clavedi, ou enfin méthode de Conway (à distinguer de la méthode de Conway pour le calcul de la date de Pâques), Doomsday rule ou Doomsday algorithm, est une méthode de calcul du jour de la semaine à une date précise. Elle fournit un calendrier perpétuel pour le calendrier grégorien et pour le calendrier julien.
Traitement numérique du signalLe traitement numérique du signal étudie les techniques de traitement (filtrage, compression, etc), d'analyse et d'interprétation des signaux numérisés. À la différence du traitement des signaux analogiques qui est réalisé par des dispositifs en électronique analogique, le traitement des signaux numériques est réalisé par des machines numériques (des ordinateurs ou des circuits dédiés). Ces machines numériques donnent accès à des algorithmes puissants, tel le calcul de la transformée de Fourier.
