» książki » Mathematics - Logic
topmenu
 |
Quantum-Like Networks: An Approach to Neural Behavior Through Their Mathematics and Logic
ISBN: 9789811260698 / Angielski / Twarda / 356 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Do brains compute? If they do, what do they compute and how do they do it? The first part of the book introduces the development of a model that simulates actual biological neurons more closely than do current standard models of neural networks, as well as the deduction of its physics-like and computational properties from first principles. The second part presents a collection of applications of the model to memory formation and loss, a general syntax for memory retrieval, language itself, and certain forms of aphasia. A linear development of the discussion with proofs in situ is employed by...
Do brains compute? If they do, what do they compute and how do they do it? The first part of the book introduces the development of a model that simul...
|
cena:
538,76 |
 |
Fragments of First-Order Logic
ISBN: 9780192867964 / Angielski / Twarda / 528 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
632,70 |
 |
Mathematical Foundation of Fuzzy Sets
ISBN: 9781119981527 / Angielski / Twarda / 352 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
510,39 |
 |
Q-Rung Orthopair Fuzzy Sets: Theory and Applications
ISBN: 9789811914485 / Angielski / Twarda Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book collects chapters which discuss interdisciplinary solutions to complex problems by using different approaches in order to save money, time and resources. The book presents the results on the recent advancements in artificial intelligence, computational intelligence, decision-making problems, emerging problems and practical achievements in the broad knowledge management field. q-ROFS is one of the hot topics for all the researchers, industrialists as well as academicians. This book is of interest to professionals and researchers working in the field of decision making and... This book collects chapters which discuss interdisciplinary solutions to complex problems by using different approaches in order to save money, tim... |
cena:
402,53 |
 |
The Price of Cake: And 99 Other Classic Mathematical Riddles
ISBN: 9780262545242 / Angielski / Miękka / 240 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
103,86 |
 |
Time and Space in Formal Logic
ISBN: 9781938421686 / Angielski / Miękka / 304 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
215,58 |
 |
Essays in Constructive Mathematics
ISBN: 9783030985578 / Angielski / Twarda Termin realizacji zamówienia: ok. 5-8 dni roboczych. He [Kronecker] was, in fact, attempting to describe and to initiate a new branch of mathematics, which would contain both number theory and alge braic geometry as special cases.—Andre Weil [62] This book is about mathematics, not the history or philosophy of mathemat ics. Still, history and philosophy were prominent among my motives for writing it, and historical and philosophical issues will be major factors in determining whether it wins acceptance. Most mathematicians prefer constructive methods. Given two proofs of the same statement, one constructive and the other not, most will...
He [Kronecker] was, in fact, attempting to describe and to initiate a new branch of mathematics, which would contain both number theory and alge bra...
|
cena:
442,79 |
 |
A Protocol-Theoretic Framework for the Logic of Epistemic Norms
ISBN: 9783031085963 / Angielski / Twarda / 526 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book defines a logical system called the Protocol-theoretic Logic of Epistemic Norms (PLEN), it develops PLEN into a formal framework for representing and reasoning about epistemic norms, and it shows that PLEN is theoretically interesting and useful with regard to the aims of such a framework. In order to motivate the project, the author defends an account of epistemic norms called epistemic proceduralism. The core of this view is the idea that, in virtue of their indispensable, regulative role in cognitive life, epistemic norms are closely intertwined with procedural rules that...
This book defines a logical system called the Protocol-theoretic Logic of Epistemic Norms (PLEN), it develops PLEN into a formal framework for represe...
|
cena:
402,53 |
 |
Boolesche Funktionen Und Postsche Klassen
ISBN: 9783112649275 / Niemiecki / Twarda / 96 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
467,22 |
 |
Founding Mathematics on Semantic Conventions
ISBN: 9783030885366 / Angielski / Miękka / 256 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents a new nominalistic philosophy of mathematics: semantic conventionalism. Its central thesis is that mathematics should be founded on the human ability to create language – and specifically, the ability to institute conventions for the truth conditions of sentences.This philosophical stance leads to an alternative way of practicing mathematics: instead of “building” objects out of sets, a mathematician should introduce new syntactical sentence types, together with their truth conditions, as he or she develops a theory.Semantic conventionalism is justified first through...
This book presents a new nominalistic philosophy of mathematics: semantic conventionalism. Its central thesis is that mathematics should be founded on...
|
cena:
442,79 |
 |
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I
ISBN: 9783031198489 / Angielski / Miękka / 598 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022.The contributions in the four-volume set are organized according to the following topical sections: specify this - bridging gaps between program specification paradigms; x-by-construction meets runtime verification; verification and validation of concurrent and distributed heterogeneous systems; programming - what is next: the role of...
This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applic...
|
cena:
342,14 |
 |
Fraenkel: Mengen bilden
ISBN: 9783662661666 / Niemiecki / Twarda Termin realizacji zamówienia: ok. 5-8 dni roboczych. Erleben Sie das Wiedererwachen des universitären Lebens nach 1918 aus der Sicht eines Betroffenen. Tauchen Sie ein in die Erziehungs- und Sozialgeschichte der Mathematik zur Zeit der Weimarer Republik und erfahren aus der Perspektive eines jungen Autors das Aufstreben der Firma von Julius Springer zum führenden Mathematikverlag. Dank der Verwendung einer Vielzahl von unveröffentlichten Quellen erhalten Sie einen überaus facettenreichen Eindruck des zeitgenössischen akademischen Milieus.In dieser weltweit ersten umfassenden Studie zu Abraham Adolf Fraenkel werden Ihnen bis dato vollkommen...
Erleben Sie das Wiedererwachen des universitären Lebens nach 1918 aus der Sicht eines Betroffenen. Tauchen Sie ein in die Erziehungs- und Sozialgesch...
|
cena:
263,32 |
 |
