Théorie de la complexité (informatique théorique)vignette|Quelques classes de complexité étudiées dans le domaine de la théorie de la complexité. Par exemple, P est la classe des problèmes décidés en temps polynomial par une machine de Turing déterministe. La théorie de la complexité est le domaine des mathématiques, et plus précisément de l'informatique théorique, qui étudie formellement le temps de calcul, l'espace mémoire (et plus marginalement la taille d'un circuit, le nombre de processeurs, l'énergie consommée ...) requis par un algorithme pour résoudre un problème algorithmique.
Computational complexityIn computer science, the computational complexity or simply complexity of an algorithm is the amount of resources required to run it. Particular focus is given to computation time (generally measured by the number of needed elementary operations) and memory storage requirements. The complexity of a problem is the complexity of the best algorithms that allow solving the problem. The study of the complexity of explicitly given algorithms is called analysis of algorithms, while the study of the complexity of problems is called computational complexity theory.
Classe de complexitéEn informatique théorique, et plus précisément en théorie de la complexité, une classe de complexité est un ensemble de problèmes algorithmiques dont la résolution nécessite la même quantité d'une certaine ressource. Une classe est souvent définie comme l'ensemble de tous les problèmes qui peuvent être résolus sur un modèle de calcul M, utilisant une quantité de ressources du type R, où n, est la taille de l'entrée. Les classes les plus usuelles sont celles définies sur des machines de Turing, avec des contraintes de temps de calcul ou d'espace.
Quantum complexity theoryQuantum complexity theory is the subfield of computational complexity theory that deals with complexity classes defined using quantum computers, a computational model based on quantum mechanics. It studies the hardness of computational problems in relation to these complexity classes, as well as the relationship between quantum complexity classes and classical (i.e., non-quantum) complexity classes. Two important quantum complexity classes are BQP and QMA.
AntiréalismeEn philosophie analytique, le terme antiréalisme décrit toute position impliquant le refus d'une réalité objective. Ainsi, on peut parler de l'antiréalisme à l'égard des , du passé, du futur, des universaux, des entités mathématiques (telles que les entiers naturels), des catégories morales, du monde matériel ou même de la pensée. Deux interprétations sont clairement distinctes mais souvent confondues.
Complexité paramétréeEn algorithmique, la complexité paramétrée (ou complexité paramétrique) est une branche de la théorie de la complexité qui classifie les problèmes algorithmiques selon leur difficulté intrinsèque en fonction de plusieurs paramètres sur les données en entrée ou sur la sortie. Ce domaine est étudié depuis les années 90 comme approche pour la résolution exacte de problèmes NP-complets. Cette approche est utilisée en optimisation combinatoire, notamment en algorithmique des graphes, en intelligence artificielle, en théorie des bases de données et en bio-informatique.
PropriétéLa propriété est la possession d'un bien meuble ou immeuble ou d'une production intellectuelle, reconnue et consacrée par une autorité (divine ou humaine), la société, la loi, la raison générale ou le consentement universel C'est selon Pierre-Joseph Proudhon une usucapion ou une usurpation. La Révolution française a exalté le droit de propriété : inviolable et sacrée, selon l'article 17 de la Déclaration des droits de l'homme et du citoyen de 1789.
MétaphysiqueLa métaphysique est la branche de la philosophie qui étudie la nature fondamentale de la réalité. Elle s'intéresse à des concepts tels que l'être et l'identité, l'espace et le temps, la causalité, la nécessité et la possibilité. Elle comprend notamment des questions sur la nature de la conscience et la relation entre l'esprit et la matière, ou entre la substance et l'attribut. La métaphysique est considérée comme l'une des quatre principales branches de la philosophie, avec l'épistémologie (ou théorie de la connaissance, ou encore gnoséologie en un sens plus large), la logique et l'éthique.
Physique des particulesLa physique des particules ou la physique subatomique est la branche de la physique qui étudie les constituants élémentaires de la matière et les rayonnements, ainsi que leurs interactions. On l'appelle aussi parfois physique des hautes énergies car de nombreuses particules élémentaires, instables, n'existent pas à l'état naturel et peuvent seulement être détectées lors de collisions à hautes énergies entre particules stables dans les accélérateurs de particules.
Droitvignette|La Loi par Jean-Jacques Feuchère. Marbre, 1852. Place du Palais-Bourbon, VIIe arrondissement de Paris. Le droit est défini comme , ou de façon plus complète . Ces règles, appelées règles de droit sont impersonnelles, abstraites, obligatoires et indiquent ce qui « doit être fait ». Ces règles juridiques peuvent trouver leur source dans une source normative « supérieure », extérieure, transcendante, comme le droit naturel, ou découler de normes intrinsèques, issues de la morale et de la raison.
Social complexityIn sociology, social complexity is a conceptual framework used in the analysis of society. In the sciences, contemporary definitions of complexity are found in systems theory, wherein the phenomenon being studied has many parts and many possible arrangements of the parts; simultaneously, what is complex and what is simple are relative and change in time. Contemporary usage of the term complexity specifically refers to sociologic theories of society as a complex adaptive system, however, social complexity and its emergent properties are recurring subjects throughout the historical development of social philosophy and the study of social change.
ArgumentationL’argumentation est l'action de convaincre et pousser ainsi l'autre à agir. Contrairement à la persuasion, elle vise à être comprise de tous et résiste à l'utilisation d'arguments fallacieux. L’argument est, en logique et en linguistique, l’ensemble des prémisses données en support à une conclusion. Une argumentation est composée d'une conclusion et d'un ou de plusieurs « éléments de preuve », que l'on appelle des prémisses ou des arguments, et qui constituent des raisons d'accepter cette conclusion.
Propriété personnelleLa propriété personnelle (en anglais personal property) est un type de propriété hérité du droit romain qu'on retrouve aujourd'hui dans le système de droit anglais dit de Common law mais qui ne correspond à aucune classification française. La propriété personnelle porte sur des biens mobiliers corporels ou non, et se distingue de la « propriété réelle » (real property) qui porte sur l'immobilier. En droit romain, la propriété personnelle est appelée propriété mobilière (n'importe quelle chose qui peut être déplacée d'un endroit à un autre).
Complexité de KolmogorovEn informatique théorique et en mathématiques, plus précisément en théorie de l'information, la complexité de Kolmogorov, ou complexité aléatoire, ou complexité algorithmique d'un objet — nombre, , chaîne de caractères — est la taille du plus petit algorithme (dans un certain langage de programmation fixé) qui engendre cet objet. Elle est nommée d'après le mathématicien Andreï Kolmogorov, qui publia sur le sujet dès 1963. Elle est aussi parfois nommée complexité de Kolmogorov-Solomonoff.
Conseil (informatique théorique)En théorie de la complexité, un conseil est une entrée supplémentaire passée à une machine de Turing qui dépend de la taille de l'entrée, afin d'aider la machine à reconnaître un langage. Cette notion est introduite par Richard Karp et Richard J. Lipton en 1982. Étant donnés une fonction et une classe de complexité , la classe est l'ensemble des langages tels qu'il existe un langage et une suite de conseils de taille tels que pour toute entrée de taille , si et seulement si .
Constante physiquevignette|Dépendances des constantes définissant les unités du SI depuis 2019. Ici, a → b signifie que a est utilisé pour définir b. En science, une constante physique est une quantité physique dont la valeur numérique est fixe. Contrairement à une constante mathématique, elle implique directement une grandeur physiquement mesurable. Les valeurs listées ci-dessous sont des valeurs dont on a remarqué qu'elles semblaient constantes et indépendantes de tous paramètres utilisés, et que la théorie suppose donc réellement constantes.
Particle Data GroupLe Particle Data Group est une collaboration internationale de physiciens des particules compulsant et réanalysant les résultats publiés relatifs aux propriétés des particules élémentaires et des interactions fondamentales. Il publie également des revues sur les résultats théoriques importants d'un point de vue phénoménologique comme en cosmologie. Le Particle Data Group publie biannuellement sa Review of Particle Physics (Revue de la physique des particules) en version poche, appelé le Particle Data Booklet (Livret de données sur les particules).
PhysicalismeLe physicalisme, d'après le néologisme allemand « Physikalismus » forgé vers 1930 par Rudolf Carnap, est la thèse, ou doctrine, selon laquelle toutes les connaissances sont réductibles, au moins théoriquement, aux énoncés de la physique. Les sciences humaines et sociales dont l'art, tout comme les sciences de la nature, qui ont chacune leur vocabulaire et leurs concepts spécifiques, pourraient être retranscrites dans la langue de la physique.
Activités en immobilierL'activité en immobilier est une expression définissant et incluant toute activité commerciale ou privée ayant trait aux biens immobiliers. Le terme désigne communément les activités de gestion et transaction s'opérant sur ces biens, mais il touche également de nombreuses activités connexes telles que : le logement, la construction, la promotion, le conseil, l'urbanisme, l'architecture, la gérance, etc. Le droit et la finance sont des domaines d'activité indispensables au fonctionnement du marché de l’immobilier.
Argument mapAn argument map or argument diagram is a visual representation of the structure of an argument. An argument map typically includes all the key components of the argument, traditionally called the conclusion and the premises, also called contention and reasons. Argument maps can also show co-premises, objections, counterarguments, rebuttals, and lemmas. There are different styles of argument map but they are often functionally equivalent and represent an argument's individual claims and the relationships between them.
