wyszukanych pozycji: 7
Orthogonality and Spacetime Geometry
ISBN: 9780387965192 / Angielski / Miękka / 1987 / 194 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book examines the geometrical notion of orthogonality, and shows how to use it as the primitive concept on which to base a metric structure in affine geometry. The subject has a long history, and an extensive literature, but whatever novelty there may be in the study presented here comes from its focus on geometries hav- ing lines that are self-orthogonal, or even singular (orthogonal to all lines). The most significant examples concern four-dimensional special-relativistic spacetime (Minkowskian geometry), and its var- ious sub-geometries, and these will be prominent throughout. But the...
This book examines the geometrical notion of orthogonality, and shows how to use it as the primitive concept on which to base a metric structure in af...
|
|
cena:
192,74 zł |
Lectures on the Hyperreals: An Introduction to Nonstandard Analysis
ISBN: 9780387984643 / Angielski / Twarda / 1998 / 293 str. Termin realizacji zamówienia: ok. 20 dni roboczych. There are good reasons to believe that nonstandard analysis, in some ver- sion or other, will be the analysis of the future. KURT GODEL This book is a compilation and development of lecture notes written for a course on nonstandard analysis that I have now taught several times. Students taking the course have typically received previous introductions to standard real analysis and abstract algebra, but few have studied formal logic. Most of the notes have been used several times in class and revised in the light of that experience. The earlier chapters could be used as the basis of a course at...
There are good reasons to believe that nonstandard analysis, in some ver- sion or other, will be the analysis of the future. KURT GODEL This book is a...
|
|
cena:
346,96 zł |
Logics of Time and Computation
ISBN: 9780937073940 / Angielski / Miękka / 1992 / 180 str. Termin realizacji zamówienia: ok. 22 dni roboczych. Now revised and significantly expanded, this textbook introduces modal logic and examines the relevance of modal systems for theoretical computer science. Goldblatt sets out a basic theory of normal modal and temporal propositional logics, including issues such as completeness proofs, decidability, first-order definability, and canonicity. The basic theory is then applied to logics of discrete, dense, and continuous time; to the temporal logic of concurrent programs involving the connectives henceforth, next, and until; and to the dynamic logic of regular programs. New material for the second...
Now revised and significantly expanded, this textbook introduces modal logic and examines the relevance of modal systems for theoretical computer scie...
|
|
cena:
130,28 zł |
Lectures on the Hyperreals: An Introduction to Nonstandard Analysis
ISBN: 9781461268413 / Angielski / Miękka / 2012 / 293 str. Termin realizacji zamówienia: ok. 20 dni roboczych. There are good reasons to believe that nonstandard analysis, in some ver- sion or other, will be the analysis of the future. KURT GODEL This book is a compilation and development of lecture notes written for a course on nonstandard analysis that I have now taught several times. Students taking the course have typically received previous introductions to standard real analysis and abstract algebra, but few have studied formal logic. Most of the notes have been used several times in class and revised in the light of that experience. The earlier chapters could be used as the basis of a course at...
There are good reasons to believe that nonstandard analysis, in some ver- sion or other, will be the analysis of the future. KURT GODEL This book is a...
|
|
cena:
250,57 zł |
Quantifiers, Propositions and Identity: Admissible Semantics for Quantified Modal and Substructural Logics
ISBN: 9781107010529 / Angielski / Twarda / 2011 / 284 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Many systems of quantified modal logic cannot be characterised by Kripke's well-known possible worlds semantic analysis. This book shows how they can be characterised by a more general 'admissible semantics', using models in which there is a restriction on which sets of worlds count as propositions. This requires a new interpretation of quantifiers that takes into account the admissibility of propositions. The author sheds new light on the celebrated Barcan Formula, whose role becomes that of legitimising the Kripkean interpretation of quantification. The theory is worked out for systems with...
Many systems of quantified modal logic cannot be characterised by Kripke's well-known possible worlds semantic analysis. This book shows how they can ...
|
|
cena:
548,60 zł |
Topoi: The Categorial Analysis of Logic
ISBN: 9780486450261 / Angielski / Miękka / 2006 / 592 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. A classic introduction to mathematical logic from the perspective of category theory, this text is suitable for advanced undergraduates and graduate students and accessible to both philosophically and mathematically oriented readers. Its approach moves always from the particular to the general, following through the steps of the abstraction process until the abstract concept emerges naturally.
Beginning with a survey of set theory and its role in mathematics, the text proceeds to definitions and examples of categories and explains the use of arrows in place of set-membership. The... A classic introduction to mathematical logic from the perspective of category theory, this text is suitable for advanced undergraduates and graduate s...
|
|
cena:
132,08 zł |
Sloth
ISBN: 9780983237082 / Angielski / Miękka / 2013 / 182 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
|
cena:
70,56 zł |