» książki » Mathematics - Logic
topmenu
 |
Fundamental Problems in Computing: Essays in Honor of Professor Daniel J. Rosenkrantz
ISBN: 9789048181834 / Angielski / Miękka / 516 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Fundamental Problems in Computing is in honor of Professor Daniel J. Rosenkrantz, a distinguished researcher in Computer Science. Professor Rosenkrantz has made seminal contributions to many subareas of Computer Science including formal languages and compilers, automata theory, algorithms, database systems, very large scale integrated systems, fault-tolerant computing and discrete dynamical systems. For many years, Professor Rosenkrantz served as the Editor-in-Chief of the Journal of the Association for Computing Machinery (JACM), a very prestigious archival journal in Computer...
Fundamental Problems in Computing is in honor of Professor Daniel J. Rosenkrantz, a distinguished researcher in Computer Science. Professor R...
|
cena:
402,53 |
 |
Proof Theory for Fuzzy Logics
ISBN: 9789048181216 / Angielski / Miękka / 276 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Fuzzy logics are many-valued logics that are well suited to reasoning in the context of vagueness. They provide the basis for the wider field of Fuzzy Logic, encompassing diverse areas such as fuzzy control, fuzzy databases, and fuzzy mathematics. This book provides an accessible and up-to-date introduction to this fast-growing and increasingly popular area. It focuses in particular on the development and applications of "proof-theoretic" presentations of fuzzy logics; the result of more than ten years of intensive work by researchers in the area, including the authors. In addition to...
Fuzzy logics are many-valued logics that are well suited to reasoning in the context of vagueness. They provide the basis for the wider field of Fuzzy...
|
cena:
483,04 |
 |
Towards Mathematical Philosophy: Papers from the Studia Logica Conference Trends in Logic IV
ISBN: 9789048180653 / Angielski / Miękka / 344 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. area and in applications to linguistics, formal epistemology, and the study of norms. The second contains papers on non-classical and many-valued logics, with an eye on applications in computer science and through it to engineering. The third concerns the logic of belief management, whichis likewise closely connected with recent work in computer science but also links directly with epistemology, the philosophy of science, the study of legal and other normative systems, and cognitive science. The grouping is of course rough, for there are contributions to the volume that lie astride a...
area and in applications to linguistics, formal epistemology, and the study of norms. The second contains papers on non-classical and many-valued logi...
|
cena:
603,81 |
 |
Verification and Control of Hybrid Systems: A Symbolic Approach
ISBN: 9781441954985 / Angielski / Miękka / 202 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Hybrid systems describe the interaction of software, described by finite models such as finite-state machines, with the physical world, described by infinite models such as differential equations. This book addresses problems of verification and controller synthesis for hybrid systems. Although these problems are very difficult to solve for general hybrid systems, several authors have identified classes of hybrid systems that admit symbolic or finite models. The novelty of the book lies on the systematic presentation of these classes of hybrid systems along with the relationships between... Hybrid systems describe the interaction of software, described by finite models such as finite-state machines, with the physical world, described b... |
cena:
523,30 |
 |
Uncertainty-Based Information: Elements of Generalized Information Theory
ISBN: 9783790824643 / Angielski / Miękka / 168 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Information is precious. It reduces our uncertainty in making decisions. Knowledge about the outcome of an uncertain event gives the possessor an advantage. It changes the course of lives, nations, and history itself. Information is the food of Maxwell's demon. His power comes from know- ing which particles are hot and which particles are cold. His existence was paradoxical to classical physics and only the realization that information too was a source of power led to his taming. Information has recently become a commodity, traded and sold like or- ange juice or hog bellies. Colleges give...
Information is precious. It reduces our uncertainty in making decisions. Knowledge about the outcome of an uncertain event gives the possessor an adva...
|
cena:
402,53 |
 |
Logical Structures for Representation of Knowledge and Uncertainty
ISBN: 9783790824582 / Angielski / Miękka / 420 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. It is the business of science not to create laws, but to discover them. We do not originate the constitution of our own minds, greatly as it may be in our power to modify their character. And as the laws of the human intellect do not depend upon our will, so the forms of science, of (1. 1) which they constitute the basis, are in all essential regards independent of individual choice. George Boole 10, p. llJ 1. 1 Comparison with Traditional Logic The logic of this book is a probability logic built on top of a yes-no or 2-valued logic. It is divided into two parts, part I: BP Logic, and part...
It is the business of science not to create laws, but to discover them. We do not originate the constitution of our own minds, greatly as it may be in...
|
cena:
402,53 |
 |
Applied Proof Theory: Proof Interpretations and their Use in Mathematics
ISBN: 9783642096273 / Angielski / Miękka / 536 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This is the first treatment in book format of proof-theoretic transformations - known as proof interpretations - that focuses on applications to ordinary mathematics. It covers both the necessary logical machinery behind the proof interpretations that are used in recent applications as well as - via extended case studies - carrying out some of these applications in full detail. This subject has historical roots in the 1950s. This book for the first time tells the whole story. This is the first treatment in book format of proof-theoretic transformations - known as proof interpretations - that focuses on applications to or... |
cena:
523,30 |
 |
