Giovanni Sommaruga – författare
Visar alla böcker från författaren Giovanni Sommaruga. Handla med fri frakt och snabb leverans.
16 produkter
History and Philosophy of Constructive Type Theory
Inbunden, 2000
1641 kr
Lägg i varukorg
A comprehensive survey of Martin-Löf's constructive type theory, considerable parts of which have only been presented by Martin-Löf 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 …
Axiomatic Thinking I
Av Fernando Ferreira, Reinhard Kahle m. fl.
Inbunden, 2022
987 kr
Lägg i varukorg
In this two-volume compilation of articles, leading researchers reevaluate the success of Hilbert's axiomatic method, which not only laid the foundations for our understanding of modern mathematics, but also found applications in physics, computer science and elsewhere.The title takes its name from …
Axiomatic Thinking I
Av Fernando Ferreira, Reinhard Kahle m. fl.
Häftad, 2023
987 kr
Lägg i varukorg
In this two-volume compilation of articles, leading researchers reevaluate the success of Hilbert's axiomatic method, which not only laid the foundations for our understanding of modern mathematics, but also found applications in physics, computer science and elsewhere.The title takes its name from …
Axiomatic Thinking II
Av Fernando Ferreira, Reinhard Kahle m. fl.
Inbunden, 2022
1205 kr
Lägg i varukorg
In this two-volume compilation of articles, leading researchers reevaluate the success of Hilbert's axiomatic method, which not only laid the foundations for our understanding of modern mathematics, but also found applications in physics, computer science and elsewhere.The title takes its name from …
Axiomatic Thinking II
Av Giovanni Sommaruga, Reinhard Kahle m. fl.
E-bok, 2022
1570 kr
Lägg i varukorg
In this two-volume compilation of articles, leading researchers reevaluate the success of Hilbert''s axiomatic method, which not only laid the foundations for our understanding of modern mathematics, but also found applications in physics, computer science and elsewhere. The title takes its name …
Axiomatic Thinking II
Av Fernando Ferreira, Reinhard Kahle m. fl.
Häftad, 2023
1205 kr
Lägg i varukorg
In this two-volume compilation of articles, leading researchers reevaluate the success of Hilbert's axiomatic method, which not only laid the foundations for our understanding of modern mathematics, but also found applications in physics, computer science and elsewhere.The title takes its name from …
Turing’s Revolution
The Impact of His Ideas about Computability
Av Giovanni Sommaruga, Thomas Strahm
Inbunden, 2016
1314 kr
Lägg i varukorg
This book provides an overview of the confluence of ideas in Turing’s era and work and examines the impact of his work on mathematical logic and theoretical computer science. It combines contributions by well-known scientists on the history and philosophy of computability theory as well as on …
Turing's Revolution
The Impact of His Ideas about Computability
Av Thomas Strahm, Giovanni Sommaruga
E-bok, 2016
1793 kr
Lägg i varukorg
This book provides an overview of the confluence of ideas in Turing’s era and work and examines the impact of his work on mathematical logic and theoretical computer science. It combines contributions by well-known scientists on the history and philosophy of computability theory as well as on …
Turing’s Revolution
The Impact of His Ideas about Computability
Av Giovanni Sommaruga, Thomas Strahm
Häftad, 2018
1314 kr
Lägg i varukorg
This book provides an overview of the confluence of ideas in Turing’s era and work and examines the impact of his work on mathematical logic and theoretical computer science. It combines contributions by well-known scientists on the history and philosophy of computability theory as well as on …
Formal Theories of Information
From Shannon to Semantic Information Theory and General Concepts of Information
Häftad, 2009
552 kr
Lägg i varukorg
It is commonly assumed that computers process information. But what is inf- mation? In a technical, important, but nevertheless rather narrow sense, Sh- non’sinformationtheorygivesa?rstanswertothisquestion.Thistheoryfocuses on measuring the information content of a message. Essentially this measure …
Formal Theories of Information
From Shannon to Semantic Information Theory and General Concepts of Information
E-bok, 2009
734 kr
Lägg i varukorg
It is commonly assumed that computers process information. But what is inf- mation? In a technical, important, but nevertheless rather narrow sense, Sh- non’sinformationtheorygivesa?rstanswertothisquestion.Thistheoryfocuses on measuring the information content of a message. Essentially this measure …
History and Philosophy of Constructive Type Theory
Häftad, 2010
1641 kr
Lägg i varukorg
A comprehensive survey of Martin-Löf's constructive type theory, considerable parts of which have only been presented by Martin-Löf 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 …
Foundational Theories of Classical and Constructive Mathematics
Inbunden, 2011
1096 kr
Lägg i varukorg
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 …
Foundational Theories of Classical and Constructive Mathematics
E-bok, 2011
1459 kr
Lägg i varukorg
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 …
Foundational Theories of Classical and Constructive Mathematics
Häftad, 2013
1096 kr
Lägg i varukorg
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 …
History and Philosophy of Constructive Type Theory
E-bok, 2013
2044 kr
Lägg i varukorg
A comprehensive survey of Martin-Löf''s constructive type theory, considerable parts of which have only been presented by Martin-Löf 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 …
