Constructive set theoryAxiomatic constructive set theory is an approach to mathematical constructivism following the program of axiomatic set theory. The same first-order language with "" and "" of classical set theory is usually used, so this is not to be confused with a constructive types approach. On the other hand, some constructive theories are indeed motivated by their interpretability in type theories. In addition to rejecting the principle of excluded middle (), constructive set theories often require some logical quantifiers in their axioms to be set bounded, motivated by results tied to impredicativity.
Recherche médicaleLa recherche médicale se divise en recherche fondamentale et clinique. La recherche médicale fondamentale vise à mieux comprendre le corps humain et ses maladies. La recherche médicale clinique se base sur les résultats de la recherche fondamentale pour inventer et prouver l’efficacité de nouveaux traitements. La recherche fondamentale en médecine vise à mieux comprendre le corps humain et ses maladies. Son spectre est très large et largement lié aux autres sciences.
Agriculture urbainethumb|300px|Les Fermes Lufa sont situées sur les toits des immeubles du grand Montréal. L’ et par extension, urbaine et périurbaine (AUP) est une forme émergente ou réémergente de pratiques agricoles effectuées en ville. Les activités agricoles (petits élevages, jardins, aquaculture...) urbaines et périurbaines ont toujours existé dans les villes ou à proximité pour des raisons pratiques d'approvisionnement alimentaire. Depuis l'antiquité, les villes ont ménagé des espaces d'habitation, d'artisanat (puis d'industrie) et d'agriculture.
Pollution lumineuseLa pollution lumineuse est à la fois la présence nocturne anormale ou gênante de lumière et les conséquences de l'éclairage artificiel nocturne sur la faune, la flore, la fonge (le règne des champignons), les écosystèmes ainsi que les effets suspectés ou avérés sur la santé humaine. Comme celle de pollution du ciel nocturne qui la remplace parfois et qui désigne particulièrement la disparition des étoiles du ciel nocturne en milieu urbain, la notion de pollution lumineuse est apparue dans la deuxième moitié du et a évolué depuis.
DaylightingDaylighting is the practice of placing windows, skylights, other openings, and reflective surfaces so that direct or indirect sunlight can provide effective internal lighting. Particular attention is given to daylighting while designing a building when the aim is to maximize visual comfort or to reduce energy use. Energy savings can be achieved from the reduced use of artificial (electric) lighting or from passive solar heating.
ÉlectionL'élection est la désignation, par le vote d'électeurs, de représentants (une personne, un groupe, un parti politique) destinés à les représenter ou occuper une fonction en leur nom. La population concernée transfère par le vote de sa majorité à des représentants ou mandants choisis, la légitimité requise pour exercer le pouvoir attribué (fonction censée être par ailleurs définie et orientée par le biais d'un programme politique). Le terme « Élection » provient du verbe latin « eligere » (choisir) et du substantif « electio » (choix).
Thèse de ChurchLa thèse de Church est une thèse concernant la définition de la notion de calculabilité. Dans une forme dite « physique », elle affirme que la notion physique de la calculabilité, définie comme étant tout traitement systématique réalisable par un processus physique ou mécanique, peut être exprimée par un ensemble de règles de calcul, défini de plusieurs façons dont on a pu démontrer mathématiquement qu'elles sont équivalentes.
Turing-completEn informatique et en logique, un système formel est dit complet au sens de Turing ou Turing-complet (par calque de l’anglais Turing-complete) s’il possède un pouvoir expressif au moins équivalent à celui des machines de Turing. Dans un tel système, il est donc possible de programmer n'importe quelle machine de Turing. Cette notion est rendue pertinente par la thèse de Church, qui postule l’existence d’une notion naturelle de calculabilité.
Bibliothèque numériqueUne bibliothèque numérique (virtuelle ou en ligne ou électronique) est une collection de documents (textes, images, sons) numériques (c'est-à-dire numérisés ou nés numériques) accessibles à distance (en particulier via Internet), proposant différentes modalités d'accès à l'information aux publics. Les documents peuvent être très élaborés, comme les livres numériques, ou beaucoup plus bruts. Elle peut aussi être définie comme un ensemble de collections mises en ligne pour un public précis.
ThèseUne thèse (du nom grec thesis, se traduisant par « action de poser ») est une affirmation ou prise de position d'un locuteur, à l'égard du sujet ou du thème qu'il évoque. En philosophie et rhétorique, une thèse est une affirmation, qui peut se résumer en une simple phrase, mais est généralement soutenue par un ensemble organisé d'hypothèses, d'arguments et de conclusions. Il s'agit donc de la position d'un auteur, d’une école, d’une doctrine ou d’un mouvement sur un sujet donné.
Educational researchEducational research refers to the systematic collection and analysis of data related to the field of education. Research may involve a variety of methods and various aspects of education including student learning, interaction, teaching methods, teacher training, and classroom dynamics. Educational researchers generally agree that research should be rigorous and systematic. However, there is less agreement about specific standards, criteria and research procedures. As a result, the value and quality of educational research has been questioned.
