topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 6
 |
Epistemology Versus Ontology: Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf
ISBN: 9789400744349 / Angielski / Twarda / 2012 / 388 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book brings together philosophers, mathematicians and logicians to explore important problems in the philosophy and foundations of mathematics. Contrasts classical logic and set theory with predicativistic constructivism based on Martin-Lof type theory.
This book brings together philosophers, mathematicians and logicians to explore important problems in the philosophy and foundations of mathematics. C...
|
cena:
781,79 zł |
 |
Epistemology Versus Ontology: Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf
ISBN: 9789401782388 / Angielski / Miękka / 2014 / 388 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book brings together philosophers, mathematicians and logicians to penetrate important problems in the philosophy and foundations of mathematics. In philosophy, one has been concerned with the opposition between constructivism and classical mathematics and the different ontological and epistemological views that are reflected in this opposition. The dominant foundational framework for current mathematics is classical logic and set theory with the axiom of choice (ZFC). This framework is, however, laden with philosophical difficulties. One important alternative foundational programme that...
This book brings together philosophers, mathematicians and logicians to penetrate important problems in the philosophy and foundations of mathematics....
|
cena:
781,79 zł |
 |
Semantics and Logics of Computation
ISBN: 9780521580571 / Angielski / Twarda / 1997 / 376 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This accessible and comprehensive volume addresses modern developments in semantics and logic of computation and will be an important source for graduate students and researchers working in this area.
This accessible and comprehensive volume addresses modern developments in semantics and logic of computation and will be an important source for gradu...
|
cena:
627,64 zł |
 |
Semantics and Logics of Computation
ISBN: 9780521118460 / Angielski / Miękka / 2009 / 376 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych (Dostawa przed świętami) Summer school lecture courses on modern logic and computation are presented here.
Summer school lecture courses on modern logic and computation are presented here.
|
cena:
270,24 zł |
 |
Types for Proofs and Programs: International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers
ISBN: 9783540605799 / Angielski / Miękka / 1995 / 210 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book presents a strictly refereed collection of revised full papers selected from the papers accepted for the TYPES '94 Workshop, held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs in Bastad, Sweden, in June 1994.
The 10 papers included address various aspects of developing computer-assisted proofs and programs using a logical framework. Type theory and three logical frameworks based on it are dealt with: ALF, Coq, and LEGO; other topics covered are metatheory, the Isabelle system, 2-calculus, proof checkers, and ZF set theory. This book presents a strictly refereed collection of revised full papers selected from the papers accepted for the TYPES '94 Workshop, held under the ...
|
cena:
195,42 zł |
 |
Category Theory and Computer Science: Manchester, UK, September 5-8, 1989. Proceedings
ISBN: 9783540516620 / Angielski / Miękka / 1989 / 372 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book presents the proceedings of the Sixth International Conference on Category Theory and Computer Science, CTCS '95, held in Cambridge, UK in August 1995.The 15 revised full papers included in the volume document the exploitation of links between logic and category theory leading to a solid basis for much of the understanding of the semantics of computation. Notable amongst other advances is the introduction of linear logic and other substructural logics, providing a new approach to proof theory. Further aspects covered are semantics of lambda calculi and type theories, program...
This book presents the proceedings of the Sixth International Conference on Category Theory and Computer Science, CTCS '95, held in Cambridge, UK in A...
|
cena:
183,69 zł |
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
