» książki » Mathematics - Logic
topmenu
 |
Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version
ISBN: 9780849331978 / Angielski / Twarda / 378 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Focusing on applications of logic in computer science and mathematics, this book explains how to use the English language with logical responsibility, how to define and use formal language, and how to reason correctly. The book also presents a balanced view between scientific and academic factors of logic, particularly on the topic of interpretation. Specific issues include propositional and predictate logic, logic networks, logic programming, proof of correctness, semantics, syntax and theorems of Herbrand and Kalman.
Focusing on applications of logic in computer science and mathematics, this book explains how to use the English language with logical responsibility,...
|
cena:
535,46 |
 |
Generalized Linear Models for Categorical and Continuous Limited Dependent Variables
ISBN: 9781466551732 / Angielski / Twarda / 312 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Generalized Linear Models for Categorical and Continuous Limited Dependent Variables is designed for graduate students and researchers in the behavioral, social, health, and medical sciences. It incorporates examples of truncated counts, censored continuous variables, and doubly bounded continuous variables, such as percentages. The book provides broad, but unified, coverage, and the authors integrate the concepts and ideas shared across models and types of data, especially regarding conceptual links between discrete and continuous limited dependent variables. The... Generalized Linear Models for Categorical and Continuous Limited Dependent Variables is designed for graduate students and researc... |
cena:
535,46 |
 |
Advances in Experimental Philosophy of Logic and Mathematics
ISBN: 9781350039018 / Angielski / Twarda / 296 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
535,46 |
 |
Boolean Structures: Combinatorics, Codification, Representation
ISBN: 9781800610088 / Angielski / Twarda / 316 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
535,46 |
 |
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:
535,46 |
 |
Proof Theory: Sequent Calculi and Related Formalisms
ISBN: 9781466564664 / Angielski / Twarda / 386 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Although sequent calculi constitute an important category of proof systems, they are not as well known as axiomatic and natural deduction systems. Addressing this deficiency, Proof Theory: Sequent Calculi and Related Formalisms presents a comprehensive treatment of sequent calculi, including a wide range of variations. It focuses on sequent calculi for various non-classical logics, from intuitionistic logic to relevance logic, linear logic, and modal logic. In the first chapters, the author emphasizes classical logic and a variety of different sequent calculi for classical and... Although sequent calculi constitute an important category of proof systems, they are not as well known as axiomatic and natural deduction systems. ... |
cena:
535,46 |
 |
Substructural Logics
ISBN: 9780198537779 / Angielski / Twarda / 400 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Substructural logics comprise a family of nonclassical logics that arose in response to problems in theoretical computer science, mathematical linguistics, and category theory. They include intuitionist logic, relevant logic, BCK logic, linear logic, and Lambeck's calculus of synthetic categories. This book brings together new papers by some of the most eminent authorities in these various traditions in order to provide a unified view of the field. This important volume--the first to bring together the disparate strands of work in substructural logics--will be welcomed by student and...
Substructural logics comprise a family of nonclassical logics that arose in response to problems in theoretical computer science, mathematical linguis...
|
cena:
536,63 |
 |
Multiple Forcing
ISBN: 9780521266598 / Angielski / Twarda / 148 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In this 1987 text Professor Jech gives a unified treatment of the various forcing methods used in set theory, and presents their important applications. Product forcing, iterated forcing and proper forcing have proved powerful tools when studying the foundations of mathematics, for instance in consistency proofs. The book is based on graduate courses though some results are also included, making the book attractive to set theorists and logicians.
In this 1987 text Professor Jech gives a unified treatment of the various forcing methods used in set theory, and presents their important application...
|
cena:
536,63 |
 |
The Logical Status of Diagrams
ISBN: 9780521461573 / Angielski / Twarda / 212 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Diagrams are widely used in reasoning about problems in physics, mathematics, and logic, but have traditionally been considered to be only heuristic tools and not valid elements of mathematical proof. This book challenges the prejudice against visualization in the history of logic and mathematics and provides a formal foundation for work on natural reasoning in a visual mode. The author presents Venn diagrams as a formal system of representation and specifies rules of transformation that make this system sound and complete. The soundness of the diagrammatic system refutes the contention that...
Diagrams are widely used in reasoning about problems in physics, mathematics, and logic, but have traditionally been considered to be only heuristic t...
|
cena:
536,63 |
 |
Model Theory, Algebra, and Geometry
ISBN: 9780521780681 / Angielski / Twarda / 236 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Model theory is a branch of mathematical logic that has found applications in several areas of algebra and geometry. It provides a unifying framework for the understanding of old results and more recently has led to significant new results, such as a proof of the Mordell-Lang conjecture for function fields in positive characteristic. Perhaps surprisingly, it is sometimes the most abstract aspects of model theory that are relevant to those applications. This book gives the necessary background for understanding both the model theory and the mathematics behind the applications. Aimed at...
Model theory is a branch of mathematical logic that has found applications in several areas of algebra and geometry. It provides a unifying framework ...
|
cena:
536,63 |
 |
Simple Theories and Hyperimaginaries
ISBN: 9780521119559 / Angielski / Twarda / 169 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is a self-contained, up-to-date introduction to simple theories and the model theory of hyperimaginaries.
This book is a self-contained, up-to-date introduction to simple theories and the model theory of hyperimaginaries.
|
cena:
536,63 |
 |
