F.D. Kamareddine – författare
Visar alla böcker från författaren F.D. Kamareddine. Handla med fri frakt och snabb leverans.
5 produkter
Thirty Five Years of Automating Mathematics
Inbunden, 2003
1126 kr
Lägg i varukorg
THIRTY FIVE YEARS OF AUTOMATING MATHEMATICS: DEDICATED TO 35 YEARS OF DE BRUIJN'S AUTOMATH N. G. de Bruijn was a well established mathematician before deciding in 1967 at the age of 49 to work on a new direction related to Automating Mathematics. By then, his contributions in mathematics were …
Modern Perspective on Type Theory
From its Origins until Today
Av F.D. Kamareddine, T. Laan m. fl.
Inbunden, 2004
1963 kr
Lägg i varukorg
`Towards the end of the nineteenth century, Frege gave us the abstraction principles and the general notion of functions. Self-application of functions was at the heart of Russell's paradox. This led Russell to introduce type theory in order to avoid the paradox. Since, the twentieth century has …
Thirty Five Years of Automating Mathematics
Häftad, 2010
1094 kr
Lägg i varukorg
THIRTY FIVE YEARS OF AUTOMATING MATHEMATICS: DEDICATED TO 35 YEARS OF DE BRUIJN'S AUTOMATH N. G. de Bruijn was a well established mathematician before deciding in 1967 at the age of 49 to work on a new direction related to Automating Mathematics. By then, his contributions in mathematics were …
Modern Perspective on Type Theory
From its Origins until Today
Av F.D. Kamareddine, T. Laan m. fl.
Häftad, 2010
1420 kr
Lägg i varukorg
`Towards the end of the nineteenth century, Frege gave us the abstraction principles and the general notion of functions. Self-application of functions was at the heart of Russell's paradox. This led Russell to introduce type theory in order to avoid the paradox. Since, the twentieth century has …
Thirty Five Years of Automating Mathematics
E-bok, 2013
1413 kr
Lägg i varukorg
THIRTY FIVE YEARS OF AUTOMATING MATHEMATICS: DEDICATED TO 35 YEARS OF DE BRUIJN''S AUTOMATH N. G. de Bruijn was a well established mathematician before deciding in 1967 at the age of 49 to work on a new direction related to Automating Mathematics. By then, his contributions in mathematics were …
