Нравится LibRing?
Расскажи друзьям:
Философия

Логика

Обложка книги "Наука логики" Гегеля в доступном изложении

Книгу можно купить в интернет-магазинах:

· OZON.ru 400р. [Проверить наличие]
· Books.ru 336р. [Проверить наличие]
· Библион 239р. [Проверить наличие]
· Библион 345р. [Проверить наличие]
· My-Shop 407р. [В наличии]
· SetBook 266р. [Проверить наличие]
· SetBook 286р. [Проверить наличие]
· SetBook 325р. [Проверить наличие]
С. Н. Труфанов
"Наука логики" Гегеля в доступном изложении
Логика - это наука о законах и формах мышления. Основателем этой науки является Аристотель, который более 2000 лет назад впервые описал логические формы мысли. На основе его трудов позднее была составлена формальная логика, которая на сегодняшний день… Подробнее
Обложка книги AIML

Книгу можно купить в интернет-магазинах:

· OZON.ru 1125р. [Проверить наличие]
Jesse Russel
AIML
AIML, or Artificial Intelligence Markup Language, is an XML dialect for creating natural language software agents.… Подробнее
Обложка книги Alexander Bain

Книгу можно купить в интернет-магазинах:

· OZON.ru 1125р. [Проверить наличие]
· Books.ru 1128р. [Проверить наличие]
Jesse Russell,Ronald Cohn
Alexander Bain
Alexander Bain (11 June 1818 – 18 September 1903) was a Scottish philosopher and educationalist in the British school of empiricism who was a prominent and innovative figure in the fields of psychology, linguistics, logic, moral philosophy and education reform. He founded Mind, the first ever journal of psychology and analytical philosophy, and was the leading figure in establishing and applying applying the scientific method to psychology. Bain was the inaugural Regius Chair in Logic and Profes… Подробнее
Обложка книги Algorithmic game theory

Книгу можно купить в интернет-магазинах:

· OZON.ru 870р. [Проверить наличие]
· Books.ru 873р. [Проверить наличие]
Jesse Russell
Algorithmic game theory
Algorithmic game theory is an area in the intersection of game theory and algorithm design, whose objective is to design algorithms in strategic environments. Typically, in Algorithmic Game Theory problems, the input to a given algorithm is distributed among many players who have a personal interest in the output. In those situations, the agents might not report the input truthfully because of their own personal interests. On top of the usual requirements in classical algorithm design, say polyn… Подробнее

Книгу можно купить в интернет-магазинах:

· OZON.ru 4294р. [Проверить наличие]
Peter Smith
An Introduction to Godel's Theorems
stood) in logic. Godel also outlined an equally significant Second Incompleteness Theorem. How are these Theorems established, and why do they matter? Peter Smith answers these questions by presenting an unusual variety of proofs for the First Theorem, showing how to prove the Second Theorem, and exploring a family of related results (including some not easily available elsewhere). The formal explanations are interwoven with discussions of the wider significance of the two Theorems. This book wi… Подробнее
Обложка книги An Introduction to Non-Classical Logic: From If to Is

Книгу можно купить в интернет-магазинах:

· OZON.ru 12182р. [Проверить наличие]
Graham Priest
An Introduction to Non-Classical Logic: From If to Is
Обложка книги ARINC 825

Книгу можно купить в интернет-магазинах:

· OZON.ru 997р. [Проверить наличие]
· Books.ru 1001р. [Проверить наличие]
Jesse Russell,Ronald Cohn
ARINC 825
Controller Area Network (CAN) increasingly found its way into aerospace applications because of its cost effective and efficient networking capability for systems employing the Line-replaceable unit (LRU) concept to share data across a common media. The ability of CAN to transmit data, across a shared shielded twisted pair cable, has advantages in terms of weight savings at the aircraft integration level. Additionally, the CAN physical layer protocol specification provides error recovery and pro… Подробнее
Обложка книги Boolean function

Книгу можно купить в интернет-магазинах:

· OZON.ru 997р. [Проверить наличие]
· Books.ru 1001р. [Проверить наличие]
Jesse Russell,Ronald Cohn
Boolean function
In mathematics, a (finitary) Boolean function (or switching function) is a function of the form ? : Bk > B, where B = {0, 1} is a Boolean domain and k is a non-negative integer called the arity of the function. In the case where k = 0, the "function" is essentially a constant element of B.… Подробнее
Обложка книги Chemical Markup Language

