» książki » Mathematics - Logic
topmenu
 |
Reduktionssysteme: Rechnen Und Schließen in Gleichungsdefinierten Strukturen
ISBN: 9783540585596 / Niemiecki / Miękka / 261 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Reduktions- und Vervollstandigungstechniken dienen zum Rechnen und Schliessen in gleichungsdefinierten algebraischen Strukturen wie Abstrakten Datentypen. In dieser ersten systematischen Einfuhrung in das Gebiet der Reduktionssysteme werden die Grundlagen entwickelt und auf unterschiedliche Ersetzungssysteme angewandt. Themenschwerpunkte sind: 1. denotationale, operationale und rewrite-basierte Semantik, 2. effiziente und nachweisbar korrekte Vervollstandigungsalgorithmen, 3. Inferenzsysteme, die auf Beweistransformation und Beweisordnung basieren, und 4. prinzipielle Entscheidbarkeit...
Reduktions- und Vervollstandigungstechniken dienen zum Rechnen und Schliessen in gleichungsdefinierten algebraischen Strukturen wie Abstrakten Datenty...
|
cena:
206,88 |
 |
Introduction to Mathematical Logic
ISBN: 9789814343862 / Angielski / Twarda / 280 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. An introduction to mathematical logic. Starting with the basics of set theory, induction and computability, it covers propositional and first-order logic - their syntax, reasoning systems and semantics. It presents soundness and completeness results for Hilbert's and Gentzen's systems, along with simple decidability arguments.
An introduction to mathematical logic. Starting with the basics of set theory, induction and computability, it covers propositional and first-order lo...
|
cena:
293,86 |
 |
Aufzählbarkeit Entscheidbarkeit Berechenbarkeit: Einführung in Die Theorie Der Rekursiven Funktionen
ISBN: 9783540088691 / Niemiecki / Miękka / 260 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
225,72 |
 |
