» książki » Mathematics - Logic
topmenu
 |
Reasoning Web. Semantic Technologies for Intelligent Data Access: 9th International Summer School 2013, Mannheim, Germany, July 30 -- August 2, 2013. Proceedings
ISBN: 9783642397837 / Angielski / Miękka / 285 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the lecture notes of the 9th Reasoning Web Summer School 2013. Coverage includes diverse aspects of Web reasoning, ranging from scalable lightweight formalisms such as RDF to more expressive ontology languages based on description logics.
This volume contains the lecture notes of the 9th Reasoning Web Summer School 2013. Coverage includes diverse aspects of Web reasoning, ranging from s...
|
cena:
185,18 |
 |
Logic for Kids: All Aboard the Therefore Train!
ISBN: 9789814968607 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. Getting started in logic at the earliest opportunity is the answer. While other books adopt a formal approach, using abstractions and arcane jargon, this book explains logical reasoning in simple and intuitive ways through its breezy writing style and with clipart lightening the mood.
Getting started in logic at the earliest opportunity is the answer. While other books adopt a formal approach, using abstractions and arcane jargon, t...
|
cena:
185,30 |
 |
Weaving Self-Evidence: A Sociology of Logic
ISBN: 9780691139401 / Angielski / Miękka / 312 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The development of theorems in logic is generally thought to be a solitary and purely cerebral activity, and therefore unobservable by sociologists. In Weaving Self-Evidence, French sociologist Claude Rosental challenges this notion by tracing the history of one well-known recent example in the field of artificial intelligence--a theorem on the foundations of fuzzy logic. Rosental's analyses disclose the inherently social nature of the process by which propositions in logic are produced, disseminated, and established as truths. Rosental describes the different phases of... The development of theorems in logic is generally thought to be a solitary and purely cerebral activity, and therefore unobservable by sociologists... |
cena:
185,36 |
 |
Lectures on Algebraic Model Theory
ISBN: 9780821827055 / Angielski / Twarda Termin realizacji zamówienia: ok. 5-8 dni roboczych. Model theory has had remarkable success in solving important problems as well as in shedding new light on our understanding of them. The three lectures collected here present recent developments in three such areas: Anand Pillay on differential fields, Patrick Speissegger on o-minimality and Matthias Clasen and Matthew Valeriote on time congruence theory.
Model theory has had remarkable success in solving important problems as well as in shedding new light on our understanding of them. The three lecture...
|
cena:
185,36 |
 |
Logic and Random Structures
ISBN: 9780821805787 / Angielski / Twarda / 130 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains selected papers from the DIMACS Workshop on Logic and Random Structures held in November 1995. The workshop was a major event of the DIMACS Special Year on Logic and Algorithms. The central theme was the relationship between logic and probabilistic techniques in the study of finite structures.
This volume contains selected papers from the DIMACS Workshop on Logic and Random Structures held in November 1995. The workshop was a major event of ...
|
cena:
185,36 |
 |
Slicing the Truth: On the Computable and Reverse Mathematics of Combinatorial Principles
ISBN: 9789814612616 / Angielski / Twarda / 232 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
185,36 |
 |
Aha..... That Is Interesting!: John Holland, 85 Years Young
ISBN: 9789814619868 / Angielski / Twarda / 164 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. John Holland is one of the few scientists, who all by themselves and by their pursuits, helped change the course of science and the wealth of human knowledge. There is hardly a field of science or problems, that is not affected by John's work on complexity and in particular, complex adaptive systems. On the occasion of his 85th birthday, many of his friends wrote about John, about facets of this remarkable man that only people close to him can know and tell.This book collects those stories highlighting aspects of the creation of complexity science that will most likely not be found in the...
John Holland is one of the few scientists, who all by themselves and by their pursuits, helped change the course of science and the wealth of human kn...
|
cena:
185,36 |
 |
An Introduction to Metalogic
ISBN: 9781554811717 / Angielski / Miękka / 344 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. An Introduction to Metalogic is a uniquely accessible introduction to the metatheory of first-order predicate logic. No background knowledge of logic is presupposed, as the book is entirely self-contained and clearly defines all of the technical terms it employs. Yaqub begins with an introduction to predicate logic, and ends with detailed outlines of the proofs of the incompleteness, undecidability and indefinability theorems. Many other topics are covered: expressive completeness, the basics of set theory, infinite cardinalities, Cantor's Theorems, the Soundness and Completeness...
An Introduction to Metalogic is a uniquely accessible introduction to the metatheory of first-order predicate logic. No background knowledge ...
|
cena:
186,57 |
 |