R-CALCULUS: A Logic of Belief Revision
ISBN: 9789811629464 / Angielski / Miękka / 200 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book introduces new models based on R-calculus and theories of belief revision for dealing with large and changing data. It extends R-calculus from first-order logic to propositional logic, description logics, modal logic and logic programming, and from minimal change semantics to subset minimal change, pseudo-subformula minimal change and deduction-based minimal change (the last two minimal changes are newly defined). And it proves soundness and completeness theorems with respect to the minimal changes in these logics. To make R-calculus computable, an approximate R-calculus is given...
This book introduces new models based on R-calculus and theories of belief revision for dealing with large and changing data. It extends R-calculus fr...
|
cena:
402,53 |
 |
Semantic Intelligence: Select Proceedings of ISIC 2022
ISBN: 9789811971259 / Angielski / Twarda / 292 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes refereed proceedings of the 2nd International Semantic Intelligence Conference (ISIC 2022). This book covers a wide range of topics, including semantic web engineering, ontology-based data access, multimodal and multilingual access, machine-to-machine communications and interoperability, knowledge extraction and ontology learning from the web, computational paradigms and computational intelligence, distributed and mobile systems, and many others. This book includes novel contributions and the latest developments from researchers across industry and academia. This book...
This book constitutes refereed proceedings of the 2nd International Semantic Intelligence Conference (ISIC 2022). This book covers a wide range of top...
|
cena:
885,61 |
 |
The Domain Theory in Computer Science
ISBN: 9781774694404 / Angielski / Twarda Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
729,76 |
 |
Logic and Implication: An Introduction to the General Algebraic Study of Non-classical Logics
ISBN: 9783030856779 / Angielski / Miękka / 465 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This monograph presents a general theory of weakly implicative logics, a family covering a vast number of non-classical logics studied in the literature, concentrating mainly on the abstract study of the relationship between logics and their algebraic semantics. It can also serve as an introduction to (abstract) algebraic logic, both propositional and first-order, with special attention paid to the role of implication, lattice and residuated connectives, and generalized disjunctions.Based on their recent work, the authors develop a powerful uniform framework for the study of non-classical...
This monograph presents a general theory of weakly implicative logics, a family covering a vast number of non-classical logics studied in the literatu...
|
cena:
483,04 |
 |
Effective Kan Fibrations in Simplicial Sets
ISBN: 9783031188992 / Angielski / Miękka / 230 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book introduces the notion of an effective Kan fibration, a new mathematical structure which can be used to study simplicial homotopy theory. The main motivation is to make simplicial homotopy theory suitable for homotopy type theory. Effective Kan fibrations are maps of simplicial sets equipped with a structured collection of chosen lifts that satisfy certain non-trivial properties. Here it is revealed that fundamental properties of ordinary Kan fibrations can be extended to explicit constructions on effective Kan fibrations. In particular, a constructive (explicit) proof is given that...
This book introduces the notion of an effective Kan fibration, a new mathematical structure which can be used to study simplicial homotopy theory. The...
|
cena:
241,50 |
 |
Prawitz's Epistemic Grounding: An Investigation into the Power of Deduction
ISBN: 9783031202933 / Angielski / Twarda / 282 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents an in-depth and critical reconstruction of Prawitz’s epistemic grounding, and discusses it within the broader field of proof-theoretic semantics. The theory of grounds is also provided with a formal framework, through which several relevant results are proved. Investigating Prawitz’s theory of grounds, this work answers one of the most fundamental questions in logic: why and how do some inferences have the epistemic power to compel us to accept their conclusion, if we have accepted their premises? Prawitz proposes an innovative description of inferential acts, as...
This book presents an in-depth and critical reconstruction of Prawitz’s epistemic grounding, and discusses it within the broader field of proof-the...
|
cena:
483,04 |
 |
Logic - Language - Ontology: Selected Works
ISBN: 9783031223297 / Angielski / Twarda / 300 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. How should we think about the meaning of the words that make up our language? How does reference of these terms work, and what is their referent when these are connected to abstract objects rather than to concrete ones? Can logic help to address these questions? This collection of papers aims to unify the questions of syntax and semantics of language, which span across the fields of logic, philosophy and ontology of language. The leading motif of the presented selection is the differentiation between linguistic tokens (material, concrete objects) on the one hand and linguistic types (ideal,...
How should we think about the meaning of the words that make up our language? How does reference of these terms work, and what is their referent when ...
|
cena:
563,56 |
 |
Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday
ISBN: 9783031223365 / Angielski / Miękka / 666 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This Festschrift is dedicated to Thomas A. Henzinger on the occasion of his 60th birthday in 2022.This Festschrift volume celebrates his many contributions in the field of computer science, with 31 papers covering various research and application directions, authored by scientists inspired by his efforts and example over many years.
This Festschrift is dedicated to Thomas A. Henzinger on the occasion of his 60th birthday in 2022.This Festschrift volume celebrates his many contribu...
|
cena:
362,27 |
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
