Histoire de la logiqueL'histoire de la logique, en Occident, prend ses racines dans la philosophie et les mathématiques de la Grèce antique pour se développer en richesse au . Des développements parallèles ont notamment eu lieu en Chine et en Inde. Le développement de la logique dans le monde arabo-musulman s'intègre à celui de l'Europe, du fait de leur proximité. La logique chinoise est longtemps restée isolée des développements de la logique en Europe et dans le monde arabo-musulman. 400 ans avant notre ère, la fondation de l'école du moïsme est attribuée à Mozi.
Variable discrèteIn mathematics and statistics, a quantitative variable may be continuous or discrete if they are typically obtained by measuring or counting, respectively. If it can take on two particular real values such that it can also take on all real values between them (even values that are arbitrarily close together), the variable is continuous in that interval. If it can take on a value such that there is a non-infinitesimal gap on each side of it containing no values that the variable can take on, then it is discrete around that value.
Variable (mathématiques)Dans les mathématiques supérieures et en logique, une variable est un symbole représentant, a priori, un objet indéterminé. On peut cependant ajouter des conditions sur cet objet, tel que l'ensemble ou la collection le contenant. On peut alors utiliser une variable pour marquer un rôle dans un prédicat, une formule ou un algorithme, ou bien résoudre des équations et d'autres problèmes. Il peut s'agir d'une simple valeur, ou d'un objet mathématique tel qu'un vecteur, une matrice ou même une fonction.
Logique traditionnelleEn philosophie, certains nomment logique traditionnelle celle qui a existé en Occident après Aristote et avant l'avènement de la logique mathématique moderne. Elle fut dominante en Europe depuis l'Antiquité jusqu'à la fin du . La logique d'Aristote est présentée dans six documents connus sous le nom dOrganon. Deux de ces documents, les Premiers Analytiques et De l'interprétation, contiennent l'étude des jugements et de l'inférence formelle et c'est cette partie des œuvres d'Aristote qui est passée à la postérité.
Théorie du contrôleEn mathématiques et en sciences de l'ingénieur, la théorie du contrôle a comme objet l'étude du comportement de systèmes dynamiques paramétrés en fonction des trajectoires de leurs paramètres. On se place dans un ensemble, l'espace d'état sur lequel on définit une dynamique, c'est-à-dire une loi mathématiques caractérisant l'évolution de variables (dites variables d'état) au sein de cet ensemble. Le déroulement du temps est modélisé par un entier .
Discrete time and continuous timeIn mathematical dynamics, discrete time and continuous time are two alternative frameworks within which variables that evolve over time are modeled. Discrete time views values of variables as occurring at distinct, separate "points in time", or equivalently as being unchanged throughout each non-zero region of time ("time period")—that is, time is viewed as a discrete variable. Thus a non-time variable jumps from one value to another as time moves from one time period to the next.
Infinithumb|∞ : le symbole infini. Le mot « infini » (-e, -s) est un adjectif servant à qualifier quelque chose qui n'a pas de limite en nombre ou en taille. Il vient du latin infīnītus, dérivé de fīnītus « limité » (avec in-, préfixe négatif), issu lui-même du verbe fīnĭo, fīnīre (« délimiter », mais aussi : « préciser », « déterminer », et intransitivement « finir »), et du nom fīnis (souvent au pluriel, fīnes : « bornes, limites d'un champ », « frontières d'un pays ») ; il signifie donc, littéralement « qui est sans borne », mais aussi « indéterminé » et « indéfini ».
