Search results

• Directory:Punzhu Puzzles/Cryptic
  In the early 1400's the Arabs devised and used both substitution and transposition ciphers. About 1412 al-Kalka-shandY included in his encyc ...evices and other code systems are but advances based upon the basic letter substitution created in the thirteen and fourteen hundreds.
  3 KB (652 words) - 03:31, 28 May 2007
• User:Jon Awbrey/DIFF/A
  The shift operator ''E'' can be understood as enacting a substitution operation on the proposition that is given as its argument. In our immedia we can define a couple of substitution operators:
  112 KB (11,050 words) - 14:19, 22 May 2007
• The Yellow Rose of Texas (song)
  In this version of the chorus, "soldier" replaced "darkey." The same substitution is made throughout the song.
  11 KB (1,687 words) - 20:23, 30 December 2017
• Directory:Jon Awbrey/Papers/Propositions As Types
  ...gies in the progress of this work. Renaming is the natural operation that substitution is the reverse of. With these humble beginnings we have reached a birthpla
  150 KB (9,422 words) - 23:54, 6 July 2013
• Del Close
  ...ed front teeth and had a patina indicating it was not a fresh skull. This substitution of skulls was in fact commonly known among associates of Close, but was all
  12 KB (1,834 words) - 22:59, 13 February 2012
• Directory:Jon Awbrey/Papers/Dynamics And Logic
  ...ift operator <math>\operatorname{E}</math> can be understood as enacting a substitution operation on the propositional form <math>f(p, q)\!</math> that is given as ...n of the type <math>L : G \times G \to G,</math> we can define a couple of substitution operators:
  127 KB (18,875 words) - 13:28, 10 December 2014
• Directory:Jon Awbrey/Papers/Differential Logic : Introduction
  The shift operator <math>\mathrm{E}\!</math> can be understood as enacting a substitution operation on the propositional form <math>f(p, q)\!</math> that is given as ...of the type <math>L : G \times G \to G,\!</math> we can define a couple of substitution operators:
  131 KB (20,198 words) - 15:38, 2 December 2015
• Directory:Jon Awbrey/Papers/Differential Logic
  ...shift operator <math>\mathrm{E}\!</math> can be understood as enacting a ''substitution operation'' on the proposition that is given as its argument. ...of the type <math>L : G \times G \to G,\!</math> we can define a couple of substitution operators:
  145 KB (19,916 words) - 19:32, 11 December 2014
• User:Jon Awbrey/Differential Logic Archive 2002
  The shift operator E can be understood as enacting a substitution operation we can define a couple of substitution operators:
  134 KB (14,931 words) - 13:30, 5 December 2014
• Directory:KJ Kitchens/Cook Books
  ...k from one language to another requires cultural recasting as well as word substitution, and in this the book's editors have been lax. The problems include non-idi
  30 KB (4,837 words) - 16:11, 5 January 2008
• Alaska Airlines Flight 261
  ...dered a number of potential reasons for this excessive wear, including the substitution by Alaska Airlines (with the approval of the aircraft manufacturer [[Boeing
  29 KB (4,408 words) - 04:06, 15 December 2008
• Directory:Jon Awbrey/Differential Logic : Various Sketches
  The shift operator ''E'' can be understood as enacting a substitution operation on the proposition that is given as its argument. In our immedia ...&nbsp;&times;&nbsp;''G''&nbsp;&rarr;&nbsp;''G'', we can define a couple of substitution operators:
  369 KB (46,156 words) - 04:20, 27 December 2016
• Directory:Quick and Easy Recipes
  ...es. Replace meat with high grade varieties that have less fat in them. The substitution can even be a little drastic. You can go with the vegetables you like inste
  68 KB (12,776 words) - 19:36, 2 March 2009
• Directory:Jon Awbrey/Papers/Futures Of Logical Graphs
  Of course, it is not really necessary to consider every possible substitution of arithmetic expressions for the algebraic variables, since only the value ...s to sidestep many of the mysteries that encumber particular mechanisms of substitution, which it takes all the rigors of combinator calculus and lambda calculus e
  168 KB (21,027 words) - 12:41, 6 August 2017
• User:Jon Awbrey/Mathematical Notes
  | attempts to describe axiomatically the process of substitution, so it is not | (based on definitions 1.3.1, 1.3.3) of 'substitution' of a term for a variable
  567 KB (86,909 words) - 21:00, 6 December 2016
• Directory:Jon Awbrey/Projects/Peircean Pragmata
  ...ductive inference can be put into practice, we must consider by itself the substitution of one symbol for another. Symbols are alterable and comparable in three w
  105 KB (16,763 words) - 20:36, 26 August 2017
• User:Jon Awbrey/Differential Logic Archive 2003–2004
  The shift operator E can be understood as enacting a substitution operation we can define a couple of substitution operators:
  899 KB (89,922 words) - 19:22, 6 December 2014
• User:Badmachine/wikimedia-operations-2013-07-31
  [15:30:10] <andrewbogott> hashar, that script has so many levels of substitution that my head is spinning, but I'm happy to merge if you promise that it'll
  253 KB (33,462 words) - 15:50, 18 April 2015
• User:Badmachine/wikipedia-en-2013-05-06
  13:14 < mareklug> Arial was designed as a poor man's substitution of Helvetica. Or rather, a rich corporation's substituion, to avoid licens
  132 KB (19,574 words) - 21:50, 23 January 2015
• Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 3.0
  ...unsatisfactory, but improvements will have to wait for the introduction of substitution operators acting on singular propositions.
  519 KB (74,456 words) - 15:46, 3 October 2013

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)