Random-access stored-program machineIn theoretical computer science the random-access stored-program (RASP) machine model is an abstract machine used for the purposes of algorithm development and algorithm complexity theory. The RASP is a random-access machine (RAM) model that, unlike the RAM, has its program in its "registers" together with its input. The registers are unbounded (infinite in capacity); whether the number of registers is finite is model-specific. Thus the RASP is to the RAM as the Universal Turing machine is to the Turing machine.
Figure of speechA figure of speech or rhetorical figure is a word or phrase that intentionally deviates from ordinary language use in order to produce a rhetorical effect. Figures of speech are traditionally classified into schemes, which vary the ordinary sequence of words, and tropes, where words carry a meaning other than what they ordinarily signify. An example of a scheme is a polysyndeton: the repetition of a conjunction before every element in a list, whereas the conjunction typically would appear only before the last element, as in "Lions and tigers and bears, oh my!"—emphasizing the danger and number of animals more than the prosaic wording with only the second "and".
Grec ancienLe grec ancien est l’étape historique de la langue grecque qui s'étend du au Principale langue parlée et écrite en Grèce antique, elle devient le vecteur de la littérature grecque antique qui produit de nombreuses œuvres littéraires et scientifiques à l'influence durable, dont l’Iliade et l’Odyssée attribuées dans l'Antiquité au poète légendaire Homère. On distingue en grec ancien plusieurs dialectes bien distincts, le plus employé étant l'attique.
QiyâsLe terme qiyâs (قياس [qiyās], « analogie », « référence » ou « syllogisme ») désigne un type de raisonnement utilisé par les juristes musulmans pour déterminer la solution d'un problème de droit (fiqh, jurisprudence islamique) non prévu par les textes du Coran et de la sunna. Al-Ghazali le définit : « La déduction des règles du droit par le raisonnement » (Al-Mustasfa, I, 4). Il ne le considère pas comme une source du droit à part entière, mais comme une source secondaire, dans la mesure où l'analogie ne fait que s'appuyer sur les sources.
Validité (logique)En logique, la validité est la manière dont les prémisses et la conclusion concordent logiquement dans les arguments réussis. La forme d'une argumentation déductive est dite valide si et seulement si elle utilise des règles d’inférence par lesquelles il est impossible d’obtenir une conclusion fausse à partir de prémisses vraies. Un argument est valide si et seulement si la vérité de ses prémisses entraîne celle de sa conclusion. Il serait contradictoire d'affirmer les prémisses et de nier la conclusion.
MycénienLe mycénien est la forme de grec la plus anciennement attestée, parlée en Grèce continentale, en Crète et à Chypre du au . La langue est préservée dans des inscriptions en linéaire B, une écriture attestée pour la première fois en Crète avant le . La plupart de ces inscriptions ont été rédigées sur des tablettes en argile trouvées à Cnossos en Crète centrale et à Pylos dans le sud-ouest du Péloponnèse. D'autres tablettes ont été trouvées à Mycènes elle-même, à Tirynthe, à Thèbes, à La Canée en Crète occidentale et, plus récemment, à Midéa.
Phonétique et phonologie du grec ancienLa phonologie du grec ancien est l'étude et la pratique de la prononciation du grec ancien. Cette phonologie ne peut être traitée d'un bloc, puisque cette langue n'a pas toujours été prononcée de la même manière. Il convient donc de préciser de quel état du grec ancien on parle, en gardant à l'esprit que ce découpage est arbitraire. Aucune langue ne connaît d'évolution subites et discrètes, les modifications phonétiques sont continues et progressives. On s'est arrêté au grec de la koinè, le grec médiéval étant déjà très proche du grec moderne.
Aristotle's biologyAristotle's biology is the theory of biology, grounded in systematic observation and collection of data, mainly zoological, embodied in Aristotle's books on the science. Many of his observations were made during his stay on the island of Lesbos, including especially his descriptions of the marine biology of the Pyrrha lagoon, now the Gulf of Kalloni. His theory is based on his concept of form, which derives from but is markedly unlike Plato's theory of Forms.
Esthétiquevignette|Première page du livre intitulé Æsthetica de Baumgarten, 1750. On lui doit ce néologisme. L'esthétique (ou philosophie de l'art) est une discipline de la philosophie ayant pour objet les perceptions, les sens, le beau (dans la nature ou l'art), ou exclusivement ce qui se rapporte au concept de l'art. L'esthétique correspond ainsi au domaine désigné jusqu'au par « science du beau » ou « critique du goût », et devient depuis le la philosophie de l'art.
Watchmaker analogyThe watchmaker analogy or watchmaker argument is a teleological argument used to argue for the pseudoscientific concept of intelligent design. The analogy states that a design implies a designer, by an intelligent designer, i.e. a creator deity. The watchmaker analogy was given by William Paley in his 1802 book Natural Theology or Evidences of the Existence and Attributes of the Deity. The original analogy played a prominent role in natural theology and the "argument from design," where it was used to support arguments for the existence of God of the universe, in both Christianity and Deism.
