wyszukanych pozycji: 203
![]() |
Logic, Language and Reasoning: Essays in Honour of Dov Gabbay
ISBN: 9780792356875 / Angielski / Twarda / 1999 / 440 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. This book is dedicated to Dov Gabbay, one of the most outstanding and most productive researchers in the area of logic, language and reasoning. He has exerted a profound influence in the major fields of logic, linguistics and computer science.
This book is dedicated to Dov Gabbay, one of the most outstanding and most productive researchers in the area of logic, language and reasoning. He has...
|
cena:
517,36 zł |
![]() |
Revision, Acceptability and Context: Theoretical and Algorithmic Aspects
ISBN: 9783642264306 / Angielski / Miękka / 2012 / 386 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book is suitable for researchers and postgraduates in the areas of artificial intelligence, database theory, and logic. The authors illustrate the idea through the presentation of various algorithms and offer the most-up-to-date book on this topic.
This book is suitable for researchers and postgraduates in the areas of artificial intelligence, database theory, and logic. The authors illustrate th...
|
cena:
575,62 zł |
![]() |
Handbook of Philosophical Logic: Volume IV: Topics in the Philosophy of Language
ISBN: 9789401070218 / Angielski / Miękka / 2011 / 733 str. Termin realizacji zamówienia: ok. 20 dni roboczych. conceptual, realist) theories of predication. Chapter IV.4 centers on an important class of expressions used for predication in connection with quantities: mass expressions. This chapter reviews the most well-known approaches to mass terms and the ontological proposals related to them. In addition to quantification and predication, matters of reference have constituted the other overriding theme for semantic theories in both philosophical logic and the semantics of natural languages. Chapter IV.5 of how the semantics of proper names and descrip- presents an overview tions have been dealt with...
conceptual, realist) theories of predication. Chapter IV.4 centers on an important class of expressions used for predication in connection with quanti...
|
cena:
191,85 zł |
![]() |
Semantical Investigations in Heyting's Intuitionistic Logic
ISBN: 9789048183623 / Angielski / Miękka / 2010 / 294 str. Termin realizacji zamówienia: ok. 20 dni roboczych. From the point of view of non-classical logics, Heyting's implication is the smallest implication for which the deduction theorem holds. This book studies properties of logical systems having some of the classical connectives and implication in the neighbourhood of Heyt- ing's implication. I have not included anything on entailment, al- though it belongs to this neighbourhood, mainly because of the appearance of the Anderson-Belnap book on entailment. In the later chapters of this book, I have included material that might be of interest to the intuitionist mathematician. Originally, I...
From the point of view of non-classical logics, Heyting's implication is the smallest implication for which the deduction theorem holds. This book stu...
|
cena:
575,62 zł |
![]() |
Handbook of Philosophical Logic: Volume 8
ISBN: 9789401039192 / Angielski / Miękka / 2012 / 354 str. Termin realizacji zamówienia: ok. 20 dni roboczych. suchquestionsforcenturies(unrestrictedbythecapabilitiesofanyhard- ware). Theprinciplesgoverningtheinteractionofseveralprocesses,forexample, areabstractansimilartoprinciplesgoverningthecooperationoftwolarge organisation.Adetailedrulebasedeffectivebutrigidbureaucracyisvery muchsimilartoacomplexcomputerprogramhandlingandmanipulating data. Myguessisthattheprinciplesunderlyingoneareverymuchthe sameasthoseunderlyingtheother. Ibelievethedayisnotfarawayinthefuturewhenthecomputerscientist willwakeuponemorningwiththerealisationthatheisactuallyakindof formalphilosopher!...
suchquestionsforcenturies(unrestrictedbythecapabilitiesofanyhard- ware). Theprinciplesgoverningtheinteractionofseveralprocesses,forexample, areabstrac...
|
cena:
575,62 zł |
![]() |
Handbook of Philosophical Logic, Volume 13
ISBN: 9781402035203 / Angielski / Twarda / 2005 / 376 str. Termin realizacji zamówienia: ok. 20 dni roboczych. such questions for centuries (unrestricted by the capabilities of any ha- ware). Theprinciplesgoverningtheinteractionofseveralprocesses, forexample, are abstract an similar to principles governing the cooperation of two large organisation. A detailed rule based e?ective but rigid bureaucracy is very much similar to a complex computer program handling and manipulating data. My guess is that the principles underlying one are very much the same as those underlying the other. Ibelievethedayisnotfarawayinthefuturewhenthecomputerscientist will wake up one morning with the realisation that he is...
such questions for centuries (unrestricted by the capabilities of any ha- ware). Theprinciplesgoverningtheinteractionofseveralprocesses, forexample, a...
|
cena:
767,51 zł |
![]() |
Conditionals and Modularity in General Logics
ISBN: 9783642270659 / Angielski / Miękka / 2013 / 233 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This text centers around three main subjects. The first is the concept of modularity and independence in classical logic and nonmonotonic and other nonclassical logic, and the consequences on syntactic and semantical interpolation and language change. In particular, we will show the connection between interpolation for nonmonotonic logic and manipulation of an abstract notion of size. Modularity is essentially the ability to put partial results achieved independently together for a global result. The second aspect of the book is the authors' uniform picture of conditionals, including...
This text centers around three main subjects. The first is the concept of modularity and independence in classical logic and nonmonotonic and other no...
|
cena:
383,73 zł |
![]() |
Environmental Challenges
ISBN: 9780792365587 / Angielski / Twarda / 2000 / 630 str. Termin realizacji zamówienia: ok. 20 dni roboczych. In the summer of 1999, an international group of experts convened in Jerusalem, Israel, in order to define the major environmental challenges facing humanity at the dawn of the new millennium and - where possible - propose ways of addressing them. Almost 50 selected articles are collected in the present book, which constitutes a striking interdisciplinary combination of state-of-the-art science with the latest views on environmental law, education, and international cooperation. Whilst a major fraction of the book is devoted to water-related issues (water quality monitoring, water and...
In the summer of 1999, an international group of experts convened in Jerusalem, Israel, in order to define the major environmental challenges facing h...
|
cena:
575,62 zł |
![]() |
Practice-based Evidence for Healthcare : Clinical Mindlines
ISBN: 9780415486682 / Angielski / Twarda / 2010 / 296 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This book challenges the evidence-based practice movement to re-think its assumptions. Firmly rooted in real practice while drawing lucidly on a great breadth of theoretical frameworks, it examines afresh how clinicians use knowledge. Evidence-based practice has recently become a key part of the training of all health professionals. Yet despite its gold-standard' status, it is faltering because too much effort has gone into insisting on an idealised model of how clinicians ought to use the best evidence, while not enough has been done to understand why they so often don't. Practice-based...
This book challenges the evidence-based practice movement to re-think its assumptions. Firmly rooted in real practice while drawing lucidly on a great...
|
cena:
686,78 zł |
![]() |
Partition Problems in Talmudic Reasoning
ISBN: 9781848902008 / Angielski / Twarda / 2016 / 408 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. This book deals with a problem that has been discussed quite a lot, both in the academic and the halachic literature, the problem of partitioning. The fundamental and well-known partition problem in the Talmud is the partition of lost property ("Two hold a garment") found in Baba Metzia 2a, and its generalisation ("n hold a garment"). The Talmud also deals with the problem of division of the estate of a deceased among creditors in Ketubot 93a. Our aim is to organise previous work, give a complete picture of the domain and add our original work. We specify what the basic assumptions... This book deals with a problem that has been discussed quite a lot, both in the academic and the halachic literature, the problem of partitioning. ... |
cena:
155,61 zł |
![]() |
Theories of Joint Ownership in Talmudic Logic
ISBN: 9781848903197 / Hebrajski / Miękka / 2019 / 386 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
113,81 zł |
![]() |
Journal of Applied Logics. The IfCoLog Journal of Logics and their Applications. Volume 10, number 1, January 2023
ISBN: 9781848904224 / Angielski Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
83,61 zł |
![]() |
Journal of Applied Logics. The IfCoLog Journal of Logics and their Applications, Volume 9, Issue 2, April 2022
ISBN: 9781848903975 / Angielski / Miękka / 2022 / 78 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
76,65 zł |
![]() |
IfColog Journal of Logics and their Applications. Volume 3, number 2: Probabilistic and Quantitative Approaches to Computational Argumentation
ISBN: 9781848902213 / Angielski / Miękka / 2016 / 114 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. The IfColog Journal of Logics and their Applications covers all areas of pure and applied logic, broadly construed. This Journal is open access, and available in both printed and electronic formats. It is published by College Publications, on behalf of IfCoLoG (www.ifcolog.net). The IfColog Journal of Logics and their Applications covers all areas of pure and applied logic, broadly construed. This Journal is open access, an... |
cena:
53,42 zł |
![]() |
Gender and Succession in Medieval and Early Modern Islam: Bilateral Descent and the Legacy of Fatima
ISBN: 9781838602314 / Angielski / Twarda / 2020 / 288 str. Termin realizacji zamówienia: ok. 22 dni roboczych. |
cena:
508,73 zł |
![]() |
Handbook of Philosophical Logic: Volume 12
ISBN: 9789048167890 / Angielski / Miękka / 2010 / 372 str. Termin realizacji zamówienia: ok. 20 dni roboczych. The first edition of the Handbook of Philosophical Logic (four volumes) was published in the period 1983-1989 and has proven to be an invaluable reference work to both students and researchers in formal philosophy, language and logic. The second edition of the Handbook is intended to comprise some 18 volumes and will provide a very up-to-date authoritative, in-depth coverage of all major topics in philosophical logic and its applications in many cutting-edge fields relating to computer science, language, argumentation, etc. The volumes will no longer be as topic-oriented as with the first... The first edition of the Handbook of Philosophical Logic (four volumes) was published in the period 1983-1989 and has proven to be an invaluable re... |
cena:
767,51 zł |
![]() |
Gender and Succession in Medieval and Early Modern Islam: Bilateral Descent and the Legacy of Fatima
ISBN: 9780755646210 / Angielski / Miękka / 2021 / 288 str. Termin realizacji zamówienia: ok. 22 dni roboczych. |
cena:
152,57 zł |
![]() |
Second-order Quantifier Elimination: Foundations, Computational Aspects and Applications
ISBN: 9781904987567 / Angielski / Miękka / 2008 / 320 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. In recent years there has been an increasing use of logical methods and significant new developments have been spawned in several areas of computer science, ranging from artificial intelligence and software engineering to agent-based systems and the semantic web. In the investigation and application of logical methods there is a tension between: * the need for a representational language strong enough to express domain knowledge of a particular application, and the need for a logical formalism general enough to unify several reasoning facilities relevant to the application, on the one hand,...
In recent years there has been an increasing use of logical methods and significant new developments have been spawned in several areas of computer sc...
|
cena:
174,20 zł |
![]() |
Handbook of Philosophical Logic
ISBN: 9789048160556 / Angielski / Miękka / 2010 / 368 str. Termin realizacji zamówienia: ok. 20 dni roboczych. The ninth volume of the Second Edition contains major contributions on Rewriting Logic as a Logical and Semantic Framework, Logical Frameworks, Proof Theory and Meaning, Goal Directed Deductions, Negations, Completeness and Consistency as well as Logic as General Rationality. Audience: Students and researchers whose work or interests involve philosophical logic and its applications. The ninth volume of the Second Edition contains major contributions on Rewriting Logic as a Logical and Semantic Framework, Logical Frameworks, Pro... |
cena:
575,62 zł |
![]() |
Handbook of Philosophical Logic
ISBN: 9789048157655 / Angielski / Miękka / 2010 / 412 str. Termin realizacji zamówienia: ok. 20 dni roboczych. It is with great pleasure that we are presenting to the community the second edition of this extraordinary handbook. It has been over 15 years since the publication of the first edition and there have been great changes in the landscape of philosophical logic since then. The first edition has proved invaluable to generations of students and researchers in formal philosophy and language, as well as to consumers of logic in many applied areas. The main logic artiele in the Encyelopaedia Britannica 1999 has described the first edition as 'the best starting point for exploring any of the topics...
It is with great pleasure that we are presenting to the community the second edition of this extraordinary handbook. It has been over 15 years since t...
|
cena:
575,62 zł |