7. Österreichische Artificial-Intelligence-Tagung / Seventh Austrian Conference on Artificial Intelligence: Wien, Austria, 24.-27. September 1991 Proc
ISBN: 9783540545675 / Niemiecki / Miękka / 180 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Die 7. sterreichische Artificial-Intelligence-Tagung fand vom 24.-27. September 1991 an der Technischen Universit{t Wien statt. Sie hat aufgrund der starken Beteiligung aus dem Ausland einen ausgepr{gt internationalen Charakter, weshalb auch der vorliegende Tagungsband zweisprachig herausgegeben wurde. Die behandelten Themen aus dem Gebiet der K}nstlichen Intelligenz (KI) werden repr{sentiert durch sechzehn begutachtete Beitr{ge sowie zwei eingeladene Vortr{ge. Sie sind thematisch breit gestreut, wobei sich gewisse Schwerpunkte in den Gebieten "Nat}rliche Sprache" und "Wissensbasierte...
Die 7. sterreichische Artificial-Intelligence-Tagung fand vom 24.-27. September 1991 an der Technischen Universit{t Wien statt. Sie hat aufgrund der s...
|
cena:
206,88 |
 |
Fuzzy Multiple Attribute Decision Making: Methods and Applications
ISBN: 9783540549987 / Angielski / Miękka / 536 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This monograph is intended for graduate courses in engineering and management science, as well as readers who require an introduction to the theories and methodologies of multiple attribute decision making in a fuzzy environment.
This monograph is intended for graduate courses in engineering and management science, as well as readers who require an introduction to the theories ...
|
cena:
402,53 |
 |
Invariance and Structural Dependence
ISBN: 9783540552604 / Angielski / Miękka / 245 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This is a revised version of a doctoral thesis, submitted in mimeographed fonn to the Faculty of Arts, Uppsala University, 1988. It deals with the notions of struc tural dependence and independence, which are used in many applications of mathe matics to science. For instance, a physical law states that one physical aspect is structurally dependent on one or more other aspects. Structural dependence is closely related to the mathematical idea of functional dependence. However, struc tural dependence is primarily thought of as a relation holding between aspects rather than between their...
This is a revised version of a doctoral thesis, submitted in mimeographed fonn to the Faculty of Arts, Uppsala University, 1988. It deals with the not...
|
cena:
201,24 |
 |
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 |
 |
The Criminology of White-Collar Crime
ISBN: 9781441918598 / Angielski / Miękka / 228 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych.
|
cena:
603,81 |
 |
Introduction to Boolean Algebras
ISBN: 9781441923240 / Angielski / Miękka / 574 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The theory of Boolean algebras was created in 1847 by the English mat- matician George Boole. He conceived it as a calculus (or arithmetic) suitable for a mathematical analysis of logic. The form of his calculus was rather di?erent from the modern version, which came into being during the - riod 1864-1895 through the contributions of William Stanley Jevons, Aug- tus De Morgan, Charles Sanders Peirce, and Ernst Schr] oder. A foundation of the calculus as an abstract algebraic discipline, axiomatized by a set of equations, and admitting many di?erent interpretations, was carried out by Edward...
The theory of Boolean algebras was created in 1847 by the English mat- matician George Boole. He conceived it as a calculus (or arithmetic) suitable f...
|
cena:
201,24 |
 |
Aggregating Clones, Colors, Equations, Iterates, Numbers, and Tiles
ISBN: 9783764352431 / Angielski / Miękka / 216 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The journal "Aequationes Mathematicae" publishes papers in pure and applied mathematics in general and, in particular, articles focusing on functional equations, combinatorics and dynamical systems. This work contains invited survey papers to celebrate the 50th volume of this journal.
The journal "Aequationes Mathematicae" publishes papers in pure and applied mathematics in general and, in particular, articles focusing on functional...
|
cena:
201,24 |
 |
Matrizen, Geometrie, Lineare Algebra
ISBN: 9783764353766 / Niemiecki / Twarda / 636 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Der heutige Hochschulunterricht fur Mathematiker grundet meist auf Abstraktion und fuhrt vom Allgemeinen zum Speziellen. Die Methode hat Vorteile, sie starkt das Denkvermogen und meidet lastige Wiederholungen. Doch sie "stellt den Pflug vor die Ochsen," weil Abstraktion auf Spezialfalle baut, die dem Lernenden oft fremd sind. So bleibt der Erfolg den Glucklichen vorbehalten, die den Weg von der Abstraktion zu den Beispielen finden. Dieses Lehrbuch fuhrt von zwei Spezialfallen zur Allgemeinheit und grundet nicht auf Abstraktion. Die Beweise der abstrakten Algebra werden zuerst am konkreten... Der heutige Hochschulunterricht fur Mathematiker grundet meist auf Abstraktion und fuhrt vom Allgemeinen zum Speziellen. Die Methode hat Vorteile, ... |
cena:
244,52 |
 |
The Infinite in Mathematics: Logico-Mathematical Writings
ISBN: 9789027708489 / Angielski / Miękka / 237 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The main item in the present volume was published in 1930 under the title Das Unendliche in der Mathematik und seine Ausschaltung. It was at that time the fullest systematic account from the standpoint of Husserl's phenomenology of what is known as 'finitism' (also as 'intuitionism' and 'constructivism') in mathematics. Since then, important changes have been required in philosophies of mathematics, in part because of Kurt Godel's epoch-making paper of 1931 which established the essential in completeness of arithmetic. In the light of that finding, a number of the claims made in the book (and...
The main item in the present volume was published in 1930 under the title Das Unendliche in der Mathematik und seine Ausschaltung. It was at that time...
|
cena:
603,81 |
 |
Zur Logik der Logik-Programmierung: Ein konstruktiver Ansatz
ISBN: 9783540507208 / Niemiecki / Miękka / 246 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Thema der Arbeit ist das zentrale Problem logischer Programmiersprachen: ein optimales Gleichgewicht zwischen sprachlicher Ausdruckskraft und effizienter Realisierbarkeit eines entsprechenden Beweissystems zu finden. Nach einer Zusammenstellung der fur das Verstandnis der Arbeit notigen logischen Grundbegriffe folgt eine Analyse bzw. Besprechung von KI-Programmiersprachen, die im Umkreis der logischen Verarbeitungsmodelle angesiedelt sind. Sodann wird Prolog mit seiner Theorie dargestellt und einer grundsatzlichen Kritik unterzogen. Eine genauere Untersuchung der logisch bedenklichen...
Thema der Arbeit ist das zentrale Problem logischer Programmiersprachen: ein optimales Gleichgewicht zwischen sprachlicher Ausdruckskraft und effizien...
|
cena:
206,88 |
 |
5. Österreichische Artificial-Intelligence-Tagung: Igls/Tirol, 28.-31. März 1989 Proceedings
ISBN: 9783540510390 / Angielski / Miękka / 452 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Die 5. Osterreichische Artificial-Intelligence-Tagung setzt sich zusammen aus wissenschaftlichem Programm, Workshops und Tutorials. Der wissenschaftlich orientierte Teil des Tagungsprogramms umfasst sowohl eingeladene als auch begutachtete Vortrage zu den Themen Qualitatives Schliessen, Methodik Wissensbasierter Systeme und deren Anwendung, Logik/Deduktion, Naturlichsprachliche Systeme, Lernen und Kognition. Zum Informationsaustausch waren zusatzlich Workshops zur Weiterbildung vorgesehen. Besonders das Thema "Philosophie und KI" demonstrierte das allgemeine Interesse. Dies soll mit Beitragen...
Die 5. Osterreichische Artificial-Intelligence-Tagung setzt sich zusammen aus wissenschaftlichem Programm, Workshops und Tutorials. Der wissenschaftli...
|
cena:
402,53 |
 |
Logical Number Theory I: An Introduction
ISBN: 9783540522362 / Angielski / Miękka / 405 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The first of a two-volume introduction to logical number theory which deals with recursion theory, first-order logic, completeness, incompleteness and undecidability. The text includes a logical discussion of diophantine decision problems and logico-arithmetical matters.
The first of a two-volume introduction to logical number theory which deals with recursion theory, first-order logic, completeness, incompleteness and...
|
cena:
322,01 |
 |
Elementare Aussagenlogik
ISBN: 9783540529743 / Niemiecki / Miękka / 238 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Dieses Buch uber elementare Aussagenlogik (wie auch seine geplante Fortsetzung uber Elementare Pradikatenlogik und Universelle Algebra) ist aus Vorlesungen an der Technischen Universitat Munchen entstanden. Es basiert auf der Uberzeugung, dass fur Studierende der Informatik nicht nur ein anderer Aufbau des mathematischen Grundstudiums geboten ist als etwa fur Ingenieure oder Physiker, sondern auch ein anderes Menu, als es sich an unseren Universitaten nach den GAMM-NTG-Empfehlungen der siebziger Jahre eingeburgert hat. Neben den unentbehrlichen Einfuhrungsvorlesungen in Mathematik sind fur...
Dieses Buch uber elementare Aussagenlogik (wie auch seine geplante Fortsetzung uber Elementare Pradikatenlogik und Universelle Algebra) ist aus Vorles...
|
cena:
206,88 |
 |
Selbstreferenz, Tarski-Sätze Und Die Undefinierbarkeit Der Arithmetischen Wahrheit. Abstrakte Semantik Und Algebraische Behandlung Der Logik. Die Beid
ISBN: 9783540122135 / Niemiecki / Miękka / 149 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
67,55 |
 |
Metamathematische Methoden in Der Geometrie
ISBN: 9783540129585 / Niemiecki / Miękka / 484 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Das vorliegende Buch besteht aus zwei Teilen. Teil I enthalt einen axiomatischen Aufbau der euklidischen Geometrie auf Grund eines Axiomensystems von Tarski, das in einem gewissen Sinne (auch fur die absolute Geometrie) gleichwertig ist mit dem Hilbertschen Axiomensystem, aber formalisiert ist in einer Sprache, die fur die Betrachtungen in Teil II besonders geeignet ist. Mehrere solche Axio mensysteme wurden schon vor langer Zeit von Tarski veroffentlicht. Hier wird nun die Durchfuhrung eines Aufbaus der Geometrie auf Grund eines solchen Axiomensystems - unter Benutzung von Resultaten von H....
Das vorliegende Buch besteht aus zwei Teilen. Teil I enthalt einen axiomatischen Aufbau der euklidischen Geometrie auf Grund eines Axiomensystems von ...
|
cena:
225,72 |
 |
Mural: A Formal Development Support System
ISBN: 9783540196518 / Angielski / Miękka / 421 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Formal methods enable computer architecture and software design to be mathematically proved correct before they are implemented. The complexity and time-consuming nature of such proofs have limited the applications of formal methods in the main to defence and safety-critical applications. The mural project (a joint Alvey-funded project between Manchester University and Rutherford Appleton Laboratories) has developed a software support system to help the user of formal methods. mural has created a user-friendly...
Formal methods enable computer architecture and software design to be mathematically proved correct before they are implemented. The complexity and ti...
|
cena:
201,24 |
 |
IV Higher Order Workshop, Banff 1990: Proceedings of the IV Higher Order Workshop, Banff, Alberta, Canada 10-14 September 1990
ISBN: 9783540196600 / Angielski / Miękka / 285 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. It is many years since Landin, Burge and others showed us how to apply higher order techniques and thus laid some foundations for modern functional programming. The advantage of higher order descriptions - that they can be very succinct and clear - has been percolating through ever since. Current research topics range from the design, implementation and use of higher order proof assistants and theorem provers, through program specification and verification, and programming language design, to its applications in hardware description and verification. The papers in this book represent the...
It is many years since Landin, Burge and others showed us how to apply higher order techniques and thus laid some foundations for modern functional pr...
|
cena:
201,24 |
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
