Search results

• Directory:Apropos Logic
  ...Mak's articles on numerical computing, enterprise computing, and compiler theory, along with free downloadable code samples from the author's books. ...Dedicated to the challenges of building reliable software systems despite complexity and resource contraints.]]
  746 bytes (99 words) - 23:18, 11 September 2007
• John of Ripa
  ...s on the metaphysics of the form, the epistemology, the gnoseology and the theory of the beatific vision. The main body of his Commentary on the first book o
  2 KB (304 words) - 18:05, 25 January 2009
• Boolean function
  ...ath> such functions. These play a basic role in questions of [[complexity theory]] as well as the design of circuits and chips for digital computers. * [[Relation theory]]
  5 KB (589 words) - 20:24, 5 November 2015
• Turing Award
  ...is fifteen years of publications extend from theoretical articles on graph theory to basic manuals, expository texts, and philosophical contemplations in the ...ng to found the following important subfields of [[computer science]]: the theory of [[parsing]], the [[semantics]] of programming languages, automatic [[pro
  11 KB (1,508 words) - 10:52, 2 November 2006
• Directory:Article Heaven/SES cognitive processing and public policy media
  ...hat humans have a limited capacity for information processing (LC4MP). The theory allows media researchers to examine how efficiently information is encoded, ...4MP is an amalgam that finds its origins in psychology. Specifically, this theory has its origins in the Limited Capacity Model for understanding cognitive i
  4 KB (607 words) - 19:11, 20 April 2009
• Directory:Jon Awbrey/Projects/Theme One Program
  [[Category:Computational Complexity]] [[Category:Graph Theory]]
  18 KB (2,189 words) - 14:24, 9 August 2016
• Directory:Jon Awbrey/WREADS
  ...0385476760. Explores themes in [[systems theory]] involving [[chaos]], [[complexity]], [[ecosystem]]s, and [[social system]]s. * Dewey, John (1938), ''Logic : The Theory of Inquiry'', Henry Holt and Company, New York, NY, 1938. Reprinted, pp. 1
  7 KB (982 words) - 16:40, 27 January 2008
• User:Jon Awbrey/WREADS
  ...0385476760. Explores themes in [[systems theory]] involving [[chaos]], [[complexity]], [[ecosystem]]s, and [[social system]]s. * Dewey, John (1938), ''Logic : The Theory of Inquiry'', Henry Holt and Company, New York, NY, 1938. Reprinted, pp. 1
  7 KB (982 words) - 17:31, 5 September 2007
• Cybernetics
  ...systems, information theory, learning organizations, mathematical systems theory, operations research, simulation, and systems engineering. A more philosop ...study connecting the fields of [[control system]]s, [[electrical network]] theory, [[logic modeling]], and [[neuroscience]] in the 1940s. The name ''cybern
  14 KB (1,827 words) - 18:48, 27 July 2016
• Directory:Peter Hale
  ...Such an out of the box system is impractical considering both increases in complexity of manufactured products, and of software systems themselves. Cheung (2005) ...at open source development can avoid vendor lock-in, eliminate unnecessary complexity, give freedom to modify applications, and provide platform and application
  19 KB (2,806 words) - 13:35, 22 April 2007
• Directory:SciGen Systems/B-Trees No Longer Considered Harmful
  ...ure of this has been well-received. Clearly, our solution creates embedded theory. ...two properties make this solution distinct: CheckWornil prevents efficient theory, and also our framework is based on the principles of operating systems. Th
  22 KB (3,111 words) - 20:01, 28 September 2007
• Chess
  ...wikipedia.org/wiki/Chess" TARGET="_blank" ^[1]</a> The game-tree complexity of chess was first calculated by Claude Shannon as 10 120, a number known a
  32 KB (5,321 words) - 01:45, 6 April 2012
• Boolean algebras canonically defined
  ...more neutrally but equally formally as simply the models of the equational theory of two values, and observes the equivalence of both the lattice and ring de ...Boolean algebra treat [[Boolean algebras]] as the models of the equational theory of two values.
  46 KB (7,114 words) - 18:24, 2 October 2007
• Truth theory
  ...d developed by means of definite rules of inference. The scope of a truth theory can be restricted to tightly-controlled and well-bounded universes of disco ...the heading of ''semantics'', especially ''formal semantics'' and ''model theory''. Another association of longstanding interest is the relation between tr
  37 KB (5,460 words) - 14:45, 17 November 2015
• Directory:Jon Awbrey/Notes/Factorization Issues
  ...r obvious possibility &mdash; obvious from the standpoint of the pragmatic theory of signs &mdash; the option of assigning the new concept, or mental symbol, ...s level of detail as the figures begin to ramify much beyond this level of complexity. Therefore, let me use the following device to symbolize the same configur
  25 KB (3,338 words) - 03:18, 25 June 2009
• User:Jon Awbrey/THEORY
  =Truth Theory (23 Jun 2006)= ...ped by means of definite ''[[rules of inference]]''. The scope of a truth theory can be restricted to tightly-controlled and well-bounded universes of disco
  81 KB (11,851 words) - 18:53, 20 August 2007
• Directory:Jon Awbrey/THEORY
  =Truth Theory (23 Jun 2006)= ...ped by means of definite ''[[rules of inference]]''. The scope of a truth theory can be restricted to tightly-controlled and well-bounded universes of disco
  81 KB (11,851 words) - 22:22, 25 January 2008
• Computer software
  ...invented by [[Charles Babbage]] as part of his [[difference engine]]. The theory that is the basis for most modern software was first proposed by [[Alan Tur ...omplicated. The field of [[software engineering]] endeavors to manage the complexity of how software operates. This is especially true for software that operat
  14 KB (2,076 words) - 13:33, 31 October 2012
• Directory:Jon Awbrey/Papers/Differential Analytic Turing Automata
  ...cause it uses a species of graphs that are usually called "cacti" in graph theory. The last exposition of the cactus syntax that I've written can be found h I will draw on those previously advertised resources of notation and theory as needed, but right now I sense the need for some concrete examples.
  134 KB (16,535 words) - 15:30, 11 October 2013
• User:Jon Awbrey/TRUTH
  ...articular subject matter as a ''theory'', whether or not it qualifies as a theory in the strictest logical sense. Most of the discussion to follow bows to t ...e of the identified types. For example, [[Susan Haack]] (1993) proposes a theory of ''foundherentism'' that seeks a middle ground between the perspectives o
  237 KB (37,371 words) - 11:22, 20 August 2007

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