» książki » Mathematics - Logic
topmenu
 |
Prawitz's Epistemic Grounding: An Investigation into the Power of Deduction
ISBN: 9783031202957 / Angielski / Miękka / 292 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
206,17 |
 |
Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra
ISBN: 9783319167206 / Angielski / Twarda / 646 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This text covers topics in algebraic geometry and commutative algebra with a strong perspective toward practical and computational aspects. The first four chapters form the core of the book. A comprehensive chart in the Preface illustrates a variety of ways to proceed with the material once these chapters are covered. In addition to the fundamentals of algebraic geometry--the elimination theorem, the extension theorem, the closure theorem and the Nullstellensatz--this new edition incorporates several substantial changes, all of which are listed in the Preface. The largest revision... This text covers topics in algebraic geometry and commutative algebra with a strong perspective toward practical and computational aspects. The fir... |
cena:
206,17 |
 |
Logicism and Its Philosophical Legacy
ISBN: 9781107502581 / Angielski / Miękka / 286 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The idea that mathematics is reducible to logic has a long history, but it was Frege who gave logicism an articulation and defense that transformed it into a distinctive philosophical thesis with a profound influence on the development of philosophy in the twentieth century. This volume of classic, revised and newly written essays by William Demopoulos examines logicism's principal legacy for philosophy: its elaboration of notions of analysis and reconstruction. The essays reflect on the deployment of these ideas by the principal figures in the history of the subject - Frege, Russell, Ramsey...
The idea that mathematics is reducible to logic has a long history, but it was Frege who gave logicism an articulation and defense that transformed it...
|
cena:
206,36 |
 |
Mathematical Formulae
ISBN: 9783943334074 / Angielski / Miękka / 830 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This work contains the formula part of the presentation of the mathematical logic R0, a further development of Peter B. Andrews' logic Q0. The syntactic features provided by R0 are type variables (polymorphic type theory), the binding of type variables with the abstraction operator and single variable binder λ (type abstraction), and (some of) the means necessary for dependent types (dependent type theory). For more information, please see: http: //doi.org/10.4444/100.10 This work contains the formula part of the presentation of the mathematical logic R0, a further development of Peter B. Andrews' logic Q... |
cena:
206,36 |
 |
Formal Languages in Logic: A Philosophical and Cognitive Analysis
ISBN: 9781107460317 / Angielski / Miękka / 284 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Formal languages are widely regarded as being above all mathematical objects and as producing a greater level of precision and technical complexity in logical investigations because of this. Yet defining formal languages exclusively in this way offers only a partial and limited explanation of the impact which their use (and the uses of formalisms more generally elsewhere) actually has. In this book, Catarina Dutilh Novaes adopts a much wider conception of formal languages so as to investigate more broadly what exactly is going on when theorists put these tools to use. She looks at the history...
Formal languages are widely regarded as being above all mathematical objects and as producing a greater level of precision and technical complexity in...
|
cena:
206,36 |
 |
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 |
 |
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 |
 |
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 |
 |
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 |
 |
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 |
 |
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 |
 |
Zahlen
ISBN: 9783540126669 / Niemiecki / Miękka / 294 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Das Grundwissen Mathematik, welches jeder Mathematiker im Laufe seines Studiums erwirbt, wird erst durch die Vielfalt von Beztigen zwischen den einzelnen mathematischen Theorien zu einem einheitlichen Ganzen. Querverbindungen zwischen den Einzeldisziplinen lassen sich oft durch die historische Entwicklung aufzeigen. Es ist ein Leitgedanke dieser Reihe, dem Leser deutlich zu machen, daB Mathematik nicht aus isolierten Theorien besteht, die nebeneinander entwickelt werden, sondern daB vielmehr Mathematik als Ganzes angesehen werden muB. Das vorliegende Buch tiber Zahlen weicht von den weiteren...
Das Grundwissen Mathematik, welches jeder Mathematiker im Laufe seines Studiums erwirbt, wird erst durch die Vielfalt von Beztigen zwischen den einzel...
|
cena:
206,88 |
 |
