topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 12
 |
Limits of AI - theoretical, practical, ethical
ISBN: 9783662682890 / Angielski / Miękka / 2024 / 98 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
112,95 |
 |
Gentzen's Centenary: The Quest for Consistency
ISBN: 9783319101026 / Angielski / Miękka / 2015 / 561 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) Gerhard Gentzen has been described as logic's lost genius, whom Godel called a better logician than himself. This work comprises articles by leading proof theorists, attesting to Gentzen's enduring legacy to mathematical logic and beyond. The contributions range from philosophical reflections and re-evaluations of Gentzen's original consistency proofs to the most recent developments in proof theory. Gentzen founded modern proof theory. His sequent calculus and natural deduction system beautifully explain the deep symmetries of logic. They underlie modern developments in computer science such...
Gerhard Gentzen has been described as logic's lost genius, whom Godel called a better logician than himself. This work comprises articles by leading p...
|
cena:
605,23 |
 |
Intensionality: Lecture Notes in Logic 22
ISBN: 9781568812687 / Angielski / Miękka / 2005 / 280 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) A compilation of articles about Intensionality in philosophy, logic, linguistics, and mathematics. The articles approach the concept of Intensionality from different perspectives. Some articles address philosophical issues raised by the possible worlds approach to intensionality; others are devoted to technical aspects of modal logic. The volume highlights the particular interdisciplinary nature of intensionality with articles spanning the areas of philosophy, linguistics, mathematics, and computer science.
A compilation of articles about Intensionality in philosophy, logic, linguistics, and mathematics. The articles approach the concept of Intensionality...
|
cena:
233,60 |
 |
The Legacy of Kurt Schütte
ISBN: 9783030494230 / Angielski / Twarda / 2020 / 502 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
484,18 |
 |
The Legacy of Kurt Schütte
ISBN: 9783030494261 / Angielski / Miękka / 2021 / 502 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
484,18 |
 |
Paul Bernays
ISBN: 9783955655983 / Niemiecki / Miękka / 2023 / 94 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych (Bez gwarancji dostawy przed świętami) Paul Bernays (1888-1977) gehörte einer bekannten deutsch-jüdischen Familie an, die auf den Hamburger Oberrabbiner Isaak Bernays (1792-1848) zurückgeht. Als Mitarbeiter von David Hilbert, einem der bedeutendsten Mathematiker seiner Zeit, leistete er grundlegende Beiträge zur mathematischen Logik. Da er die schweizerische Staatsbürgerschaft besaß, konnte er nach seiner Entlassung 1933 in Göttingen Zuflucht in Zürich finden.Dieser Band zeichnet Bernays' Leben nach, das neben der Mathematik und Logik auch von Musik und Philosophie geprägt war. Seine wissenschaftliche Karriere steht...
Paul Bernays (1888-1977) gehörte einer bekannten deutsch-jüdischen Familie an, die auf den Hamburger Oberrabbiner Isaak Bernays (1792-1848) zurückg...
|
cena:
44,38 |
 |
Computer Science Logic: 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings
ISBN: 9783642040269 / Angielski / Miękka / 2009 / 567 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) The annual conference of the European Association for Computer Science Logic (EACSL), CSL 2009, was held in Coimbra (Portugal), September 7 11, 2009. The conference series started as a programme of International Workshops on Computer Science Logic, and then at its sixth meeting became the Annual C- ference of the EACSL. This conference was the 23rd meeting and 18th EACSL conference; it was organized at the Department of Mathematics, Faculty of S- ence and Technology, University of Coimbra. In response to the call for papers, a total of 122 abstracts were submitted to CSL 2009of which 89...
The annual conference of the European Association for Computer Science Logic (EACSL), CSL 2009, was held in Coimbra (Portugal), September 7 11, 2009. ...
|
cena:
403,47 |
 |
Axiomatic Thinking II
ISBN: 9783030777982 / Angielski / Twarda / 2022 / 322 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
403,47 |
 |
Axiomatic Thinking I
ISBN: 9783030776565 / Angielski / Twarda / 2022 / 197 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
363,12 |
 |
Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings
ISBN: 9783540427520 / Angielski / Miękka / 2001 / 246 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) Proof theory has long been established as a basic discipline of mathematical logic. It has recently become increasingly relevant to computer science. The - ductive apparatus provided by proof theory has proved useful for metatheoretical purposes as well as for practical applications. Thus it seemed to us most natural to bring researchers together to assess both the role proof theory already plays in computer science and the role it might play in the future. The form of a Dagstuhl seminar is most suitable for purposes like this, as Schloss Dagstuhl provides a very convenient and stimulating...
Proof theory has long been established as a basic discipline of mathematical logic. It has recently become increasingly relevant to computer science. ...
|
cena:
201,72 |
 |
Advances in Proof Theory
ISBN: 9783319291963 / Angielski / Twarda / 2016 / 425 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) The aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and discuss recent trends and results in these areas.
The aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and...
|
cena:
403,47 |
 |
Advances in Proof Theory
ISBN: 9783319805139 / Angielski / Miękka / 2018 / 425 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
403,47 |
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