We Will Show Them! Essays in Honour of Dov Gabbay. Volume 1
ISBN: 9781904987116 / Angielski / Miękka / 804 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book provides an invaluable overview of the reach of logic. It provides reference to some of the most important, well-established results in logic, while at the same time offering insight into the latest research issues in the area. It also has a balance of theory and practice, containing essays in the areas of Modal Logic, Intuitionistic Logic, Logic and Language, Non-monotonic Logic and Logic Programming, Temporal Logic, Logic and Learning, Combination of Logics, Practical Reasoning, Logic and Artificial Intelligence, Abduction, Theorem Proving, and Goal-Directed Reasoning. It will be...
This book provides an invaluable overview of the reach of logic. It provides reference to some of the most important, well-established results in logi...
|
cena:
186,80 |
 |
We Will Show Them: Essays in Honour of Dov Gabbay. Volume 2
ISBN: 9781904987123 / Angielski / Miękka / 812 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book provides an invaluable overview of the reach of logic. It provides reference to some of the most important, well-established results in logic, while at the same time offering insight into the lattest research issues in the area. It also has a balance of theory and practice, containing essays in the areas of Modal Logic, Intuitionistic Logic, Logic and Language, Non-monotonic Logic and Logic Programming, Temporal Logic, Logic and Learning, Combination of Logics, Practical Reasoning, Logic and Artificial Intelligence, Abduction, Theorem Proving, and Goal-Directed Reasoning. It will be...
This book provides an invaluable overview of the reach of logic. It provides reference to some of the most important, well-established results in logi...
|
cena:
186,80 |
 |
Handbook of Paraconsistency
ISBN: 9781904987734 / Angielski / Miękka / 528 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Paraconsistent logics are logics which allow solid deductive
reasoning under contradictions by offering a mathematical and philosophical support to contradictory yet non-trivial theories. Due to its role in models of scientific reasoning and to its philosophical implications, as well as to its connections to topics such as abduction, automated reasoning, logic programming, and belief revision, paraconsistency has becoming a fast growing area. During the III World Congress on Paraconsistency (WCP3) held in Toulouse, France, in July, 2003, it became apparent that there is a need for... Paraconsistent logics are logics which allow solid deductive
reasoning under contradictions by offering a mathematical and philosophical su... |
cena:
186,80 |
 |
Inconsistent Geometry
ISBN: 9781848900226 / Angielski / Miękka / 174 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Theory of Inconsistency has a long lineage, stretching back to Herakleitos, Hegel and Marx. In the late twentieth-century, it was placed on a rigorous footing with the discovery of paraconsistent logic and inconsistent mathematics. Paraconsistent logics, many of which are now known, are "inconsistency tolerant," that is, they lack the rule of Boolean logic that a contradiction implies every proposition. When this constricting rule was seen to be arbitrary, inconsistent mathematical structures were free to be described. This book continues the development of inconsistent mathematics by...
The Theory of Inconsistency has a long lineage, stretching back to Herakleitos, Hegel and Marx. In the late twentieth-century, it was placed on a rigo...
|
cena:
186,80 |
 |
Automated Reasoning in Higher-Order Logic: Set Comprehension and Extensionality in Church's Type Theory
ISBN: 9781904987574 / Angielski / Miękka / 564 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Many mathematical and computational concepts can be represented in a natural way using higher-order logic. Consequently, higher-order logic has become an important topic of research. /Automated Reasoning in Higher-Order Logic/ presents both a theoretical analysis of fragments of higher-order logic as well as a complete automated search procedure for an extensional form of
higher-order logic. The first part of the book provides a detailed presentation of the theory (syntax and semantics) of fragments of higher-order logic. The fragments differ in the amount of extensionality and set... Many mathematical and computational concepts can be represented in a natural way using higher-order logic. Consequently, higher-order logic has becom...
|
cena:
186,80 |
 |
Knowing, Reasoning, and Acting
ISBN: 9781848900448 / Angielski / Twarda / 502 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This collection of papers, published in honour of Hector J. Levesque on the occasion of his 60th birthday, addresses a number of core areas in the field of knowledge representation and reasoning. In a broad sense, the book is about knowledge and belief, tractable reasoning, and reasoning about action and change. More specifically, the book contains contributions to Description Logics, the expressiveness of knowledge representation languages, limited forms of inference, satisfiablity (SAT), the logical foundations of BDI architectures, only-knowing, belief revision, planning, causation, the...
This collection of papers, published in honour of Hector J. Levesque on the occasion of his 60th birthday, addresses a number of core areas in the fie...
|
cena:
186,80 |
 |
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 |
 |