Vollständige Systeme Modaler Und Intuitionistischer Logik
ISBN: 9783642886652 / Niemiecki / Miękka / 88 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. s. A: KIuPKB entwickelte in einer einheitIichen Systematik vollstlindige Interpretationen fiir viele Systeme der Modalitatenlogik, die vorber nur syn taktisch fixiert waren. Hiermit ergab sich auf dem Wege tiber eine quantoren logische Erweiterung des Modalitatensystems S4 zugleich eine Semantik fUr die intuitionistische Priidikatenlogik: . Der vorliegende Ergebnisbericht behandelt im Rahmen der klassischen Priidikatenlogik: zwei Modalitatensysteme, deren aussagenlogische Teile mit den Systemen M von v. WRIGHT und S4 von LEWIS tibereinstimmen. Es gibt verschiedene Moglichkeiten,...
s. A: KIuPKB entwickelte in einer einheitIichen Systematik vollstlindige Interpretationen fiir viele Systeme der Modalitatenlogik, die vorber nur syn ...
|
cena:
206,88 |
 |
Formalisieren und Beweisen: Logik für Informatiker
ISBN: 9783528047573 / Niemiecki / Miękka / 262 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Gregory Bateson -Biologe, Anthropologe, Psychiater, Systemtheoretiker -erziihlt in der Ein leitung zu seinem Buch Geist und Natur1 eine Geschichte: Ein Mann gibt in seinen Computer die Frage ein: "Wirst Du jemals denken wie ein Mensch? Rechne mal nach " Der Computer rechnet und rechnet und gibt schlieBlich aus: Dabei flillt mir eine Geschichte ein. Die Geschichte dieses Buches handelt von Menschen. "Fangt doch jeden Abschnitt mit einem Beispiel an," schlug Ralf-Detlef Kutsche vor, als er mir 1982 zusammen mit Peter Padawitz, Simone Pribbenow und Andreas Schulze half, die Lehrveranstaltung...
Gregory Bateson -Biologe, Anthropologe, Psychiater, Systemtheoretiker -erziihlt in der Ein leitung zu seinem Buch Geist und Natur1 eine Geschichte: Ei...
|
cena:
206,88 |
 |
Personelle Und Statistische Wahrscheinlichkeit
ISBN: 9783642619540 / Niemiecki / Miękka / 420 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. in den Auffassungen iiber die Natur des Begriffs der Wahr Unterschied scheinlichkeit selbst wider. Wenn man dann noch solche Dinge zur Kennt nis nehmen muB, wie daB ein bedeutender Statistiker und Begriinder einer Schule, R. A. FISHER, ausgekliigelte Testmethoden entwickelte, von denen der Begriinder einer anderen Schule, J. NEYMAN, beweisen zu konnen be hauptete, daB diese Methoden in einem mathematisch prazisierbaren Sinn, schlechter als nutzlos' seien, dann wird man gewahr, daB hier im Grund siitzlichen wie in Einzelheiten Gegensiitze vorherrschen, wie sie in kaum einer anderen...
in den Auffassungen iiber die Natur des Begriffs der Wahr Unterschied scheinlichkeit selbst wider. Wenn man dann noch solche Dinge zur Kennt nis nehme...
|
cena:
206,88 |
 |
Die Mathematische Methode: Logisch Erkenntnistheoretische Untersuchungen Im Gebiete Der Mathematik Mechanik Und Physik
ISBN: 9783642484841 / Niemiecki / Miękka / 566 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer Book Archives mit Publikationen, die seit den Anfangen des Verlags von 1842 erschienen sind. Der Verlag stellt mit diesem Archiv Quellen fur die historische wie auch die disziplingeschichtliche Forschung zur Verfugung, die jeweils im historischen Kontext betrachtet werden mussen. Dieser Titel erschien in der Zeit vor 1945 und wird daher in seiner zeittypischen politisch-ideologischen Ausrichtung vom Verlag nicht beworben."
Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer Book Archives mit Publikationen, die seit den Anfangen des Verlags von 1842 erschienen...
|
cena:
206,88 |
 |
