Search results

• Axiom
  *2. [[Logic]]. A proposition (whether true or false). *3. Logic and [[Mathematics]]. ‘A self-evident proposition, requiring no [[formal]]
  3 KB (407 words) - 19:12, 5 September 2010
• Postulate
  :b : to [[assume]] as a postulate or axiom (as in [[logic]] or [[mathematics]]) In [[traditional]] [[logic]], an axiom or '''postulate''' is a [[proposition]] that is not proved or
  4 KB (548 words) - 02:32, 13 December 2020
• Consistent
  ...erm_logic Aristotelian logic], although in contemporary [[mathematical]] [[logic]] the term satisfiable is used instead. The [[syntactic]] definition states ...cs, such as [https://en.wikipedia.org/wiki/Second-order_logic second-order logic], are not complete.
  5 KB (779 words) - 23:45, 12 December 2020
• Proposition
  In [[logic]] and [[philosophy]], the term '''proposition''' (from the [[word]] "propos ...the term "statement", and this is the current usage in [[mathematical]] [[logic]].[https://en.wikipedia.org/wiki/Proposition]
  2 KB (303 words) - 02:32, 13 December 2020
• Mathematics
  ...age:Visualization_of_algorithm.jpg|right|frame|<center>"Visualization of a mathematical [[algorithm]]."</center>]] ...,’ from Old French ''mathematique'', from [[Latin]] ''(ars) mathematica'' ‘mathematical (art),’ from [[Greek]] ''mathēmatikē'' (''tekhnē''), from the base of
  5 KB (718 words) - 01:24, 13 December 2020
• Syntax
  ...ed in [[logic]]. See [https://en.wikipedia.org/wiki/Syntax_(logic) Syntax (logic)]; [https://en.wikipedia.org/wiki/Computer_programming Computer-programming
  2 KB (309 words) - 02:16, 13 December 2020
• Structure
  ...dy of abstract structures. [[Mathematical structure]] on a set, additional mathematical objects that in some manner attach to the set, making it easier to visualiz ...e leaves at the bottom. In mathematical logic, a [[Structure (mathematical logic)|structure]] is an object that gives semantic meanings to the symbols in a
  7 KB (1,155 words) - 23:44, 19 May 2009
• Formal Sciences
  ...predominantly concerned with abstract [[formal systems]], for instance, [[logic]], [[mathematics]], and the theoretical branches of [[computer science]], [ ...science and the invention of [[scientific method]], with the most ancient mathematical texts available dates back to 1500BC-500 BC ([[ancient India]]), 1300-1200
  5 KB (723 words) - 00:42, 13 December 2020
• Formal systems
  In [[logic]] and [[mathematics]], a '''formal system''' consists of two components, a ...er science, a [[formal language]] is a language that is defined by precise mathematical or machine processable formulas. Like languages in [[linguistics]], formal
  5 KB (829 words) - 23:56, 12 December 2020
• Statement
  ==Logic== In [[logic]] a statement is a declarative sentence that is either true or false. A sta
  5 KB (799 words) - 02:36, 13 December 2020
• Conversion
  *3 a : the operation of finding a converse in [[logic]] or [[mathematics]] :b : reduction of a mathematical [[expression]] by clearing of [[fractions]]
  2 KB (323 words) - 23:45, 12 December 2020
• Theory
  ...tural and social) and the other used in [[philosophy]], [[mathematics]], [[logic]], and across other fields in the [[humanities]]. There is considerable [[d ...e generally expected to follow principles of [[rational]] [[thought]] or [[logic]].
  7 KB (1,108 words) - 02:41, 13 December 2020
• Rationalization
  *2: to free (a mathematical expression) from irrational parts <rationalize a denominator> In [[psychology]] and [[logic]], '''rationalization''' (or making excuses) is an informal [[fallacy]] of
  2 KB (306 words) - 02:37, 13 December 2020
• Epidemiology
  ...], [[data]] collection and [[analysis]] including the [[development]] of [[Mathematical model|statistical models]] to test hypotheses and the documentation of resu
  2 KB (326 words) - 00:15, 13 December 2020
• Inference
  * [[Logic]] studies the laws of valid inference. ...century, has built numerous [[formal system]]s that embody [[Aristotelian logic]] (or variants thereof).
  12 KB (1,790 words) - 23:57, 12 December 2020
• Discrete
  ...en.wikipedia.org/wiki/Graph_(mathematics) graphs], and [[statements]] in [[logic]] – do not vary smoothly in this way, but have distinct, separated [[valu
  3 KB (448 words) - 00:35, 13 December 2020
• Infinite
  === Logic === In logic an [[infinite regress]] argument is "a distinctively philosophical kind of
  7 KB (1,116 words) - 00:47, 13 December 2020
• Computers
  ...kipedia.org/wiki/Church%E2%80%93Turing_thesis Church–Turing thesis] is a [[mathematical]] [[statement]] of this [[versatility]]: any computer with a certain minimu ...nents: the [https://en.wikipedia.org/wiki/Arithmetic_logic_unit arithmetic logic unit] (ALU), the [https://en.wikipedia.org/wiki/Control_unit control unit],
  6 KB (872 words) - 23:45, 12 December 2020
• Ideograph
  ...ps://en.wikipedia.org/wiki/Mathematical_notation mathematical notation], [[logic]], UML), which are used worldwide regardless of how they are pronounced in
  3 KB (493 words) - 00:00, 13 December 2020
• Secondary Corpus
  Study of abstract [[formal systems]],i.e. [[logic]], [[mathematics]], & theoretical [[computer science]], [[information theor ==== [[Logic]][https://nordan.daynal.org/wiki/index.php?title=Category:Logic] ====
  8 KB (1,084 words) - 02:37, 13 December 2020

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