Many-Valued Logics 1: Theoretical Foundations
ISBN: 9783642081453 / Angielski / Miękka / 288 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Many-valued logics were developed as an attempt to handle philosophical doubts about the "law of excluded middle" in classical logic. The first many-valued formal systems were developed by J. Lukasiewicz in Poland and E.Post in the U.S.A. in the 1920s, and since then the field has expanded dramatically as the applicability of the systems to other philosophical and semantic problems was recognized. Intuitionisticlogic, for example, arose from deep problems in the foundations of mathematics. Fuzzy logics, approximation logics, and probability logics all address questions that classical logic...
Many-valued logics were developed as an attempt to handle philosophical doubts about the "law of excluded middle" in classical logic. The first many-v...
|
cena:
402,53 |
 |
Parsing Theory: Volume II Lr(k) and Ll(k) Parsing
ISBN: 9783642080791 / Angielski / Miękka / 427 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This work is Volume II of a two-volume monograph on the theory of deterministic parsing of context-free grammars. Volume I, "Languages and Parsing" (Chapters 1 to 5), was an introduction to the basic concepts of formal language theory and context-free parsing. Volume II (Chapters 6 to 10) contains a thorough treat ment of the theory of the two most important deterministic parsing methods: LR(k) and LL(k) parsing. Volume II is a continuation of Volume I; together these two volumes form an integrated work, with chapters, theorems, lemmas, etc. numbered consecutively. Volume II begins with...
This work is Volume II of a two-volume monograph on the theory of deterministic parsing of context-free grammars. Volume I, "Languages and Parsing" (C...
|
cena:
201,24 |
 |
Logic with a Probability Semantics: Including Solutions to Some Philosophical Problems
ISBN: 9781611460100 / Angielski / Twarda / 126 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The present study is an extension of the topic introduced in Dr. Hailperin's Sentential Probability Logic, where the usual true-false semantics for logic is replaced with one based more on probability, and where values ranging from 0 to 1 are subject to probability axioms. Moreover, as the word "sentential" in the title of that work indicates, the language there under consideration was limited to sentences constructed from atomic (not inner logical components) sentences, by use of sentential connectives ("no," "and," "or," etc.) but not including quantifiers ("for all," "there is"). An...
The present study is an extension of the topic introduced in Dr. Hailperin's Sentential Probability Logic, where the usual true-false semantics for lo...
|
cena:
342,85 |
 |
Der Gödelsche Beweis
ISBN: 9783486597264 / Niemiecki / Miękka / 111 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Spatestens seit Douglas R. Hofstadters "Godel, Escher, Bach" ist der Name Godel auch bei Nichtmathematikern bekannt geworden. 1931 hatte Kurt Godel unter dem Titel "Uber formal unterscheidbare Satze der Principia Mathematica und verwandter Systeme" seinen Unvollstandigkeitssatz publiziert. Nagel und Newman haben das Wesentliche an Godels Ergebnissen fur Nichtfachleute dargestellt. Die vorliegende 9. Auflage ist ein unveranderter Nachdruck der langst klassisch gewordenen Ausgabe von 1958."
Spatestens seit Douglas R. Hofstadters "Godel, Escher, Bach" ist der Name Godel auch bei Nichtmathematikern bekannt geworden. 1931 hatte Kurt Godel un...
|
cena:
148,51 |
 |
The Incompleteness Phenomenon
ISBN: 9781568810294 / Angielski / Twarda / 218 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Designed to be the foundation for a two-term course, this book investigates mathematical logic. The basic premise of mathematical logic is that every reasonable mathematical system is intrinsically incomplete. This premise forms the basis of Godel's famous incompleteness theorem.
Designed to be the foundation for a two-term course, this book investigates mathematical logic. The basic premise of mathematical logic is that every ...
|
cena:
303,61 |
 |
Theoretische Grundlagen Der Informatik
ISBN: 9783211825273 / Niemiecki / Miękka / 332 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Angesichts der Komplexitat der Produkte der modernen Informatik wird eine saubere, theoretische Fundierung immer wichtiger. Das Buch wendet sich an Studierende im ersten Studienabschnitt und an Praktiker und gibt eine Einfuhrung in die theoretischen und zumeist mathematischen Grundlagen der Informatik. Lesern ohne mathematische Vorbildung wird eine Vorstellung von der Denk- und Arbeitsweise der theoretischen Informatik vermittelt. Angesichts der Stoffulle und Komplexitat dieses Gebietes werden detaillierte oder auch nur ausfuhrlichere Kenntnisse in theoretischer Informatik wohl dem...
Angesichts der Komplexitat der Produkte der modernen Informatik wird eine saubere, theoretische Fundierung immer wichtiger. Das Buch wendet sich an St...
|
cena:
206,88 |
 |
Introduction to Mathematical Logic
ISBN: 9783540058199 / Angielski / Miękka / 244 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book grew out of lectures. It is intended as an introduction to classical two-valued predicate logic. The restriction to classical logic is not meant to imply that this logic is intrinsically better than other, non-classical logics; however, classical logic is a good introduction to logic because of its simplicity, and a good basis for applications because it is the foundation of classical mathematics, and thus of the exact sciences which are based on it. The book is meant primarily for mathematics students who are already acquainted with some of the fundamental concepts of mathematics,...
This book grew out of lectures. It is intended as an introduction to classical two-valued predicate logic. The restriction to classical logic is not m...
|
cena:
201,24 |
 |
λ-Calculus and Computer Science Theory: Proceedings of the Symposium Held in Rome March 25-27, 1975. Iac - Cnr Istituto Per Le Applicazioni del C
ISBN: 9783540074168 / Angielski / Miękka / 371 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
201,24 |
 |
Revised Report on the Algorithmic Language Algol 68
ISBN: 9783540075929 / Angielski / Miękka / 238 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Springer Book Archives
Springer Book Archives
|
cena:
483,04 |
 |
Mathematische Logik Mit Informatik-Anwendungen
ISBN: 9783540082026 / Niemiecki / Miękka / 326 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Dieses Buch ist aus Skripten der Autoren zu ihrer Vorlesung "Mathe matische Logik (fUr Informatiker)" entstanden. Diese sechssttindige Lehrveranstaltung, die seit dem Sommersemester 1974 jahrlich an der Technischen Universitat Berlin im Fachbereich Informatik ab gehalten wird, will Informatik-Studenten etwa yom 4. Semester an mit Logik-Methoden vertraut machen und gleichzeitig einen" Bei trag zur Mathematik-Ausbildung fUr Informatiker leisten. Dement sprechend handelt es sich urn einen einfUhrenden Text fUr "krasse" Anfanger in der Logik, der mit elementaren Mathematik -Kenntnissen lesbar ist...
Dieses Buch ist aus Skripten der Autoren zu ihrer Vorlesung "Mathe matische Logik (fUr Informatiker)" entstanden. Diese sechssttindige Lehrveranstaltu...
|
cena:
187,92 |
 |
Mechanizing Hypothesis Formation: Mathematical Foundations for a General Theory
ISBN: 9783540087380 / Angielski / Miękka / 398 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Hypothesis formation is known as one of the branches of Artificial Intelligence, The general question of Artificial IntelligencE' ,"Can computers think?" is specified to the question ,"Can computers formulate and justify hypotheses?" Various attempts have been made to answer the latter question positively. The present book is one such attempt. Our aim is not to formalize and mechanize the whole domain of inductive reasoning. Our ultimate question is: Can computers formulate and justify scientific hypotheses? Can they comprehend empirical data and process them rationally, using the apparatus...
Hypothesis formation is known as one of the branches of Artificial Intelligence, The general question of Artificial IntelligencE' ,"Can computers thin...
|
cena:
201,24 |
 |
Metamathematik Der Elementarmathematik
ISBN: 9783540121510 / Niemiecki / Miękka Termin realizacji zamówienia: ok. 5-8 dni roboczych. Dieses Buch ist kein Lehrbuch. Doch ist es aus Vorlesungen gewachsen, die ich seit ein paar Jahren an der ETH in ZUrich gehalten habe. Es wendet sich an Studenten der Mathematik mittlerer und oberer Semester, aber weniger mit dem Ziel, diesen mathematische Logik oder Axiomatik beizubringen, als vielmehr, urn in ihnen die kritischen Fahigkeiten gegenUber der Mathematik zu wecken und zu scharfen. Denn nur allzu leicht wird der Student durch un sere Erziehung eingelullt. Die jahre lange Beschaftigung mit der Technik der Schulalgebra und -geometrie und mit dem irnrnensen Gebaude der Analysis...
Dieses Buch ist kein Lehrbuch. Doch ist es aus Vorlesungen gewachsen, die ich seit ein paar Jahren an der ETH in ZUrich gehalten habe. Es wendet sich ...
|
cena:
206,88 |
 |
Kurt Gödel and the Foundations of Mathematics: Horizons of Truth
ISBN: 9780521761444 / Angielski / Twarda / 540 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume commemorates the life, work, and foundational views of Kurt Godel (1906 1978), most famous for his hallmark works on the completeness of first-order logic, the incompleteness of number theory, and the consistency with the other widely accepted axioms of set theory of the axiom of choice and of the generalized continuum hypothesis. It explores current research, advances, and ideas for future directions not only in the foundations of mathematics and logic, but also in the fields of computer science, artificial intelligence, physics, cosmology, philosophy, theology, and the history...
This volume commemorates the life, work, and foundational views of Kurt Godel (1906 1978), most famous for his hallmark works on the completeness of f...
|
cena:
553,81 |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
