Complexe de coordinationvignette| Le cisplatine est un complexe de coordination du platine() avec deux ligands chlorure et deux ligands ammoniac formant une ammine. C'est l'un des anticancéreux les plus connus. Un complexe de coordination est constitué d'un atome ou d'ion central, généralement métallique, appelé centre de coordination, et d'un réseau de molécules ou d'ions liés, appelés ligands. De nombreux composés contenant des métaux, en particulier ceux qui comprennent des métaux de transition (éléments tels que le titane qui appartiennent au bloc du tableau périodique), sont des complexes de coordination.
Sphère de coordinationEn chimie de coordination, une sphère de coordination est l'ensemble formé par un atome ou ion central, entouré par l'ensemble de ses ligands, molécules ou anions. Les molécules liées de façon non-covalente aux ligands sont appelés seconde sphère de coordination. La première sphère de coordination réfère aux molécules directement attachées au métal central. Ces molécules sont typiquement des solvants. Les interactions entre la première et la seconde sphère de coordination implique généralement des liaisons hydrogène.
Polyèdre de coordinationLa notion de polyèdre de coordination est utilisée en cristallographie et en chimie pour décrire l'environnement d'une espèce chimique par ses ligands dans un cristal ou un complexe. Il s'agit du polyèdre formé par les ligands autour de l'espèce chimique centrale. La coordinence, c'est-à-dire le nombre de ligands, n'est pas suffisante pour décrire l'environnement d'une espèce chimique, car pour une coordinence donnée, il peut exister plusieurs polyèdres de coordination.
Langage formelUn langage formel, en mathématiques, en informatique et en linguistique, est un ensemble de mots. L'alphabet d'un langage formel est l'ensemble des symboles, lettres ou lexèmes qui servent à construire les mots du langage ; souvent, on suppose que cet alphabet est fini. La théorie des langages formels a pour objectif de décrire les langages formels. Les mots sont des suites d'éléments de cet alphabet ; les mots qui appartiennent à un langage formel particulier sont parfois appelés mots bien formés ou formules bien formées.
Géométrie moléculaire octaédriqueEn chimie, une géométrie moléculaire octaédrique est la géométrie des molécules où un atome central, noté A, est lié à six atomes, groupe d'atomes ou ligands, notés X, formant un octaèdre régulier. Cette configuration est notée AX6E0 selon la théorie VSEPR. Les angles de liaison sont de 90° lorsque tous les substituants sont les mêmes, et la structure est alors un octaèdre parfait appartenant au groupe ponctuel de symétrie Oh.
Sémantique dénotationnelleEn informatique, la sémantique dénotationnelle est une des approches permettant de formaliser la signification d'un programme en utilisant les mathématiques. Parmi les autres approches, on trouve la sémantique axiomatique et la sémantique opérationnelle. Cette discipline a été introduite par Christopher Strachey et Dana Scott. En général, la sémantique dénotationnelle utilise des techniques de programmation fonctionnelle pour décrire les langages informatiques, les architectures et les programmes.
Software development processIn software engineering, a software development process is a process of planning and managing software development. It typically involves dividing software development work into smaller, parallel, or sequential steps or sub-processes to improve design and/or product management. It is also known as a software development life cycle (SDLC). The methodology may include the pre-definition of specific deliverables and artifacts that are created and completed by a project team to develop or maintain an application.
Grammaire formelleUne grammaire formelle est un formalisme permettant de définir une syntaxe et donc un langage formel, c'est-à-dire un ensemble de mots admissibles sur un alphabet donné. La notion de grammaire formelle est particulièrement utilisée en programmation logique, compilation (analyse syntaxique), en théorie de la calculabilité et dans le traitement des langues naturelles (tout particulièrement en ce qui concerne leur morphologie et leur syntaxe).
Développement de logicielLe développement de logiciel consiste à étudier, concevoir, construire, transformer, mettre au point, maintenir et améliorer des logiciels. Ce travail est effectué par les employés d'éditeurs de logiciels, des entreprises de services du numérique (ESN), des travailleurs indépendants (freelance) et des membres de la communauté du logiciel libre. Un logiciel est créé petit à petit par une équipe d'ingénieurs conformément à un cahier des charges établi par un client demandeur ou une équipe interne.
Méthode formelle (informatique)En informatique, les méthodes formelles sont des techniques permettant de raisonner rigoureusement, à l'aide de logique mathématique, sur un programme informatique ou du matériel électronique numérique, afin de démontrer leur validité par rapport à une certaine spécification. Elles reposent sur les sémantiques des programmes, c'est-à-dire sur des descriptions mathématiques formelles du sens d'un programme donné par son code source (ou, parfois, son code objet).
