» książki » Mathematics - Logic
topmenu
 |
Epistemic Logic: 5 Questions
ISBN: 9788792130242 / Angielski / Miękka / 276 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Epistemic Logic: 5 Questions is a collection of short interviews based on 5 questions presented to some of the most influential and prominent scholars in the field. We hear their views on the field, the aim, the scopes, the future direction of research and how their work fits in these respects.
Epistemic Logic: 5 Questions is a collection of short interviews based on 5 questions presented to some of the most influential and prominent scholars...
|
cena:
164,01 |
 |
Combinatorics and Graph Theory
ISBN: 9781441927231 / Angielski / Miękka / 381 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. There are certain rules that one must abide by in order to create a successful sequel. -- Randy Meeks, from the trailer to Scream 2 While we may not follow the precise rules that Mr. Meeks had in mind for s- cessful sequels, we have made a number of changes to the text in this second edition. In the new edition, we continue to introduce new topics with concrete - amples, we provide complete proofs of almost every result, and we preserve the book'sfriendlystyle andlivelypresentation, interspersingthetextwith occasional jokes and quotations. The rst two chapters, on graph theory and...
There are certain rules that one must abide by in order to create a successful sequel. -- Randy Meeks, from the trailer to Scream 2 While we may not f...
|
cena:
164,85 |
 |
Advances in Experimental Philosophy of Logic and Mathematics
ISBN: 9781350217959 / Angielski / Miękka / 296 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
164,92 |
 |
Infinity, Computability and Metamathematics
ISBN: 9781848901308 / Angielski / Twarda / 354 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In the year 2014, both Peter Koepke and Philip Welch are celebrating their 60th birthdays, and this festive occasion is celebrated with this Festschrift in their honour containing scientific contributions of their students, collaborators, colleagues and friends which cover the various different research ares of logic in which Peter and Philip are active.
In the year 2014, both Peter Koepke and Philip Welch are celebrating their 60th birthdays, and this festive occasion is celebrated with this Festschri...
|
cena:
166,16 |
 |
Argumentation and Reasoned Action. Volume 1
ISBN: 9781848902114 / Angielski / Miękka / 866 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This is Volume I of the proceedings of the 1st European Conference on Argumentation: Argumentation and Reasoned Action, held at the Argumentation Lab in Lisbon, Portugal, in June 2015. The European Conference on Argumentation (ECA) is a new pan-European initiative aiming to consolidate and advance various streaks of research into argumentation and reasoning: philosophy, communication, linguistics, discourse analysis, computer science, psychology, cognitive studies, legal theory, etc. The proceedings comprise what we think is the most complete statement of the state of the art of argumentation...
This is Volume I of the proceedings of the 1st European Conference on Argumentation: Argumentation and Reasoned Action, held at the Argumentation Lab ...
|
cena:
168,33 |
 |
Handbook of Formal Argumentation. Volume 3
ISBN: 9781848904811 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
168,33 |
 |
Introduction to Proofs and Proof Strategies
ISBN: 9781009096287 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. Emphasizing the creative nature of mathematics, this conversational textbook guides students through the process of discovering a proof as they transition to advanced mathematics. Using several strategies, students will develop the thinking skills needed to tackle mathematics when there is no clear algorithm or recipe to follow.
Emphasizing the creative nature of mathematics, this conversational textbook guides students through the process of discovering a proof as they transi...
|
cena:
168,65 |
 |
Controlled Natural Language: 5th International Workshop, Cnl 2016, Aberdeen, Uk, July 25-27, 2016, Proceedings
ISBN: 9783319414973 / Angielski / Miękka / 131 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 5th International Workshop on Controlled Natural Language, CNL 2016, held in Aberdeen, UK, in July 2016. The topics range from natural languages which are controlled, to controlled languages with a natural language flavour;
This book constitutes the refereed proceedings of the 5th International Workshop on Controlled Natural Language, CNL 2016, held in Aberdeen, UK, in Ju...
|
cena:
169,08 |
 |
Formal Grammar: 22nd International Conference, FG 2017, Toulouse, France, July 22-23, 2017, Revised Selected Papers
ISBN: 9783662563427 / Angielski / Miękka / 157 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
169,08 |
 |
Intelligent Computer Mathematics: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings
ISBN: 9783319425467 / Angielski / Miękka / 163 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 9th International Conference on Intelligent Computer Mathematics, CICM 2016, held in Bialystok, Poland, in July 2016.
The 10 full papers and 2 short papers presented were carefully reviewed and selectedfrom a total of 41 submissions. The papers are organized in topical sections according to the five tracks of the conference: Calculemus; Digital Mathematics Libraries; Mathematical Knowledge Management; Surveys and Projects; and Systems and Data. This book constitutes the refereed proceedings of the 9th International Conference on Intelligent Computer Mathematics, CICM 2016, held in Bialystok, ...
|
cena:
169,08 |
 |
