Démocratie libéralevignette|Le défilé pour le suffrage féminin en 1913, officiellement appelé « Woman suffrage procession » ou « Woman suffrage parade » en anglais. La démocratie libérale, parfois appelée démocratie occidentale, est une idéologie politique et une forme de gouvernement dans laquelle la démocratie représentative fonctionne selon les principes du libéralisme, à savoir la protection des libertés de l'individu.
Colonisation de l'espacethumb|upright=1.2|Habitat spatial en construction de type tore de Stanford, dessin d'artiste pour la NASA, 1975.|alt=Vue d'artiste d'un habitat spatial. La colonisation de l'espace, ou colonisation spatiale, est au-delà d'un sujet classique de fiction, un projet astronautique d'habitation humaine permanente et en grande partie auto-suffisante en dehors de la Terre. Elle est liée à l'exploration spatiale.
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.
Démonstration formelleUne démonstration formelle est une séquence finie de propositions (appelées formules bien formées dans le cas d'un langage formel) dont chacun est un axiome, une hypothèse, ou résulte des propositions précédentes dans la séquence par une règle d'inférence. La dernière proposition de la séquence est un théorème d'un système formel. La notion de théorème n'est en général pas effective, donc n'existe pas de méthode par laquelle nous pouvons à chaque fois trouver une démonstration d'une proposition donnée ou de déterminer s'il y en a une.
Système formelUn système formel est une modélisation mathématique d'un langage en général spécialisé. Les éléments linguistiques, mots, phrases, discours, etc., sont représentés par des objets finis (entiers, suites, arbres ou graphes finis...). Le propre d'un système formel est que la correction au sens grammatical de ses éléments est vérifiable algorithmiquement, c'est-à-dire que ceux-ci forment un ensemble récursif.
Expression (mathématiques)In mathematics, an expression or mathematical expression is a finite combination of symbols that is well-formed according to rules that depend on the context. Mathematical symbols can designate numbers (constants), variables, operations, functions, brackets, punctuation, and grouping to help determine order of operations and other aspects of logical syntax. Many authors distinguish an expression from a formula, the former denoting a mathematical object, and the latter denoting a statement about mathematical objects.
Expression régulièrevignette|Stephen Cole Kleene, dont les travaux ont fondé le concept d'expression régulière. En informatique, une expression régulière ou expression rationnelle ou expression normale ou motif est une chaîne de caractères qui décrit, selon une syntaxe précise, un ensemble de chaînes de caractères possibles. Les expressions régulières sont également appelées regex (un mot-valise formé depuis l'anglais regular expression). Les expressions rationnelles sont issues des théories mathématiques des langages formels des années 1940.
Démocratievignette|La République instruisant la Démocratie (statue du Père-Lachaise, division 65). Le terme démocratie, du grec ancien δημοκρατία / dēmokratía, combinaison de δῆμος / dêmos, « peuple » (de δαίομαι / daíomai, « distribuer, répartir »), et kratos, « le pouvoir », dérivé du verbe kratein, « commander », désigne à l'origine un régime politique dans lequel tous les citoyens participent aux décisions publiques et à la vie politique de la cité.
Natural-gas processingNatural-gas processing is a range of industrial processes designed to purify raw natural gas by removing contaminants such as solids, water, carbon dioxide (CO2), hydrogen sulfide (H2S), mercury and higher molecular mass hydrocarbons (condensate) to produce pipeline quality dry natural gas for pipeline distribution and final use. Some of the substances which contaminate natural gas have economic value and are further processed or sold. Hydrocarbons that are liquid at ambient conditions: temperature and pressure (i.
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).