Operationales Spezifizieren Mit Programmierten Graphersetzungssystemen: Formale Definitionen, Anwendungsbeispiele Und Werkzeugunterstützung Herausgege
ISBN: 9783824420216 / Niemiecki / Miękka / 466 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Die vorliegende Arbeit ist im "Dunstkreis" des IPSEN-Projektes entstanden und ware ohne die vielfaltigen Anregungen aus diesem Kontext nicht denkbar gewesen. Besonderer Dank gilt deshalb Prof. Dr. Ing. M. Nagl, dem Leiter des IPSEN-Projekts und dem geistigen Vater des Urahns von PROGRESS, fur die Vergabe eines so span nenden Dissertationsthemas, fur die Moglichkeit zur freien Entfaltung im Rahmen des IPSEN-Projekts und fur seinen vehementen Einspruch gegen viele Versuche, die Spra che PROGRESS allein aus Effizienzgriinden zu vereinfachen. Ferner danke ich dem Zweitgutachter, Prof. Dr. H. -J....
Die vorliegende Arbeit ist im "Dunstkreis" des IPSEN-Projektes entstanden und ware ohne die vielfaltigen Anregungen aus diesem Kontext nicht denkbar g...
|
cena:
206,88 |
 |
Zur Geschichte Der Logik: Grundlagen Und Aufbau Der Wissenschaft Im Urteil Der Mathematischen Denker
ISBN: 9783663151685 / Niemiecki / Miękka / 242 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer Book Archives mit Publikationen, die seit den Anfangen des Verlags von 1842 erschienen sind. Der Verlag stellt mit diesem Archiv Quellen fur die historische wie auch die disziplingeschichtliche Forschung zur Verfugung, die jeweils im historischen Kontext betrachtet werden mussen. Dieser Titel erschien in der Zeit vor 1945 und wird daher in seiner zeittypischen politisch-ideologischen Ausrichtung vom Verlag nicht beworben."
Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer Book Archives mit Publikationen, die seit den Anfangen des Verlags von 1842 erschienen...
|
cena:
206,88 |
 |
Zehn Vorlesungen Über Die Grundlegung Der Mengenlehre: Gehalten in Kiel Auf Einladung Der Kant-Gesellschaft, Ortsgruppe Kiel, Vom 8.-12. Juni 1925
ISBN: 9783663151784 / Niemiecki / Miękka / 186 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer Book Archives mit Publikationen, die seit den Anfangen des Verlags von 1842 erschienen sind. Der Verlag stellt mit diesem Archiv Quellen fur die historische wie auch die disziplingeschichtliche Forschung zur Verfugung, die jeweils im historischen Kontext betrachtet werden mussen. Dieser Titel erschien in der Zeit vor 1945 und wird daher in seiner zeittypischen politisch-ideologischen Ausrichtung vom Verlag nicht beworben."
Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer Book Archives mit Publikationen, die seit den Anfangen des Verlags von 1842 erschienen...
|
cena:
206,88 |
 |
Mathematik Und Logik
ISBN: 9783663153054 / Niemiecki / Miękka / 63 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer Book Archives mit Publikationen, die seit den Anfangen des Verlags von 1842 erschienen sind. Der Verlag stellt mit diesem Archiv Quellen fur die historische wie auch die disziplingeschichtliche Forschung zur Verfugung, die jeweils im historischen Kontext betrachtet werden mussen. Dieser Titel erschien in der Zeit vor 1945 und wird daher in seiner zeittypischen politisch-ideologischen Ausrichtung vom Verlag nicht beworben."
Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer Book Archives mit Publikationen, die seit den Anfangen des Verlags von 1842 erschienen...
|
cena:
206,88 |
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