Книгу можно купить в интернет-магазинах:

· OZON.ru 997р. [Проверить наличие]
· Books.ru 1001р. [Проверить наличие]
Jesse Russell,Ronald Cohn
Chemical Markup Language
CML (Chemical Markup Language) is an approach to managing molecular information using tools such as XML and Java. It was the first domain specific implementation based strictly on XML, first based on a DTD and later on XML Schema, the most robust and widely used system for precise information management in many areas. It has been developed over more than a decade by Murray-Rust, Rzepa and others and has been tested in many areas and on a variety of machines.… Подробнее
Обложка книги Computability and Logic

Книгу можно купить в интернет-магазинах:

· OZON.ru 3858р. [Проверить наличие]
George S. Boolos, John P. Burgess, Richard C. Jeffrey
Computability and Logic
Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simply the staple topics of an intermediate logic course, such as Godel's incompleteness theorems, but also a large number of optional topics, from Turing's theory of computability to Ramsey's theorem. Including a selection of exercises, adjusted for this edition, at the end of each chapter, it offers a new and simpler treatment of the representability… Подробнее
Обложка книги Dialetheism

Книгу можно купить в интернет-магазинах:

· OZON.ru 1125р. [Проверить наличие]
Jesse Russel
Dialetheism
Dialetheism is the view that some statements can be both true and false simultaneously. More precisely, it is the belief that there can be a true statement whose negation is also true. Such statements are called "true contradictions", or dialetheia.… Подробнее
Обложка книги Diamond: A Paradox Logic (Knots and Everything)

Книгу можно купить в интернет-магазинах:

· OZON.ru 11383р. [Проверить наличие]
N. S. Hellerstein
Diamond: A Paradox Logic (Knots and Everything)
This book is about 'diamond', a logic of paradox. In diamond, a statement can be true yet false; an 'imaginary' state, midway between being and non-being. Diamond's imaginary values solve many logical paradoxes unsolvable in two-valued boolean logic. In this volume, paradoxes by Russell, Cantor, Berry and Zeno are all resolved. This book has three sections: Paradox Logic, which covers the classic paradoxes of mathematical logic, shows how they can be resolved in this new system; The Second Parad… Подробнее
Обложка книги Dim3

Книгу можно купить в интернет-магазинах:

· OZON.ru 1125р. [Проверить наличие]
· Books.ru 1128р. [Проверить наличие]
Jesse Russell
Dim3
Dim3, also known as Dimension 3, is a freeware open-source 3D game engine for Mac OS X created by Brian Barnes. It has been chosen as a staff pick for OS X development software by Apple. and featured as one of th… Подробнее
Обложка книги Entailment

Книгу можно купить в интернет-магазинах:

· OZON.ru 1125р. [Проверить наличие]
Jesse Russel
Entailment
In logic, entailment is a relation between a set of sentences (e.g., meaningfully declarative sentences or truthbearers) and a sentence. Let ? be a set of one or more sentences; let S1 be the conjunction of the elements of ?, and let S2 be a sentence: then, ? entails S2 if and only if S1 and not-S2 are logically inconsistent. S2 is called the logical consequent of ?; S1 is said to logically imply S2.… Подробнее
Обложка книги Fluidics

Книгу можно купить в интернет-магазинах:

· OZON.ru 1253р. [Проверить наличие]
Jesse Russell
Fluidics
Fluidics or Fluidic logic is the use of a fluid to perform analog or digital operations similar to those performed with electronics.… Подробнее
Обложка книги Folk theorem (game theory)

Книгу можно купить в интернет-магазинах:

· OZON.ru 997р. [Проверить наличие]
· Books.ru 1001р. [Проверить наличие]
Jesse Russell
Folk theorem (game theory)
In game theory, folk theorems are a class of theorems which imply that in repeated games, any outcome is a feasible solution concept, if under that outcome the players' minimax conditions are satisfied. The minimax condition states that a player will minimize the maximum possible loss which he could face in the game. An outcome is said to be feasible if it satisfies this condition for each player of the game. A repeated game is one in which there is not necessarily a final move, but rather, ther… Подробнее
Обложка книги Hetucakra

Книгу можно купить в интернет-магазинах:

