» książki » Mathematics - Logic
topmenu
 |
Incompleteness in the Land of Sets
ISBN: 9781904987345 / Angielski / Miękka / 156 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Russell's paradox arises when we consider those sets that do not belong to themselves. The collection of such sets cannot constitute a set. Step back a bit. Logical formulas define sets (in a standard model). Formulas, being mathematical objects, can be thought of as sets themselves-mathematics reduces to set theory. Consider those formulas that do not belong to the set they define. The collection of such formulas is not definable by a formula, by the same argument that Russell used. This quickly gives Tarski's result on the undefinability of truth. Variations on the same idea yield the...
Russell's paradox arises when we consider those sets that do not belong to themselves. The collection of such sets cannot constitute a set. Step back ...
|
cena:
159,68 |
 |
Hugh MacColl Et La Naissance Du Pluralisme Logique: Suivi d'Extraits Majeurs de Son Oeuvre
ISBN: 9781904987826 / Francuski / Miękka / 512 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Hugh MacColl (1837-1909) fut un mathematicien et logicien qui passa les premieres annees de sa vie en Ecosse. Apres quelques annees de travail en differents lieux de Grande-Bretagne, il s'installa a Boulogne-sur-Mer (France), ou il developpa la majeure partie de son oeuvre et devint citoyen francais. Hugh MacColl fut connu en son temps pour ses contributions novatrices dans le monde de la logique. MacColl represente la premiere approche du pluralisme logique. Sa premiere contribution pour l'algebre logique du 19 DEGREESieme siecle fut son calcul qui n'autorise pas seulement une classe...
Hugh MacColl (1837-1909) fut un mathematicien et logicien qui passa les premieres annees de sa vie en Ecosse. Apres quelques annees de travail en diff...
|
cena:
159,68 |
 |
Advances in Modal Logic Volume 7
ISBN: 9781904987680 / Angielski / Miękka / 416 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Advances in Modal Logic is a unique international forum for presenting the latest results and new directions of research in Modal Logic broadly conceived. The topics dealt with are of interdisciplinary interest and range from mathematical, computational, and philosophical problems to applications in knowledge representation and formal linguistics. This volume contains invited and contributed papers from the seventh conference in the AiML series, held in Nancy, France, in September 2008. It reports on substantial advances, both in the foundations of modal logic and in a number of application...
Advances in Modal Logic is a unique international forum for presenting the latest results and new directions of research in Modal Logic broadly concei...
|
cena:
159,68 |
 |
Argumentation and Inference. Volume II: Proceedings of the 2nd European Conference on Argumentation
ISBN: 9781848902848 / Angielski / Miękka / 1046 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
159,68 |
 |
Advances in Modal Logic, Volume 5
ISBN: 9781904987222 / Angielski / Miękka / 404 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Modal logic is one of the most widely applied logical formalisms. Systems of modal logic are being used in many disciplines, ranging from artificial intelligence, computer science, mathematics, formal grammar and semantics to philosophy. This volume presents substantial recent advances in the relational and the algorithmic treatment of modal logics. It contains papers from the fifth conference on "Advances in Modal logic," held in Manchester (UK) in September 2004. Written by leading experts in the field, the present book is indispensable for any advanced student and researcher in pure and...
Modal logic is one of the most widely applied logical formalisms. Systems of modal logic are being used in many disciplines, ranging from artificial i...
|
cena:
159,68 |
 |
Proceedings of the Summer School in Logik, Leeds, 1967: N.A.T.O. Advanced Study Institute Meeting of the Association for Symbolic Logic
ISBN: 9783540042402 / Angielski / Miękka / 331 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
160,83 |
 |
Symposium on Automatic Demonstration: Held at Versailles/France, Decembre 1968
ISBN: 9783540049142 / Angielski / Miękka / 310 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
160,83 |
 |
Proof Theory and Intuitionistic Systems
ISBN: 9783540055419 / Angielski / Miękka / 292 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
160,83 |
 |
Logic Year 1979-80: The University of Connecticut, USA
ISBN: 9783540107088 / Angielski / Miękka / 330 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Springer Book Archives
Springer Book Archives
|
cena:
160,83 |
 |
Constructive Mathematics: Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11-15, 1980
ISBN: 9783540108504 / Angielski / Miękka / 350 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
160,83 |
 |
Model Theory and Arithmetic: Comptes Rendus d'Une Action Thematique Programmee Du C.N.R.S. Sur La Theorie Des Modeles Et l'Arithmetique, Paris, Fra
ISBN: 9783540111597 / Angielski / Miękka / 306 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
160,83 |
 |
Logic Symposia, Hakone, 1979, 1980: Proceedings of Conferences Held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980
ISBN: 9783540111610 / Angielski / Miękka / 398 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Springer Book Archives
Springer Book Archives
|
cena:
160,83 |
 |
Cylindric Set Algebras
ISBN: 9783540108818 / Angielski / Miękka / 323 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
160,83 |
 |
Decidable Theories: Vol. 2: The Monadic Second Order Theory of All Countable Ordinals
ISBN: 9783540063452 / Angielski / Miękka / 224 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Springer Book Archives
Springer Book Archives
|
cena:
160,83 |
 |
The Art of Proof: Basic Training for Deeper Mathematics
ISBN: 9781441970220 / Angielski / Twarda / 182 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Art of Proof is designed for a one-semester or two-quarter course. A typical student will have studied calculus (perhaps also linear algebra) with reasonable success. With an artful mixture of chatty style and interesting examples, the student's previous intuitive knowledge is placed on solid intellectual ground. The topics covered include: integers, induction, algorithms, real numbers, rational numbers, modular arithmetic, limits, and uncountable sets. Methods, such as axiom, theorem and proof, are taught while discussing the mathematics rather than in abstract isolation. The book...
The Art of Proof is designed for a one-semester or two-quarter course. A typical student will have studied calculus (perhaps also linear algebr...
|
cena:
160,83 |
 |
The Art of Proof: Basic Training for Deeper Mathematics
ISBN: 9781493940868 / Angielski / Miękka / 182 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
160,83 |
 |
Foundations of Software Science and Computation Structures: 23rd International Conference, Fossacs 2020, Held as Part of the European Joint Conference
ISBN: 9783030452308 / Angielski / Miękka / 644 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
160,99 |
 |
Foundations of Software Science and Computation Structures: 24th International Conference, Fossacs 2021, Held as Part of the European Joint Conference
ISBN: 9783030719944 / Angielski / Miękka / 574 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
160,99 |
 |
Automated Reasoning: 11th International Joint Conference, Ijcar 2022, Haifa, Israel, August 8-10, 2022, Proceedings
ISBN: 9783031107689 / Angielski / Miękka Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and selected from 85 submissions. The papers focus on the following topics: Satisfiability, SMT Solving,Arithmetic; Calculi and Orderings; Knowledge Representation and Jutsification; Choices, Invariance, Substitutions and Formalization; Modal Logics; Proofs System and Proofs... This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held i... |
cena:
160,99 |
 |
Probability and Statistics for STEM: A Course in One Semester
ISBN: 9783031389849 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
160,99 |
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
