** NAND gate, an electronic gate that implements a logical NAND

** the second letter shows the functional subgroup making the distinction between logical NAND and NOR, D-and JK-triggers, decimal and binary counters, etc.

** the number distinguishes variants with different number of inputs, or different number of elements within a die-ЛА1 / ЛА2 / ЛА3 ( LA1 / LA2 / LA3 ) are 2 four-input / 1 eight-input / 4 two-input NAND elements respectively ( equivalent to 7420 / 7430 / 7400 )

** If S is a set of sentences of first-order logic and B is a consistent subset of S, then B is included in a set that is maximal among consistent subsets of S. The special case where S is the set of all first-order sentences in a given signature is weaker, equivalent to the Boolean prime ideal theorem ; see the section " Weaker forms " below.

** Gödel's completeness theorem for first-order logic: every consistent set of first-order sentences has a completion.

** Arithmetic logic unit ( ALU )-The ALU executes all arithmetic and logic instructions, and provides the results in binary coded form.

** In combinatory logic, the looping combinator, ( λ x. x x ) ( λ x. x x )

** In combinatory logic, the self-application combinator, ( λ x. x x )

** Logos appeals include appeals to statistics, math, logic, and objectivity.

** Safety-critical logic.

** Multiple-emitter transistor, used in transistor – transistor logic

** Bertrand Russell ( 1908a ) Mathematical logic as based on the theory of types, with commentary by Willard Quine, pages 150-182.

** Hal Feeney project engineer did the detailed logic design, circuit design, and physical layout under Faggin's supervision, employing the same design methodology that Faggin had originally developed for the Intel 4004 microprocessor, and utilizing the basic circuits he had developed for the 4004.

** Arithmetic logic unit, used in the context of Charles Babbage's Analytical engine, a 19th century concept of a computer

** Christopher Monroe and David Wineland at NIST ( Boulder, Colorado ) experimentally realize the first quantum logic gate – the C-NOT gate – with trapped ions, according to Cirac and Zoller's proposal.

** Built-in self-test, or BIST – installs self-contained test-controllers to automatically test a logic ( or memory ) structure in the design

** In logic, formal semantics and parts of linguistics, the extension of a term.

** Temporal logic

** 74-the " standard TTL " logic family had no letters between the " 74 " and the specific part number.

** 74L-Low power ( compared to the original TTL logic family ), very slow

** HCT-High speed, compatible logic levels to bipolar parts

** Z notation, a formal notation for specifying objects using Zermelo-Fraenkel set theory and first-order predicate logic

** De Morgan's laws ( or De Morgan's theorem ), a set of rules from propositional logic.

** core logic — 57M, or 28. 5M per core

** bus logic & I / O — 6. 7M

** Japanese input methods

** These methods include:

** one of the humanities – academic discipline that study the human condition, using methods that are primarily analytical, critical, or speculative, as distinguished from the mainly empirical approaches of the natural sciences.

** Encapsulate Field – force code to access the field with getter and setter methods

** GSSAPI authentication methods which provide an extensible scheme to perform SSH authentication using external mechanisms such as Kerberos 5 or NTLM, providing single sign on capability to SSH sessions.

** Arbitrary-precision arithmetic, methods for computing with big numbers

** Plant propagation, the production of more plants by seeds, cuttings, grafting or other methods

** Animal breeding – branch of animal science that addresses the evaluation ( using best linear unbiased prediction and other methods ) of the genetic value ( estimated breeding value, EBV ) of domestic livestock.

** Cleavage enhancement, methods of making a person's breast cleavage look more substantial than it really is.

** Door-to-door methods

** List of formal methods and tools

** Formal methods publications

** Who's who in formal methods

** Scan transfer methods available ( e. g. FTP, WebDAV, Email, SMB, NFS, TWAIN )

** Resolution enhancement techniques, RET – methods of increasing of quality of final photomask.

** diminished, in some economic activities: using appropriate technology and methods, virtual marketplaces and virtual organizations that offer benefits of speed, agility, round the clock operation and global reach can be created.

** Korean cuisine – features cooking methods such as sautéing and what is known in the West as barbecue.

** Chess handicap, a variety of handicapping methods in chess

** Recently developed methods of THz time-domain spectroscopy ( THz TDS ) and THz tomography have been shown to be able to perform measurements on, and obtain images of, samples that are opaque in the visible and near-infrared regions of the spectrum.

** Britain was the greatest threat, especially its monarchy, aristocracy, corruption, and business methods ; the Jay Treaty of 1794 was much too favorable to Britain and thus threatened American values.

** Quasi-empirical methods

** Computer data storage for storage methods specific to computing field

** types of experts and expertise, such that methods should be chosen appropriately.

** divulged USL's trade secrets by making public " the methods or concepts used therein ".