TI-BasicTI-Basic est le nom du langage de programmation des calculatrices graphiques Texas Instruments (Depuis lors remplacé officiellement par le langage Python sur les derniers modèles). Par sa philosophie et ses capacités, ce langage se rapproche du BASIC, d'où son nom. Cependant, sa syntaxe est substantiellement différente de celle du BASIC. Le TI-Basic des calculatrices basées sur le Motorola 68000 (« 68 K ») (TI89) n'est pas le même que celui des calculatrices basées sur le Z80 (TI-83,TI-84).
TI-83La TI-83 est une calculatrice graphique programmable commercialisée par Texas Instruments. Elle possède de nombreuses fonctionnalités, parmi lesquelles des graphes de fonctions, modes polaire/paramétrique/séquentiel, des fonctions statistiques, trigonométriques et algébriques. La TI-83 est une mise à jour de la TI-82. Elle est la première calculatrice TI à supporter d'office le langage assembleur. En effet, la TI-85 et la TI-82 supportent l'assembleur, mais seulement après leur avoir envoyé une sauvegarde spéciale (hackée) de la mémoire.
Théorie des ensemblesLa théorie des ensembles est une branche des mathématiques, créée par le mathématicien allemand Georg Cantor à la fin du . La théorie des ensembles se donne comme primitives les notions d'ensemble et d'appartenance, à partir desquelles elle reconstruit les objets usuels des mathématiques : fonctions, relations, entiers naturels, relatifs, rationnels, nombres réels, complexes... C'est pourquoi la théorie des ensembles est considérée comme une théorie fondamentale dont Hilbert a pu dire qu'elle était un « paradis » créé par Cantor pour les mathématiciens.
TI-Nspirethumb|TI-Nspire avec clickpad amovible. thumb|TI-Nspire CAS avec clickpad fixe. thumb|TI-Nspire avec Touchpad. thumb|TI-Nspire CAS avec Touchpad. thumb|TI-Nspire CX. thumb|TI-Nspire CX CAS. La ligne de produits TI-Nspire est une série de calculatrices graphiques développée par Texas Instruments (TI). Cette ligne comprend actuellement la TI-Nspire originale, la TI-Nspire CAS, la TI-Nspire CX et la TI-Nspire CX CAS. Il existe également des logiciels pour Windows et Mac OS X permettant de simuler les calculatrices et de créer/éditer des fichiers qui pourront y être lus.
Raisonnement par récurrencevignette|Le raisonnement par récurrence est comme une suite de dominos. Si la propriété est vraie au rang n0 (i. e. le premier domino de numéro 0 tombe) et si sa véracité au rang n implique celle au rang n + 1 (i. e. la chute du domino numéro n fait tomber le domino numéro n + 1) alors la propriété est vraie pour tout entier (i. e. tous les dominos tombent). En mathématiques, le raisonnement par récurrence (ou par induction, ou induction complète) est une forme de raisonnement visant à démontrer une propriété portant sur tous les entiers naturels.
Goal settingGoal setting involves the development of an action plan designed in order to motivate and guide a person or group toward a goal. Goals are more deliberate than desires and momentary intentions. Therefore, setting goals means that a person has committed thought, emotion, and behavior towards attaining the goal. In doing so, the goal setter has established a desired future state which differs from their current state thus creating a mismatch which in turn spurs future actions.
TI-92La TI-92 est une calculatrice graphique programmable commercialisée par Texas Instruments à partir de 1995. Elle dispose de deux fonctionnalités extrêmement novatrices à l'époque : un logiciel de calcul formel et un logiciel de géométrie interactive, ce qui lui vaut à sa sortie des critiques élogieuses. La TI-92 Plus puis la Voyage 200 sont des évolutions de la TI-92 sorties respectivement en 1998 et 2002 qui introduisent un matériel amélioré et de nouvelles fonctionnalités logicielles.
Théorie des ensembles approximatifsThéorie des ensembles approximatifs – est un formalisme mathématique proposé en 1982 par le professeur Zdzisław Pawlak. Elle généralise la théorie des ensembles classique. Un ensemble approximatif (anglais : rough set) est un objet mathématique basé sur la logique 3 états. Dans sa première définition, un ensemble approximatif est une paire de deux ensembles : une approximation inférieure et une approximation supérieure. Il existe également un type d'ensembles approximatifs défini par une paire d'ensembles flous (anglais : fuzzy set).
Souvenir (mémoire)Un souvenir est quelque chose dont on se remémore, un élément de la mémoire. Paul Valéry Pour René Descartes, la description des mécanismes psychologiques permet de définir certaines de nos facultés. Ainsi le souvenir des choses matérielles est-il la conservation de certaines traces de mouvements provoqués dans notre cerveau. De même, l'imagination ne s'explique que par des mouvements corporels joints à une certaine activité de l'âme.
Goal orientationGoal orientation, or achievement orientation, is an "individual disposition towards developing or validating one's ability in achievement settings". In general, an individual can be said to be mastery or performance oriented, based on whether one's goal is to develop one's ability or to demonstrate one's ability, respectively. A mastery orientation is also sometimes referred to as a learning orientation. Goal orientation refers to how an individual interprets and reacts to tasks, resulting in different patterns of cognition, affect and behavior.
Théorie de la démonstrationLa théorie de la démonstration, aussi connue sous le nom de théorie de la preuve (de l'anglais proof theory), est une branche de la logique mathématique. Elle a été fondée par David Hilbert au début du . Hilbert a proposé cette nouvelle discipline mathématique lors de son célèbre exposé au congrès international des mathématiciens en 1900 avec pour objectif de démontrer la cohérence des mathématiques.
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.
