Wyniki wyszukiwania:
wyszukanych pozycji: 10
 |
Foundational Theories of Classical and Constructive Mathematics
ISBN: 9789400735613 / Angielski / Miękka / 2013 / 316 str. Termin realizacji zamówienia: ok. 22 dni roboczych. The book "Foundational Theories of Classical and Constructive Mathematics" is a book on the classical topic of foundations of mathematics. Its originality resides mainly in its treating at the same time foundations of classical and foundations of constructive mathematics. This confrontation of two kinds of foundations contributes to answering questions such as: Are foundations/foundational theories of classical mathematics of a different nature compared to those of constructive mathematics? Do they play the same role for the resp. mathematics? Are there connections between the two kinds of... The book "Foundational Theories of Classical and Constructive Mathematics" is a book on the classical topic of foundations of mathematics. Its orig... |
cena:
402,53 |
 |
History and Philosophy of Constructive Type Theory
ISBN: 9780792361800 / Angielski / Twarda / 2000 / 367 str. Termin realizacji zamówienia: ok. 22 dni roboczych. A comprehensive survey of Martin-Lof's constructive type theory, considerable parts of which have only been presented by Martin-Lof in lecture form or as part of conference talks. Sommaruga surveys the prehistory of type theory and its highly complex development through eight different stages from 1970 to 1995. He also provides a systematic presentation of the latest version of the theory, as offered by Martin-Lof at Leiden University in Fall 1993. This presentation gives a fuller and updated account of the system. Earlier, brief presentations took no account of the issues related to the...
A comprehensive survey of Martin-Lof's constructive type theory, considerable parts of which have only been presented by Martin-Lof in lecture form or...
|
cena:
603,81 |
 |
Foundational Theories of Classical and Constructive Mathematics
ISBN: 9789400704305 / Angielski / Twarda / 2011 / 316 str. Termin realizacji zamówienia: ok. 22 dni roboczych. The book "Foundational Theories of Classical and Constructive Mathematics" is a book on the classical topic of foundations of mathematics. Its originality resides mainly in its treating at the same time foundations of classical and foundations of constructive mathematics. This confrontation of two kinds of foundations contributes to answering questions such as: Are foundations/foundational theories of classical mathematics of a different nature compared to those of constructive mathematics? Do they play the same role for the resp. mathematics? Are there connections between the two kinds of... The book "Foundational Theories of Classical and Constructive Mathematics" is a book on the classical topic of foundations of mathematics. Its orig... |
cena:
402,53 |
 |
Turing's Revolution: The Impact of His Ideas about Computability
ISBN: 9783319793801 / Angielski / Miękka / 2018 / 331 str. Termin realizacji zamówienia: ok. 22 dni roboczych. |
cena:
483,04 |
 |
History and Philosophy of Constructive Type Theory
ISBN: 9789048154036 / Angielski / Miękka / 2010 / 367 str. Termin realizacji zamówienia: ok. 22 dni roboczych. A comprehensive survey of Martin-Lof's constructive type theory, considerable parts of which have only been presented by Martin-Lof in lecture form or as part of conference talks. Sommaruga surveys the prehistory of type theory and its highly complex development through eight different stages from 1970 to 1995. He also provides a systematic presentation of the latest version of the theory, as offered by Martin-Lof at Leiden University in Fall 1993. This presentation gives a fuller and updated account of the system. Earlier, brief presentations took no account of the issues related to the...
A comprehensive survey of Martin-Lof's constructive type theory, considerable parts of which have only been presented by Martin-Lof in lecture form or...
|
cena:
603,81 |
 |
Turing's Revolution: The Impact of His Ideas about Computability
ISBN: 9783319221557 / Angielski / Twarda / 2016 / 331 str. Termin realizacji zamówienia: ok. 22 dni roboczych. Turing's Revolution
Turing's Revolution
|
cena:
483,04 |
 |
Formal Theories of Information: From Shannon to Semantic Information Theory and General Concepts of Information
ISBN: 9783642006586 / Angielski / Miękka / 2009 / 267 str. Termin realizacji zamówienia: ok. 22 dni roboczych. Presents the scientific outcome of a joint effort of the computer science departments of the universities of Berne, Fribourg and Neuchatel. This book examines whether there is any common ground between the different approaches to the concept of information.
Presents the scientific outcome of a joint effort of the computer science departments of the universities of Berne, Fribourg and Neuchatel. This book ...
|
cena:
201,24 |
 |
Paul Bernays
ISBN: 9783955655983 / Niemiecki / Miękka / 2023 / 94 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. 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,28 |
 |
Axiomatic Thinking I
ISBN: 9783030776565 / Angielski / Twarda / 2022 / 197 str. Termin realizacji zamówienia: ok. 22 dni roboczych. |
cena:
362,27 |
 |
Axiomatic Thinking II
ISBN: 9783030777982 / Angielski / Twarda / 2022 / 322 str. Termin realizacji zamówienia: ok. 22 dni roboczych. |
cena:
402,53 |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