Graph Structures for Knowledge Representation and Reasoning: 5th International Workshop, Gkr 2017, Melbourne, Vic, Australia, August 21, 2017, Revised
ISBN: 9783319781013 / Angielski / Miękka / 139 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-conference proceedings of the 5th International Workshop on Graph Structures for Knowledge Representation and Reasoning, GKR 2017, held in Melbourne, VIC, Australia, in August 2017, associated with IJCAI 2017, the 26th International Joint Conference on Artificial Intelligence.
This book constitutes the thoroughly refereed post-conference proceedings of the 5th International Workshop on Graph Structures for Knowledge Represen...
|
cena:
169,08 |
 |
Practical Aspects of Declarative Languages: 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings
ISBN: 9783319733043 / Angielski / Miękka / 203 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 20th International Symposium on Practical Aspects of Declarative Languages, PADL 2018, held in Los Angeles, CA, USA, in January 2018 and collocated with the 45th ACM SIGPLAN Symposium on Principles of Programming Languages.The 13 regular papers presented in this volume together with the abstracts of 2 invited talks were carefully reviewed and selected from 23 submissions. They deal with functional programming; constraint programming and business rules; prolog and optimization; and answer set programming.
This book constitutes the proceedings of the 20th International Symposium on Practical Aspects of Declarative Languages, PADL 2018, held in Los Angel...
|
cena:
169,08 |
 |
Mengenlehre Und Ihre Logik
ISBN: 9783528082949 / Niemiecki / Miękka / 264 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. einem solchen Panoramablick beginnen, denn der Leser wird zu Anfang weder den Stoff zu schatzen wissen, den die verschiedenen Systeme organisieren wollen, noch solehe Oberlegungen, die dem einen System in irgendeiner Hinsicht vor einem anderen den Vorzug geben. Es ist besser, zu Anfang den Leser mit einem vorlaufigen inforrnellen Oberblick tiber den Gegenstand zu orientieren. Hier zeigen sich aber schon wieder Schwierigkeiten. Wenn soleh ein Oberblick tiber Trivialitaten hinausgehen solI, muB er auch eine ernstzunehmende und spitzfindige Argumentation zu Hilfe nehmen, die aber leicht in...
einem solchen Panoramablick beginnen, denn der Leser wird zu Anfang weder den Stoff zu schatzen wissen, den die verschiedenen Systeme organisieren wol...
|
cena:
169,28 |
 |
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:
169,28 |
 |
Beweisen Lernen Schritt Für Schritt: Für Einen Gelungenen Einstieg Ins Mathestudium
ISBN: 9783662616154 / Niemiecki / Miękka / 335 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
169,28 |
 |
Der Satz Des Pythagoras in 365 Beweisen: Mathematische, Kulturgeschichtliche Und Didaktische Überlegungen Zum Vielleicht Berühmtesten Theorem Der Math
ISBN: 9783662628850 / Niemiecki / Miękka / 353 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
169,28 |
 |
Übungsbuch Automaten Und Formale Sprachen: 117 Aufgaben Und Lösungen
ISBN: 9783658226954 / Niemiecki / Miękka / 154 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
169,28 |
 |
L. E. J. Brouwer: Intuitionismus
ISBN: 9783662613887 / Niemiecki / Miękka / 191 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
169,28 |
 |
Automaten Und Sprachen: Theoretische Informatik F?r Die PRAXIS: Mathematik, Anwendung, Intuition
ISBN: 9783662701454 / Niemiecki Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
169,28 |
 |
Zur Robustheit Von Konfidenzbereichen Und Tests Für Erwartungswerte
ISBN: 9783658090333 / Angielski / Miękka / 36 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Achim Mees untersucht Fragen zur Robustheit von Konfidenzbereichen und statistischen Tests, wobei der Fokus auf Konfidenzbereichen und Tests fur den Erwartungswert unabhangiger identisch verteilter Beobachtungsgroen liegt. Neben der Zusammenfassung und Ausarbeitung bereits bestehender Ergebnisse werden zwei neue Resultate prasentiert. Zum einen wird die Nichtrobustheit des t-Tests und ahnlicher Tests fur absolut stetige unimodale Verteilungen auf einem beschrankten Intervall und zum anderen die Robustheit des t-Tests fur log-konkave Verteilungen auf der reellen Achse gezeigt. Auerdem werden...
Achim Mees untersucht Fragen zur Robustheit von Konfidenzbereichen und statistischen Tests, wobei der Fokus auf Konfidenzbereichen und Tests fur den E...
|
cena:
169,28 |
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
