One useful application of SWNTs is in the development of the first intermolecular field-effect transistors ( FET ).

The latter has the major advantage that it makes explicit the intermolecular potential, which is neglected in the first derivation.

The quantities and are the first ionization potentials of the atoms and is the intermolecular distance.

A first rebuttal to this point suggests that the Lo phase of the rafts is more tightly packed due to the intermolecular hydrogen bonding exhibited between sphingolipids and cholesterol that is not seen elsewhere.

Aristotle's writings were the first to create a comprehensive system of Western philosophy, encompassing morality, aesthetics, logic, science, politics, and metaphysics.

The first three treatises form the core of the logical theory stricto sensu: the grammar of the language of logic and the correct rules of reasoning.

The Analytical Engine incorporated an arithmetic logic unit, control flow in the form of conditional branching and loops, and integrated memory, making it the first design for a general-purpose computer that could be described in modern terms as Turing-complete.

As an example of a conditional proof in symbolic logic, suppose we want to prove A → C ( if A, then C ) from the first two premises below:

The first mainframe computers, using firstly vacuum tubes and later transistors in the logic circuits, appeared in the 1940s and 1950s.

All of the logic functions of a calculator had been squeezed into the first " Calculator on a chip " integrated circuits in 1971, but this was leading edge technology of the time and yields were low and costs were high.

Hilbert is known as one of the founders of proof theory and mathematical logic, as well as for being among the first to distinguish between mathematics and metamathematics.

A basic objective of the first normal form defined by Codd in 1970 was to permit data to be queried and manipulated using a " universal data sub-language " grounded in first-order logic.

Later, in the first volume of his Logical Investigations, the Prolegomena of Pure Logic, Husserl, while attacking the psychologistic point of view in logic and mathematics, also appears to reject much of his early work, although the forms of psychologism analysed and refuted in the Prolegomena did not apply directly to his Philosophy of Arithmetic.

The first prejudice is the supposition that logic is somehow normative in nature.

There are two key parts of first order logic.

A few years later, Peano published his first book dealing with mathematical logic.

* IBM RAMAC 305 ( vacuum tube logic, first computer with disk storage ; see: Early IBM disk storage )

In 1972, Intel launched the 8008, the first 8-bit microprocessor .< ref > using enhancement load PMOS logic ( demanding 14V, achieving TTL-compatibility by having V < sub > CC </ sub > at + 5V and V < sub > DD </ sub > at-9V )</ ref > It implemented an instruction set designed by Datapoint corporation with programmable CRT terminals in mind, that also proved to be fairly general purpose.

That is, the " middle " position, that Socrates is neither mortal nor not-mortal, is excluded by logic, and therefore either the first possibility ( Socrates is mortal ) or its negation ( it is not the case that Socrates is mortal ) must be true.

However, the first proposal to use the clausal form of logic for representing computer programs was made by Cordell Green ( 1969 ).

Although it was based on the proof methods of logic, Planner, developed at MIT, was the first language to emerge within this proceduralist paradigm 1969.

* Shawn Hedman, A first course in logic: an introduction to model theory, proof theory, computability, and complexity, Oxford University Press, 2004, ISBN 0-19-852981-3.

Physicist Lee Smolin writes in Three Roads to Quantum Gravity that topos theory is " the right form of logic for cosmology " ( page 30 ) and " In its first forms it was called ' intuitionistic logic '" ( page 31 ).

Semantics of Business Vocabulary and Business Rules ( SBVR ) is a landmark for the OMG, the first OMG specification to incorporate the formal use of natural language in modeling and the first to provide explicitly a model of formal logic.

* Prolog, designed in 1972, was the first logic programming language.

Prolog was one of the first logic programming languages, and remains the most popular among such languages today, with many free and commercial implementations available.

The kinsman, who Boaz meets at the city gate, first says he will purchase the land, but, upon hearing he must also take Ruth as his wife, withdraws his offer.

The first football match at which there were any gate receipts was when Fulham played against Minerva in the Middlesex Senior Cup, on 10 October 1886.

The first automatic gate operators were later created in 1206 by the Arabic inventor, Al-Jazari.

The first shot shows the gate to the mission station from the outside being attacked and broken open by Chinese Boxer rebels, then there is a cut to the garden of the mission station where the missionary and his family are seated.

But first, enough electrons must be attracted near the gate to counter the dopant ions added to the body of the FET ; this forms a region free of mobile carriers called a depletion region, and the phenomenon is referred to as the threshold voltage of the FET.

The first man and woman break God's command and eat the fruit of the forbidden tree, and God expels them from the garden to prevent them from eating of a second tree, the Tree of Life, which would give them god-like immortality as well as god-like wisdom ; a cherub and a flaming sword at the gate bars their return.

Fairchild Semiconductor was also home of the first silicon gate IC technology with self-aligned gates, which stands as the basis of all modern CMOS computer chips.

The resulting personality, an unhinged and unrepressed version of Carter's personality, is dubbed " Max Headroom " after his first words ( the last words seen by Carter before being knocked unconscious by a parking-garage security gate ).

It later became Potsdamer Straße ; its point of entry into Berlin, where it passed through the customs wall, became the Potsdamer Tor ( Potsdam Gate ); once inside the gate Leipziger Straße was its eastwards continuation, and Wilhelmstraße was the first north-south thoroughfare that intersected with it.

The 1906 San Francisco earthquake destroyed parts of the Main Quad ( including the original iteration of Memorial Church ) as well as the gate that first marked the entrance of the school ; rebuilding on a somewhat less grandiose scale began immediately.

The first sampling is the number of counts during an interval of 9. 60 seconds ( known as the ' long gate '); the second is the number of counts during an interval of 0. 827 seconds ( known as the ' short gate ').

Prophet Muhammad also stressed the magnitude of the " second glance ", as the first glance towards an attractive member of the opposite sex could be just accidental or observatory, the second glance could be that gate into lustful thinking.

In August 2012, researchers reported constructing the first NAND gate from undoped silicon nanowires.

An opening was made at the Kyrenia Gate in 1931 after one of Nicosia's first buses proved too high to go through the original gate.

Jack Dempsey and Georges Carpentier boxed in the first million-dollar gate.

Carpentier's attempt at the heavyweight Championship of the world came on July 2, 1921, again in Jersey City, when he faced Jack Dempsey in front of boxing's first million dollar gate ( equivalent to approximately $ in today's funds ).

Walking from the beach toward the shrine, one passes through three torii, or Shinto gates, called respectively Ichi no Torii ( first gate ), Ni no Torii ( second gate ) and San no Torii ( third gate ).

The first gate reached by Japanese troops was Guanghua Gate, situated between Zhongshan Gate ( East Gate ) and Zhonghua Gate ( South Gate ).

In 1702, the first public theater in Russia was built near the Nikolsky gate ; It stood until 1737, when it was destroyed in a fire.

The Flyers initially struggled out of the gate, going only 3 – 7 – 1 through their first 11 games while being outscored 34 – 22.

Not surprisingly, the Spurs would come flying out of the gate, winning 16 of their first 19 games.