Calcul des prédicatsEn logique mathématique, le calcul des prédicats du premier ordre, ou calcul des relations, logique quantificationnelle, ou tout simplement calcul des prédicats, est un système formel utilisé pour raisonner et décrire des énoncés en mathématiques, informatique, intelligence artificielle, philosophie et linguistique. Il a été proposé par Gottlob Frege une formalisation du langage des mathématiques entre la fin du et le début du .
ChirurgieLa chirurgie (du grec , formé à partir de , signifiant « main », et de , « travail ») est la partie de la thérapeutique qui implique des opérations internes ou des manœuvres externes sur les tissus, notamment par incision et suture. Un chirurgien est un professionnel de la santé habilité à pratiquer la chirurgie (médecin spécialiste, chirurgien-dentiste, vétérinaire). Un acte médical pratiqué par un chirurgien est une opération chirurgicale.
BiomatériauUn biomatériau (dit matériau biocompatible, à ne pas confondre avec les biomatériaux utilisés dans la construction, dit matériaux biosourcés) a été défini, selon la Société Européenne des Biomatériaux, comme « matériau conçu pour interagir avec les systèmes biologiques, qu'il participe à la constitution d'un dispositif à visée diagnostique ou à celle d'un substitut de tissu ou d'organe ou encore à celle d'un dispositif de suppléance (ou d'assistance) fonctionnelle » (Conférences de Chester (Royaume-Uni), 19
Capital risqueLe capital risque ou capital-risque (capital de risque au Québec ; en anglais : venture capital) est une activité d'investissement capitalistique spécialisée dans le financement de jeunes entreprises innovantes à haut potentiel de croissance. Il s'agit d'une activité d'investissement risquée du fait des importants risques du secteur des jeunes entreprises (demande insuffisante, technologie inadaptée, manque de trésorerie, etc.). Le capital-risque est constitutif de la finance.
Logique classiqueLa logique classique est la première formalisation du langage et du raisonnement mathématique développée à partir de la fin du en logique mathématique. Appelée simplement logique à ses débuts, c'est l'apparition d'autres systèmes logiques formels, notamment de la logique intuitionniste, qui a suscité l'adjonction de l'adjectif classique au terme logique. À cette époque, le terme de logique classique fait référence à la logique aristotélicienne.
ChirurgieLa chirurgie (du grec , formé à partir de , signifiant « main », et de , « travail ») est la partie de la thérapeutique qui implique des opérations internes ou des manœuvres externes sur les tissus, notamment par incision et suture. Un chirurgien est un professionnel de la santé habilité à pratiquer la chirurgie (médecin spécialiste, chirurgien-dentiste, vétérinaire). Un acte médical pratiqué par un chirurgien est une opération chirurgicale.
Science des matériauxLa science des matériaux repose sur la relation entre les propriétés, la morphologie structurale et la mise en œuvre des matériaux qui constituent les objets qui nous entourent (métaux, polymères, semi-conducteurs, céramiques, composites, etc.). Elle se focalise sur l'étude des principales caractéristiques des matériaux, ainsi que leurs propriétés mécaniques, chimiques, électriques, thermiques, optiques et magnétiques. La science des matériaux est au cœur de beaucoup des grandes révolutions techniques.
FinanceLa finance renvoie à un domaine d'activité , aujourd'hui mondialisé, qui consiste à fournir ou trouver l'argent ou les « produits financiers » nécessaire à la réalisation d'une opération économique. La finance permet de faire transiter des capitaux des agents économiques excédentaires (qui disposent d'une épargne à faire fructifier) aux agents économiques déficitaires, qui en ont besoin (pour se financer, croître, etc.) La finance regroupe à la fois le système financier et les opérations financières qui ont lieu dans ce système.
LogiqueLa logique — du grec , qui est un terme dérivé de signifiant à la fois « raison », « langage » et « raisonnement » — est, dans une première approche, l'étude de l'inférence, c'est-à-dire des règles formelles que doit respecter toute argumentation correcte. Le terme aurait été utilisé pour la première fois par Xénocrate. La logique antique se décompose d'abord en dialectique et rhétorique. Elle est depuis l'Antiquité l'une des grandes disciplines de la philosophie, avec l'éthique (philosophie morale) et la physique (science de la nature).
Health sciencesThe following outline is provided as an overview of and topical guide to health sciences: Health sciences are those sciences which focus on health, or health care, as core parts of their subject matter. Health sciences relate to multiple academic disciplines, including STEM disciplines and emerging patient safety disciplines (such as social care research). Medicine is an applied science or practice of the diagnosis, treatment, and prevention of disease.
