propeller head
<jargon>
Used by hackers, this is synonym with computer geek. Non-hackers sometimes use it to describe all techies. Probably derives from SF fandom's tradition (originally invented by old-time fan Ray Faraday Nelson) of propeller beanies as fannish insignia (though nobody actually wears them except as a joke).
[Jargon File]Last updated: 1995-01-18
propeller key
feature keyproportionally spaced font
proportional fontProposal Writing
Extension of Fortran for proposal writing. [Sammet 1969, p. 170].Last updated: 1995-01-18
proposition
<logic>
A statement in propositional logic which may be either true or false. Each proposition is typically represented by a letter in a formula such as "p => q", meaning proposition p implies proposition q.
Last updated: 2006-03-14
propositional calculus
propositional logicpropositional logic
<logic>
(or "propositional calculus") A system of symbolic logic using symbols to stand for whole propositions and logical connectives. Propositional logic only considers whether a proposition is true or false. In contrast to predicate logic, it does not consider the internal structure of propositions.
Last updated: 2002-05-21
Proposition of a Language Useable for Structured Specifications
<language>
(PLUSS) An algebraic specification language, built on top of ASL.
["A First Introduction to PLUSS", M.C. Gaudel, TR, U Paris Sud, Orsay 1984].Last updated: 2006-03-14
proprietary
1. In marketroid-speak, superior; implies a product imbued with exclusive magic by the unmatched brilliance of the company's own hardware or software designers. 2. In the language of hackers and users, inferior; implies a product not conforming to open-systems standards, and thus one that puts the customer at the mercy of a vendor who can inflate service and upgrade charges after the initial sale has locked the customer in. [Jargon File]Nearby terms:
proof theory ♦ propeller head ♦ propeller key ♦ proportionally spaced font
Try this search on Wikipedia, Wiktionary, Google, OneLook.
