Free On-line Dictionary of Philosophy; abduction; absolute consistency; absolute inconsistency; abstract class; abstract data type; abstract interpretation; abstraction; abstract machine; Abstract Machine Notation; abstract syntax; abstract syntax tree; Abstract-Type and Scheme-Definition Language; Acceptable Use Policy; acceptance testing; accuracy; acronym; action; active object; actor; Actors; adaptive learning; additive; ad hoc; agent; aggregate type; aggregation; AI-complete; aleph 0; algebra; algebraic; algebraic data type; algebraic structure; algorithm; Algorithmic Model; alias; aliasing; alpha-categoricity; alphanumeric; Amdahl's Law; analogue; analogue computer; analogy; Analytical Engine; AND; anomalous monism; antichain; antisymmetric; antitheorem; approximation algorithm; architecture; argument; arithmetic, formal system of; arithmetisation; arity; artificial intelligence; Artificial Life; artificial neural network; aspectual shape; assertion; assignment; assignment problem; associated propositional formula; atom; authentication; automation; automaton; avatar; axiom; axiomatic semantics; axiomatic set theory; Axiom of Choice; Axiom of Comprehension; Background; back-propagation; backtracking; backward analysis; backward chaining; Banach algebra; Banach inverse mapping theorem; Banach space; Banach-Tarski paradox; base class; behaviourism; belief revision; benchmark; Bernstein condition; best first search; Best Fit; beta abstraction; beta conversion; beta reduction; Bezier curve; Bezier surface; bijection; binary; binary file; binary search; binary tree; binding-time analysis; bit; black box; Boolean; Boolean algebra; Boolean logic; Boolean search; bootstrap; bottom; bottom-unique; bottom-up implementation; bottom-up model; bounded; boundedly complete; bound variable; branch; branch prediction; brittle; brute force; brute force attack; B-tree; Busy Beaver; byte; c; canonical; canonicity; Cantor's theorem; capacitor; capitalism; cardinality; cardinal number; Cartesian coordinates; Cartesian interactionist dualism; Cartesian product; Cartesian scepticism; categoricity of systems; Cauchy sequence; causal functionalism; cellular automaton; chaos; Chinese room; Church-Rosser Theorem; Church's theorem; Church's thesis; circuit; class; class hierarchy; classical logic; class library; class method; clone; closed-box testing; closed set; closed term; closure; closure conversion; CNF; coarse grain; codomain; cognitive architecture; cognitive science; cognize; coherence; colour perception theories of; colour theories of; combination; combinator; combinatory logic; communication system; compactness preserving; compatibility; compatible; complement; complementary non-deterministic polynomial; complete; complete graph; complete inference system; complete lattice; complete metric space; completeness; complete partial ordering; complete theory; complexity; complexity class; complexity measure; complex number; component; composite; composition; compositionality; compound proposition; computability theory; computable function; computation; Computational Adequacy Theorem; computational architecture; computational complexity; computational models; computer; computer crime; computer ethics; computer law; Computer Mediated Communication; computron; concept; conceptualisation; conclusion; concrete class; concrete syntax; Conjunctive Normal Form; connected graph; connected subgraph; connectionism; connectionism history of; connective; consciousness; constant; constraint; constraint satisfaction; constructed type; constructive; constructive proof; constructor; container class; context; context clash; context-free; contingency; continuous function; continuum hypothesis; continuum; contradiction; control flow; converse; coordinate; copyright; correspondence theory of truth; corresponding argument or derivation; corresponding conditional; countable; counted; counter-example; coupling; creativity; criptography; crisp; curried function; currying; cybernetics; cyberpunk; cybersex; cyberspace; cycle; dagger function; data; database; database normalisation; data dictionary; data dictionary file; data flow; data flow analysis; Data Flow Diagram; data glove; datagram; data hierarchy; data mining; data model; data processing; data rate; data striping; data warehouse; decidability; decidable system; decidable wff; decision problem; decision theory; deduction; deduction theorem; deductive apparatus; deductive tableau; de facto standard; definite clause; definite sentence; degrees of freedom; Delaunay triangulation; delta reduction; DeMorgan's theorem; denotational semantics; denumerable set; deontologism; derivation; descent function; descriptivism; design; determinism; deterministic; deterministic automaton; dialectical materialism; Dictionary of Philosophy of Mind; Difference Engine; difference equation; difference of sets; digital; Diophantine equation; directed graph; directed set; discriminated union; disjoint sets; disjoint union; disjunctive normal form (DNF); distributed memory; distributed representation; distributed system; distributive lattice; diverge; divisor; DNA computing; doctrine of pre-established harmony; document; dogmatism; domain; Domain Analysis; domain architecture; domain engineering; domain maturity; domain model; domain selection; domain-specific language; domain theory; doxastic; dual; dual-aspect theory; dynamical systems theory; dynamism; eclecticism; effective method; effective proof procedure; egalitarianism; eigenvalue; eigenvector; elegant; eliminativism; ELIZA; ELIZA effect; emanationism; embedding; emergence; emotionalism; emotivism; emulation; emulator; encapsulation; encode; encoder; encryption; entropy; enumerable set; enumerated type; enumeration; environment variable; Epicureanism; epistemology; equals; equational logic; equivalence; equivalence class; equivalence class partitioning; equivalence relation; equivalence thesis; equivalent sets; error; error detection and correction; essentialism; Euclid's Algorithm; eudaimonism; event; event-driven; evolutionary algorithm; evolutionary computation; evolutionary programming; evolution strategy; existence proof; existential import; experimentalism; expert system; explanandum; explanation; explicit memory; exponential; exponential-time; exponential-time algorithm; expressionism; expression tree; extension; extensional equality; externalism; fact; factor; failure; fault; fault tolerance; feature; feedback; feedback control; feed-forward; Fermat prime; Fibonacci series; field; fifth generation language; finitary formal system; Finite State Machine; first-order logic; first-order theory; first-order theory with identity; fix; Flynn's taxonomy; FOLDOC; folk psychology; formalism; formal language; formal methods; formal system; formula; forward analysis; forward chaining; foundation; four colour map theorem; Fourier transform; fractal; fractal dimension; free variable; frequently asked question; Freudianism; function; functionalism; functionalism 1; functionalism 2; functional requirements; functional role semantics; functional specification; functional unit; functor; fuzzy logic; fuzzy subset; game tree; generality constraint; generalization; General Recursion Theorem; generate; genetic algorithm; genetic programming; Gettier problem; Glossary of First-Order Logic; Goedel numbering; Goedel's theorems; grammar; grammatical inference; granularity; graph; greatest common divisor; greatest lower bound; Grelling's paradox; hacker; hacker ethic; halting problem; Hamiltonian problem; Hebbian; heredity; heterogeneous; heuristic; hex; hexadecimal; hierarchy; higher-order function; high-level language; Hilbert's program; holism; homogeneous; homomorphism; Hopfield network; Horn clause; Human-Computer Interaction; Human-Computer Interface; hypercube; hypertext; icon; ideal; idempotent; identity; property.; iff; image; image recognition; imagination; implementation; implication; implicit memory; inclusive; incomparable; incremental analysis; independence of an axiom; inductive relation; inference engine; inference rule; infinite; infinite loop; Infinite-Monkey Theorem; infinite set; infinity; infix notation; Information and Communication Technology; information technology; infrared; inheritance; initialise; injection; inner product; input; input/output; insertion sort; instance; instance variable; instantiation; integer; integrated circuit; integrity constraint; intellectual property; intentionality derived; intention-in-action; interactive; interface; internalism; Internet; internet; interpolation; interpolation theorem; interpretation; intersection of sets; intuitionistic logic; invariant; inverse; irrational number; isochronous; isometry; isomorphic; isomorphism; isomorphism class; isomorphism of models; IT; iteration; Jargon File; join; kernel; KK-thesis; knowledge; Knowledge Analysis and Design System; knowledge argument; knowledge base; knowledge-based system; knowledge level; knowledge how; knowledge representation; knowledge under entailment; knowledge under known entailment principle of closure of; KRL; k-validity; LAMBDA; lambda abstraction; lambda-calculus; lambda expression; lambda lifting; language; language of thought; latency; LaTeX; lattice; leaf; least fixed point; least upper bound; lemma; lexeme; liar paradox; Life; like this; linear argument; linear function; linear logic; linear map; linear programming; linear space; linear type; list; Loebner Prize; Loewenheim-Skolem theorem; logarithmus dualis; logic; logical complement; logical relation; logical validity; logic gate; logic programming; logic variable; long term memory; loop; Lorenz attractor; lower set; Mandelbrot set; map; Markov chain; Markov model; Markov process; mathematical induction; matrix; maximal proof-theoretic consistent set; McCulloch-Pitts neuron; m-consistency; membership; memetic algorithm; Memex; mental content; mereology; message; meta; Metaclass; meta-data; metaheuristic; metalanguage; metalogic; metasyntax; metatheorem; method; methodology; minimization; modal logic; mode; model; model checking; model theory; molecule; monoid; monotonic; monotonicity; Moore bound; Moore graph; Moore's Law; morphing; multiple realisability; multitasking; multithreading; Murphy's Law; n-adic function or predicate; NAND; natural deduction; natural language; natural numbers; naturalised semantics; negation; negation by failure; negation completeness; negation incompleteness; netiquette; network; node; nonconceptual content; non-determinism; non-deterministic automaton; non-deterministic polynomial time; non-deterministic Turing Machine; nonlinear; non-polynomial; Non-Volatile Random Access Memory; non-volatile storage; NOR; norm; normal distribution; normal form; normal interpretation; normalisation; normal order reduction; normed space; NOT; NP; NP-complete; NP-hard; n-tuple; null set; number crunching; numbers; numeral; Nyquist Theorem; Ob-; object; object code; object identifier; objective; objectivity; object language; object-oriented; object-oriented analysis; object-oriented database; object-oriented design; object-oriented programming; observational equivalence; Occam's Razor; occasionalism; octal; Omega-algebraic; omega-completeness; omega-consistency; ones complement; one-to-one correspondence; ontological commitment; open; open source; Open Source Definition; Open Source Initiative; Open source license; operational semantics; operator; optimal; optimise; OR; order-embedding; ordering; ordinal; ordinate; orthogonal; output; outsourcing; overriding; overrun; parallel distributed processing; parallelism; parallel processing; parallel processor; parent; Parkinson's Law of Data; parser; parser generator; partial equivalence relation; partial function; partially ordered set; partial ordering; partition; pattern matching; pattern recognition; Peano arithmetic; perceptron; permutation; perplexity; persistence; perspective; Petri net; phenomenal consciousness; phenomenalism; phenomenological critique of representationalism; philosophy of mind; philosophy of psychology; physicalism non-reductive; picture element; pipeline; pipeline break; plan; pleonasm; ply; point; polymorphic lambda-calculus; polymorphism; polynomial; polynomial-time; polynomial-time algorithm; portability; postfix notation; powerdomain; powerset; PPLambda; practical reasoning; precision; predicate; predicate logic; predomain; prefix; prefix notation; prenex normal form; pre-order; pre-order traversal; prime number theorem; primitive; primitive recursion; principal type; principle of closure; principle of closure of knowledge under entailment; prior intention; privacy; probabilistic; procedural language; process; production system; productivity; programming; programming language; projection; projective plane; Pronunciation; proof-theoretic consistency; proof-theoretic consistent set of wffs; proof theory; property dualism; propositional function; protocol; prototyping; provably difficult; provably unsolvable; public domain; Public-Key Cryptography Standards; public-key encryption; pure lambda-calculus; quality; Quality Assurance; Quality Control; quantifier; quantum bogodynamics; quantum computer; quantum consciousness theories of; query; queue; quotient; radix; random; randomness; range; rational numbers; real; realisation; real number; real-time; Real World; recipient; record; recourse; recursive function; recursive function theory; recursive set; recursive type; reduction; redundancy; reflexive; reflexive domain; Reflexive transitive closure; refutable; regression; reify; reinvent the wheel; relation; relational algebra; relational calculus; relative consistency proof; relatively prime; relevance; reliability; Reliability, Availability, Serviceability; reliable communication; representation; requirements; requirements analysis; Requirements Engineering; resolution; restructuring; reuse; reverse engineering; ring network; robot; robust; rule; rules of inference; run-time; Russell's Attic; Russell's Paradox; safety-critical system; satisficing; satisfaction; satisfiability; satisfiability problem; scalability; scalar; scepticism; schema; Scott-closed; Scott domain; search problem; search term; second-order desire; semantic completeness; semantic consequence; semantic gap; semantic network; semantics; semantic tautology; semantic validity; sense; sentence; sequence; set; set theory; short term memory; signal; signalling rate; signal-to-noise ratio; silicon chip replacement thought experiment; simple consistency; simple propositions; simulated annealing; simulation; singleton variable; Skolemisation; Skolem normal form; Skolem paradox; software; software law; software life-cycle; Software Methodology; software metric; software patent; software theft; soundness; source code; space complexity; specialisation; speech recognition; standard semantics; state; state transition diagram; statistics; storage; strength reduction; strict; strict evaluation; strongly connected component; structural recursion; structured analysis; structured design; structure diagram; structured language; structured programming; subclass; subject; subject index; subjectivity; subroutine; subset; substance dualism; substitution; substrate; subtype; sum; supercomputer; superset; supervenience; surjection; symbolic inference; symbolicism; symbolic logic; symbolic mathematics; symmetric; symmetric difference of sets; synchronous; syntactic completeness; syntactic consequence; syntactic tautology; syntactic validity; syntax; syntax tree; systematicity; tacit knowledge; tautology schema; temporal logic; tensor product; term; test; texture; theorem; theorem schema; theory; theory change; thought; throughput; time complexity; timeout; time-sharing; token; token identity thesis; top-down design; topology; total function; totally ordered set; total ordering; transfinite cardinal; transitive; transitive closure; transparent; travelling salesman problem; tree; truth for an interpretation; truth-functional compound proposition; truth-functional connective; truth-functional propositional logic; truth table; truth-value; Turing Machine; Turing test; twin earth; two-valued logic; type; type assignment; type class; typed lambda-calculus; type inference; type scheme; uncountable set; undecidable set; undecidable system; undecidable wff; union of sets; universal algebra; universal set; universe of discourse; upper bound; usability; use theory of meaning; validity; variable; vector; vector space; verification; virtual; virtual reality; virus; visualisation; von Neumann integer; von Neumann ordinal; well-ordered set; wetware; wff; xor; Zermelo Fraenkel set theory; Zermelo set theory;