An Introduction to Category Theory
ISBN: 9781107010871 / Angielski / Twarda / 226 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The basics of category theory beautifully explained with a wealth of exercises. Solutions are available online.
The basics of category theory beautifully explained with a wealth of exercises. Solutions are available online.
|
cena:
536,63 |
 |
Algebraic Theories: A Categorical Introduction to General Algebra
ISBN: 9780521119221 / Angielski / Twarda / 268 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Algebraic theories, introduced as a concept in the 1960s, have been a fundamental step towards a categorical view of general algebra. Moreover, they have proved very useful in various areas of mathematics and computer science. This carefully developed book gives a systematic introduction to algebra based on algebraic theories that is accessible to both graduate students and researchers. It will facilitate interactions of general algebra, category theory and computer science. A central concept is that of sifted colimits that is, those commuting with finite products in sets. The authors prove...
Algebraic theories, introduced as a concept in the 1960s, have been a fundamental step towards a categorical view of general algebra. Moreover, they h...
|
cena:
536,63 |
 |
A Framework for Priority Arguments
ISBN: 9780521119696 / Angielski / Twarda / 194 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents a unifying framework for using priority arguments to prove theorems in computability. Priority arguments provide the most powerful theorem-proving technique in the field, but most of the applications of this technique are ad hoc, masking the unifying principles used in the proofs. The proposed framework presented isolates many of these unifying combinatorial principles and uses them to give shorter and easier-to-follow proofs of computability-theoretic theorems. Standard theorems of priority levels 1, 2, and 3 are chosen to demonstrate the framework s use, with all proofs...
This book presents a unifying framework for using priority arguments to prove theorems in computability. Priority arguments provide the most powerful ...
|
cena:
536,63 |
 |
Quantifiers, Propositions and Identity: Admissible Semantics for Quantified Modal and Substructural Logics
ISBN: 9781107010529 / Angielski / Twarda / 284 str. Termin realizacji zamówienia: ok. 5-8 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:
536,63 |
 |
Effective Mathematics of the Uncountable
ISBN: 9781107014510 / Angielski / Twarda / 204 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Classical computable model theory is most naturally concerned with countable domains. There are, however, several methods some old, some new that have extended its basic concepts to uncountable structures. Unlike in the classical case, however, no single dominant approach has emerged, and different methods reveal different aspects of the computable content of uncountable mathematics. This book contains introductions to eight major approaches to computable uncountable mathematics: descriptive set theory; infinite time Turing machines; Blum-Shub-Smale computability; Sigma-definability;...
Classical computable model theory is most naturally concerned with countable domains. There are, however, several methods some old, some new that have...
|
cena:
536,63 |
 |
Canonical Ramsey Theory on Polish Spaces
ISBN: 9781107026858 / Angielski / Twarda / 278 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book lays the foundations for an exciting new area of research in descriptive set theory. It develops a robust connection between two active topics: forcing and analytic equivalence relations. This in turn allows the authors to develop a generalization of classical Ramsey theory. Given an analytic equivalence relation on a Polish space, can one find a large subset of the space on which it has a simple form? The book provides many positive and negative general answers to this question. The proofs feature proper forcing and Gandy Harrington forcing, as well as partition arguments. The...
This book lays the foundations for an exciting new area of research in descriptive set theory. It develops a robust connection between two active topi...
|
cena:
536,63 |
 |
Lectures on Infinitary Model Theory
ISBN: 9781107181939 / Angielski / Twarda / 192 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Infinitary logic, the logic of languages with infinitely long conjunctions, plays an important role in model theory, recursion theory and descriptive set theory. This book is the first modern introduction to the subject in forty years, and will bring students and researchers in all areas of mathematical logic up to the threshold of modern research. The classical topics of back-and-forth systems, model existence techniques, indiscernibles and end extensions are covered before more modern topics are surveyed. Zilber's categoricity theorem for quasiminimal excellent classes is proved and an...
Infinitary logic, the logic of languages with infinitely long conjunctions, plays an important role in model theory, recursion theory and descriptive ...
|
cena:
536,63 |
 |
Fuzzy Logic and Mathematics: A Historical Perspective
ISBN: 9780190200015 / Angielski / Twarda / 544 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The term "fuzzy logic," as it is understood in this book, stands for all aspects of representing and manipulating knowledge based on the rejection of the most fundamental principle of classical logic---the principle of bivalence. According to this principle, each declarative sentence is required to be either true or false. In fuzzy logic, these classical truth values are not abandoned. However, additional, intermediate truth values between true and false are allowed, which are interpreted as degrees of truth. This opens a new way of thinking---thinking in terms of degrees rather than...
The term "fuzzy logic," as it is understood in this book, stands for all aspects of representing and manipulating knowledge based on the rejection of ...
|
cena:
536,63 |
 |
Aspects of Incompleteness
ISBN: 9781107167926 / Angielski / Twarda / 142 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume presents some of the main areas and results of general metamathematics, including the results of Godel et al. on incompleteness.
This volume presents some of the main areas and results of general metamathematics, including the results of Godel et al. on incompleteness.
|
cena:
536,63 |
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