· OZON.ru 1253р. [Проверить наличие]
Jesse Russell
Hetucakra
Hetucakra is a Sanskrit text on logic written by Dignaga (c 480–540 CE) . It concerns the application of his 'three modes’ (trair?pya) in a valid inference within the Indian logico-epistemic tradition, sometimes… Подробнее
Обложка книги High Level Shader Language

Книгу можно купить в интернет-магазинах:

· OZON.ru 1125р. [Проверить наличие]
Jesse Russell
High Level Shader Language
The High Level Shader Language or High Level Shading Language (HLSL) is a proprietary shading language developed by Microsoft for use with the Microsoft Direct3D API. It is analogous to the GLSL shading language… Подробнее
Обложка книги Hypertable

Книгу можно купить в интернет-магазинах:

· OZON.ru 1125р. [Проверить наличие]
· Books.ru 1128р. [Проверить наличие]
Jesse Russell,Ronald Cohn
Hypertable
Hypertable is an open source database inspired by publications on the design of Google's BigTable. The project is based on experience of engineers who were solving large-scale data-intensive tasks for many years.… Подробнее
Обложка книги Image processing

Книгу можно купить в интернет-магазинах:

· OZON.ru 997р. [Проверить наличие]
Jesse Russel
Image processing
In electrical engineering and computer science, image processing is any form of signal processing for which the input is an image, such as a photograph or video frame; the output of image processing may be either an image or, a set of characteristics or parameters related to the image. Most image-processing techniques involve treating the image as a two-dimensional signal and applying standard signal-processing techniques to it.… Подробнее
Обложка книги In the Beginning: And Other Essays on Intelligent Design

Книгу можно купить в интернет-магазинах:

· OZON.ru 1842р. [Проверить наличие]
Granville Sewell
In the Beginning: And Other Essays on Intelligent Design
In this wide-ranging collection of essays on origins, mathematician Granville Sewell looks at the big bang, the fine-tuning of the laws of physics, and the evolution of life. He concludes that while there is much in the history of life that seems to suggest natural causes, there is nothing to support Charles Darwin's idea that natural selection of random variations can explain major evolutionary advances ("easily the dumbest idea ever taken seriously by science," he calls it). Sewell explains wh… Подробнее
Обложка книги ISO 11783

Книгу можно купить в интернет-магазинах:

· OZON.ru 1125р. [Проверить наличие]
· Books.ru 1128р. [Проверить наличие]
Jesse Russell,Ronald Cohn
ISO 11783
ISO 11783 (or ISO Bus or ISOBUS) is a communication protocol based on the SAE J1939 protocol (which includes CANbus) for the agriculture industry. It is managed by the ISOBUS group in VDMA.… Подробнее
Обложка книги ISO 8501-1

Книгу можно купить в интернет-магазинах:

· OZON.ru 1125р. [Проверить наличие]
Jesse Russel
ISO 8501-1
ISO 8501-1 – Preparation of steel substrates before application of paints and related products – Visual assessment of surface cleanliness – Part 1: Rust grades and preparation grades of uncoated steel substrates and of steel substrates after overall removal of previous coatings… Подробнее
Обложка книги Learning object metadata

Книгу можно купить в интернет-магазинах:

· OZON.ru 997р. [Проверить наличие]
· Books.ru 1001р. [Проверить наличие]
Jesse Russell
Learning object metadata
Learning Object Metadata is a data model, usually encoded in XML, used to describe a learning object and similar digital resources used to support learning. The purpose of learning object metadata is to support t… Подробнее
Обложка книги Lectures on the Curry-Howard Isomorphism, Volume 149 (Studies in Logic and the Foundations of Mathematics)

Книгу можно купить в интернет-магазинах:

· OZON.ru 10667р. [Проверить наличие]
Morten Heine SA?rensen, Pawel Urzyczyn
Lectures on the Curry-Howard Isomorphism, Volume 149 (Studies in Logic and the Foundations of Mathematics)
The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in proof theory and computational calculi as found in type theory. For instance, minimal propositional logic corresponds to simply typed lambda-calculus, first-order logic corresponds to dependent types, second-order logic corresponds to polymorphic types, sequent calculus is related to explicit substitution, etc. The isomorphism has many aspects, even at the syntactic level: formulas cor… Подробнее