Search results

• Directory talk:Jon Awbrey/Papers/Cactus Language
  |'Computing with Logic: Logic Programming with Prolog', cactus language as a very simple sort of declarative programming
  191 KB (21,069 words) - 21:01, 29 June 2009
• User:Jon Awbrey/PROSPECT
  programming. I will attempt to embody this project in the form of programming that challenges workers in AI to represent intelligent processes
  162 KB (25,941 words) - 13:28, 9 January 2008
• Directory:The Wikipedia Point of View/Peter Damian Evidence
  ..., and does not belong on the project. Another example is [[Neurolinguistic programming]]. This falls in between the areas of crank psychology and promotional mat ...med that the eminent linguist George Lakoff had endorsed [[Neurolinguistic programming]] - a significant and important fact if true, but had he bothered to check
  19 KB (2,842 words) - 11:26, 1 April 2011
• Directory talk:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6
  ...all the ''sign convention'', observing it to be the treatment of choice in programming and formal language studies. In the formal language context it is necessar
  290 KB (38,052 words) - 18:21, 28 August 2014
• Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 3
  ...l, observational, perceptual, or "proper" features. What the "proper" or "object-oriented" features are and whether they can be distinguished in the end from "reacti ...isomorphism. It has applications to the checking of type declarations in programming languages (AC's) and to the annotation of proofs in logical systems (PC's).
  138 KB (23,322 words) - 14:50, 4 January 2015
• Directory:Jon Awbrey/Papers/Futures Of Logical Graphs
  [[Category:Declarative Programming]] [[Category:Programming]]
  168 KB (21,027 words) - 12:41, 6 August 2017
• Directory:Jon Awbrey/Essays/Prospects For Inquiry Driven Systems
  ...egrating the methods of differential geometry with the techniques of logic programming. I will attempt to embody this project in the form of computer-implemented ..., no matter how inspired their first glimmerings. Hence the discipline of programming that challenges workers in AI to represent intelligent processes in terms o
  226 KB (34,541 words) - 14:20, 20 August 2016
• User:Jon Awbrey/Mathematical Notes
  | years saw the evolution of higher-level programming languages in which | To specify a programming language we must specify its syntax and semantics.
  567 KB (86,909 words) - 21:00, 6 December 2016
• Charles Sanders Peirce
  ...rity]] of inquiry places strong limitations on the effective [[modularity (programming)|modularity]] of its principal components.
  93 KB (14,277 words) - 20:00, 28 July 2017
• Directory:Jon Awbrey/Papers/Cactus Language
  ...also called ''logic programming'', depends on a capacity, as embodied in a programming language or other formal system, to describe the relation between problems ...rams that are capable of parsing real sentences, and to serve in designing programming languages that people would like to become accustomed to use. As a matter
  211 KB (31,551 words) - 20:44, 2 August 2017
• User:Jon Awbrey/PEIRCE
  ...rity]] of inquiry places strong limitations on the effective [[modularity (programming)|modularity]] of its principal components.
  74 KB (11,616 words) - 23:56, 21 May 2010
• Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 1
  ...ware development that are known as ''step-wise refinement'' and ''top-down programming'' in computer science (Wirth 1976, 49, 303) have a long ancestry in logic a ...actice when attempting to formalize the semantics of natural, logical, and programming languages. On this account, the deficiency resides with the present analys
  241 KB (38,416 words) - 15:14, 15 April 2017
• Directory:Jon Awbrey/Papers/Theme One Program : Exposition
  [[Category:Declarative Programming]] [[Category:Programming]]
  94 KB (8,938 words) - 22:12, 9 December 2015
• User:Jon Awbrey/BIB
  ...duction to Tarskian relation theory and its applications to the relational programming paradigm. * [[John C. Mitchell|Mitchell, J.C.]] (1996), ''Foundations for Programming Languages'', MIT Press, Cambridge, MA.
  61 KB (7,563 words) - 18:26, 15 June 2010
• Directory:Jon Awbrey/BIB
  ...ion to Tarskian relation theory and its applications within the relational programming paradigm. * [[John C. Mitchell|Mitchell, J.C.]] (1996), ''Foundations for Programming Languages'', MIT Press, Cambridge, MA.
  61 KB (7,562 words) - 18:18, 18 March 2008
• User:Jon Awbrey/IDS
  known as "step-wise refinement" and "top-down programming" in computer science the semantics of natural, logical, and programming languages.
  665 KB (109,541 words) - 02:46, 13 September 2010
• Module:Motd/data/2012
  ...[[WP:BUGS|debugging is the process of removing bugs]], then [[WP:DEVBEANS|programming must be the process of putting [bugs] in.]]]==],
  46 KB (6,958 words) - 05:01, 16 July 2021
• Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6
  ...of implementing and using programming languages. There are many styles of programming languages and many more styles of putting them to use. I concentrate here
  725 KB (109,715 words) - 18:09, 28 August 2014
• User:Badmachine/wikipedia-en-2011-12-08
  [16:21] <petan> derp: if youa re good in programming you should consider joining dev team
  81 KB (10,530 words) - 03:10, 24 January 2015
• Directory:The Wikipedia Point of View/Flavius Vanillus
  ...ith a commercial interest in a pseudoscientific product ([[Neurolinguistic programming]]) continued to edit and expand the article unhindered, in a way that now t === Neurolinguistic Programming ===
  209 KB (33,239 words) - 17:04, 25 September 2008

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