Computable functionComputable functions are the basic objects of study in computability theory. Computable functions are the formalized analogue of the intuitive notion of algorithms, in the sense that a function is computable if there exists an algorithm that can do the job of the function, i.e. given an input of the function domain it can return the corresponding output. Computable functions are used to discuss computability without referring to any concrete model of computation such as Turing machines or register machines.
Nombre réel calculablevignette|π est calculable avec un précision arbitraire alors que presque tous les nombres réels sont non calculables. En informatique et algorithmique, un nombre réel calculable est un réel pour lequel il existe un algorithme ou une machine de Turing permettant d'énumérer la suite de ses chiffres (éventuellement infinie), ou plus généralement des symboles de son écriture sous forme de chaîne de caractères. De manière plus générale, et équivalente, un nombre réel est calculable si on peut en calculer une approximation aussi précise que l'on veut, avec une précision connue.
Théorie de la calculabilitéLa théorie de la calculabilité (appelée aussi parfois théorie de la récursion) est un domaine de la logique mathématique et de l'informatique théorique. La calculabilité (parfois appelée « computationnalité », de l'anglais computability) cherche d'une part à identifier la classe des fonctions qui peuvent être calculées à l'aide d'un algorithme et d'autre part à appliquer ces concepts à des questions fondamentales des mathématiques. Une bonne appréhension de ce qui est calculable et de ce qui ne l'est pas permet de voir les limites des problèmes que peuvent résoudre les ordinateurs.
ComputabilityComputability is the ability to solve a problem in an effective manner. It is a key topic of the field of computability theory within mathematical logic and the theory of computation within computer science. The computability of a problem is closely linked to the existence of an algorithm to solve the problem. The most widely studied models of computability are the Turing-computable and μ-recursive functions, and the lambda calculus, all of which have computationally equivalent power.
Scientific theoryA scientific theory is an explanation of an aspect of the natural world and universe that can be (or a fortiori, that has been) repeatedly tested and corroborated in accordance with the scientific method, using accepted protocols of observation, measurement, and evaluation of results. Where possible, theories are tested under controlled conditions in an experiment. In circumstances not amenable to experimental testing, theories are evaluated through principles of abductive reasoning.
Sciences socialesvignette|333x333px|Peinture datant d'environ , dans la grotte Chauvet. Les sciences sociales étudient l'humanité, de ses origines (paléoanthropologie) à sa psyché, en passant par ses aspects culturels et singuliers. Les sciences sociales sont un ensemble de disciplines académiques ayant en commun l'étude du social humain, et des interactions sociales entre les individus, les groupes et leurs environnements. Selon les approches, elles peuvent tendre plus vers les sciences naturelles et cognitives, ou au contraire, vers la philosophie ou les lettres.
Études des sciences et des techniquesLes études des sciences et des techniques, mieux connues dans le monde anglo-saxon sous le nom de Science and technology studies (STS ou S&TS) sont un domaine de recherche interdisciplinaire en sciences sociales qui s'est développé durant les années 1960-1970. Les STS étudient la manière dont les facteurs sociaux, politiques ou culturels interviennent dans les recherches scientifiques ou les innovations technologiques et, comment, en retour, ces dernières modifient la société, le politique ou la culture.
Méthode scientifiqueLa méthode scientifique désigne l'ensemble des canons guidant ou devant guider le processus de production des connaissances scientifiques, qu'il s'agisse d'observations, d'expériences, de raisonnements, ou de calculs théoriques. Très souvent, le terme de « méthode » engage l'idée implicite de son unicité, tant auprès du grand public que de certains chercheurs, qui de surcroît la confondent parfois avec la seule méthode hypothético-déductive.
Étude de casL’étude de cas est une méthode utilisée dans les études qualitatives en sciences humaines et sociales, en psychologie ou en psychanalyse, mais elle peut être utilisée dans les études pour se pencher sur un cas en particulier. Elle vise l'étude approfondie d'un cas spécifié, qu'il soit une personne, un groupe ou un sujet spécifique. Elle peut être considérée à juste titre comme l’une des plus stimulantes d’entre elles tant par ce qu’elle comporte d’exigences pour le chercheur, que par les défis théoriques et méthodologiques qu’elle pose et enfin, par les connaissances du social qu’elle permet d’élaborer.
Philosophy of social scienceThe philosophy of social science is the study of the logic, methods, and foundations of social sciences (psychology, cultural anthropology, sociology, etc...). Philosophers of social science are concerned with the differences and similarities between the social and the natural sciences, causal relationships between social phenomena, the possible existence of social laws, and the ontological significance of structure and agency.
Science studiesLes Science studies (mot à mot « études sur la science », parfois désignées par l'acronyme STS) sont un champ de recherche interdisciplinaire qui vise à élucider le fonctionnement concret de la science et de son articulation avec le reste de la société en s'appuyant tant sur la sociologie que sur la philosophie, l'économie, l'anthropologie, l'histoire ou d'autres disciplines des sciences humaines et sociales.
Forêtalt=|vignette|344x344px|Forêt tropicale d'Amérique du Sud vignette|upright=1.3|Vue intérieure d'une forêt tempérée mixte en France. vignette|upright=1.3|Bush australien. vignette|upright=1.3|Forêt inondée en Pologne. vignette|upright=1.3|Forêt tempérée de résineuxîles San Juan, État de Washington. Une forêt ou un massif forestier est un écosystème, relativement étendu, constitué principalement d'un d'arbres, arbustes et arbrisseaux (fruticée), ainsi que de l'ensemble des autres espèces qui lui sont associées et qui vivent en interaction au sein de ce milieu.
La Structure des révolutions scientifiquesLa Structure des révolutions scientifiques (The Structure of Scientific Revolutions) est un essai rédigé par le philosophe et historien des sciences, Thomas Samuel Kuhn. Paru en 1962, revu en 1970, l'ouvrage est incontestablement son œuvre majeure. Il y modélise notamment la science comme phénomène social et analyse les implications de cette approche, en s'appuyant sur de nombreux exemples tirés de l'Histoire des sciences.
GoogleGoogle LLC est une entreprise américaine de services technologiques fondée en dans la Silicon Valley, en Californie, par Larry Page et Sergey Brin, créateurs du moteur de recherche Google. C'est une filiale de la société Alphabet depuis . L'entreprise s'est principalement fait connaître à travers la situation monopolistique de son moteur de recherche, concurrencé historiquement par AltaVista puis par Yahoo! et Bing.
Forêt de nuageLa forêt de nuage est un type de forêt humide qu'on trouve généralement en milieu tropical de montagne, entre et d'altitude, portant également le nom de forêt nébuleuse, forêt orophile (« aimant la montagne »), nebelwald (nom allemand) ou forêt brumeuse (expression historiquement employée). Le terme forêt de nuage vient de l'anglais cloud forest du fait que ces forêts baignent dans un brume quasi-permanente. Les forêts de nuage existent aussi en zone tempérée, mais y sont plus rares et moins étendues.
Google Docs, Sheets, Slides et FormsLa suite bureautique de Google, disponible via Google Drive, inclut Google Docs, un logiciel de traitement de texte basé sur le Web, Sheets, un tableur, et Slides, un logiciel de présentation. Cette suite permet de créer et de modifier des documents en ligne et de travailler en équipe, en temps réel. Les trois applications sont disponibles aussi bien en tant qu'applications Web, qu'applications Chrome fonctionnant hors ligne et qu'applications mobiles pour Android et iOS.
Google Drivevignette|Un exemple de fichier texte avec interface en allemand. Google Drive ou Google Disque au Canada francophone est un service de stockage et de partage de fichiers dans le cloud lancé par la société Google. Google Drive, qui regroupe Google Docs, Sheets, Slides et Drawings, est une suite bureautique permettant de modifier des documents, des feuilles de calcul, des présentations, des dessins, des formulaires, etc. Les utilisateurs peuvent rechercher les fichiers partagés publiquement sur Google Drive par l'entremise de moteurs de recherche Web.
Science educationScience education is the teaching and learning of science to school children, college students, or adults within the general public. The field of science education includes work in science content, science process (the scientific method), some social science, and some teaching pedagogy. The standards for science education provide expectations for the development of understanding for students through the entire course of their K-12 education and beyond. The traditional subjects included in the standards are physical, life, earth, space, and human sciences.
Google LivresGoogle Livres, ou Google Books en anglais (anciennement Google Print), est un service en ligne de numérisation et de mise en ligne de livres fourni par Google. Lancé en , il dispose de moyens financiers et techniques considérables, et a vu son champ d'activité s'élargir progressivement. En 2017, c'est à la fois un outil de recherche intra-texte, de consultation de livres en ligne ou sur appareil mobile, de constitution de collections personnelles, et de téléchargement d'ouvrages libres de droits.
Forêt secondairevignette|Carte mondiale du World Resources Institute représentant les forêts plantées (planted forest) et les cultures arbustives (tree crops). thumb|Redwood endommagé par le typhon Frieda et repousse, Parc Stanley, Vancouver (Canada) La forêt secondaire, par opposition à la forêt primaire, est une forêt (biomasse ligneuse) qui a repoussé, en une ou plusieurs phases après avoir été détruite (par exemple par l'agriculture sur brûlis) ou exploitée par l'homme par des coupes rases ou avec des impacts plus discrets mais significatifs pour les essences ou la structure forestières.