Berechenbarkeit: Rekursive Und Programmierbare Funktionen
ISBN: 9783540563549 / Niemiecki / Miękka / 489 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Dieses Lehrbuch behandelt verstandlich, umfassend und modern die Theorie der Berechenbarkeit, ein klassisches Gebiet der Mathematischen Logik, das als Grundlagengebiet auch fur die Informatik von hochster Bedeutung ist. Lebendig und didaktisch klar wird das Studium der berechenbaren Funktionen auf dem Programmbegriff aufgebaut. Dabei sind die Induktion als Beweisprinzip und die Rekursion als Konstruktionsprinzip die beiden grundlegenden Werkzeuge fur den Umgang mit Zahlen und Funktionen. Obwohl uber eine gewisse Vertrautheit mit der mathematischen Argumentationsweise hinaus keine inhaltlichen...
Dieses Lehrbuch behandelt verstandlich, umfassend und modern die Theorie der Berechenbarkeit, ein klassisches Gebiet der Mathematischen Logik, das als...
|
cena:
187,92 |
 |
Arbeiten zur Analysis und zur mathematischen Logik
ISBN: 9783211958469 / Niemiecki / Miękka / 144 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Dieser Band enthalt fotomechanische Nachdrucke klassischer Arbeiten von Giuseppe Peano zur Analysis und zur mathematischen Logik aus den Jahren 1886 bis 1899, denen fur die Herausbildung der gegenwartigen Mathematik grosse Bedeutung zukommt. Im Nachwort berichtet der Herausgeber uber die Entstehungsgeschichte der abgedruckten Arbeiten, uber deren Stellung im Gesamtwerk Peanos und uber ihre Verflechtung mit der Entwicklung der Mathematik um die Jahrhundertwende. Fotos und Archivalien komplettieren das Buch. Aus den Besprechungen: "Die mathematische Behandlung der Grundlagen der...
Dieser Band enthalt fotomechanische Nachdrucke klassischer Arbeiten von Giuseppe Peano zur Analysis und zur mathematischen Logik aus den Jahren 1886 b...
|
cena:
187,92 |
 |
Algebra Für Informatiker
ISBN: 9783211818916 / Niemiecki / Miękka / 256 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Das KernstUck des vor1iegenden Suches entstand aus einer einsemestrigen Vor- 1esunH gleichen Namens, die die Autoren seit mehreren Studienjahren an der Technischen Universitat Wien betreuen und die von R.M1itz ausgearbeitet wurde. Es erschien den Autoren notwendig bzw. zweckmaBig, dieses KernstUck zu erHanzen durch 1ineare Algebra - die an der TU Wien getrennt vorgetragen wird - und Hraphentheoretische Grundbegriffe. Die von den Autoren gewonnenen Erfahrungen haben die yom Ub1ichen Schema abweichenden didaktischen Aspekte der Darste11unq gepraqt, deren Grundprinzip in der nachfo1qenden...
Das KernstUck des vor1iegenden Suches entstand aus einer einsemestrigen Vor- 1esunH gleichen Namens, die die Autoren seit mehreren Studienjahren an de...
|
cena:
188,08 |
 |
Die Gödel'schen Unvollständigkeitssätze: Eine Geführte Reise Durch Kurt Gödels Historischen Beweis
ISBN: 9783662542996 / Niemiecki / Miękka / 356 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Im Jahr 1931 erschien im Monatsheft fur Mathematik und Physik ein Artikel mit dem geheimnisvoll klingenden Titel Uber formal unentscheidbare Satze der Principia Mathematica und verwandter Systeme I. In dieser Arbeit hat Kurt Godel zwei Unvollstandigkeitssatze bewiesen, die unseren Blick auf die Mathematik von Grund auf verandert haben. Godels Satze manifestieren, dass zwischen dem Begriff der Wahrheit und dem Begriff der Beweisbarkeit eine Kluft besteht, die wir nicht uberwinden konnen. Die Mathematik fugt sich in kein formales Korsett. Seit ihrer Entdeckung sind die...Im Jahr 1931 erschien im Monatsheft fur Mathematik und Physik ein Artikel mit dem geheimnisvoll klingenden Titel Uber formal unentscheidbare Sat... |
cena:
188,08 |
 |
Eine Elementare Einführung in Die Theorie Der Turing-Maschinen
ISBN: 9783211827697 / Niemiecki / Twarda / 289 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. ALTER TEXT: Dieser erste Versuch, eine brauchbare Kenntnis der Automatentheorie (und ihrer Weiterungen in Logik, Computerwissenschaft und Alltag) auch solchen Lesern zu vermitteln, die den Umfang mit Formalismen scheuen, fuhrt den intelligenten Laien zum Verstandnis der grundlegenden Ergebnisse der Theorie der Berechenbarkeit und der Automatentheorie. Bei Wahrung aller wunschenswerten Stringenz stutzt sich die Darlegung auf Anschaulichkeit und Konstruktivitat. Mitgelieferte PC-Software fordert den konkreten Umgang mit Automaten und gibt dem Leser unmittelbare Gelegenheit, eigene...
ALTER TEXT: Dieser erste Versuch, eine brauchbare Kenntnis der Automatentheorie (und ihrer Weiterungen in Logik, Computerwissenschaft und Alltag) auch...
|
cena:
188,08 |
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
