» książki » Mathematics - Logic
topmenu
 |
Mathematische Grundlagen Der Ingenieurinformatik
ISBN: 9783642629396 / Niemiecki / Miękka / 1046 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
413,81 |
 |
Argumentation Schemes
ISBN: 9780521897907 / Angielski / Twarda / 436 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book provides a systematic analysis of many common argumentation schemes and a compendium of 96 schemes. The study of these schemes, or forms of argument that capture stereotypical patterns of human reasoning, is at the core of argumentation research. Surveying all aspects of argumentation schemes from the ground up, the book takes the reader from the elementary exposition in the first chapter to the latest state of the art in the research efforts to formalize and classify the schemes, outlined in the last chapter. It provides a systematic and comprehensive account, with notation...
This book provides a systematic analysis of many common argumentation schemes and a compendium of 96 schemes. The study of these schemes, or forms of ...
|
cena:
414,61 |
 |
Act-Based Conceptions of Propositional Content: Contemporary and Historical Perspectives
ISBN: 9780199373574 / Angielski / Twarda / 408 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The notion of a propositional content plays a central role in contemporary philosophy of language. While the Fregean conception of propositions as mind-independent objects has dominated analytic philosophy, a number of philosophers have approached the notion of a propositional content instead by focusing on cognitive acts. The volume present a central selection of historical work and a range of new work within that perspective.
The notion of a propositional content plays a central role in contemporary philosophy of language. While the Fregean conception of propositions as min...
|
cena:
414,61 |
 |
Symbolic Logic: Syntax, Semantics, and Proof
ISBN: 9781442217423 / Angielski / Miękka / 500 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Brimming with visual examples of concepts, derivation rules, and proof strategies, this introductory text is ideal for students with no previous experience in logic. Symbolic Logic: Syntax, Semantics, and Proof introduces students to the fundamental concepts, techniques, and topics involved in deductive reasoning. Agler guides students through the basics of symbolic logic by explaining the essentials of two classical systems, propositional and predicate logic. Students will learn translation both from formal language into English and from English into formal language; how to use truth trees...
Brimming with visual examples of concepts, derivation rules, and proof strategies, this introductory text is ideal for students with no previous exper...
|
cena:
416,30 |
 |
Proceedings of the Sixth Asian Logic Conference
ISBN: 9789810234324 / Angielski / Miękka / 368 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume comprises a collection of twenty written versions of invited as well as contributed papers presented at the conference held from 20-24 May 1996 in Beijing, China. It covers many areas of logic and the foundations of mathematics, as well as computer science. Also included is an article by M. Yasugi on the Asian Logic Conference which first appeared in Japanese, to provide a glimpse into the history and development of the series.
This volume comprises a collection of twenty written versions of invited as well as contributed papers presented at the conference held from 20-24 May...
|
cena:
416,30 |
 |
Extensions of First-Order Logic
ISBN: 9780521019026 / Angielski / Miękka / 412 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Classical logic has proved inadequate in various areas of computer science, artificial intelligence, mathematics, philosopy and linguistics. This is an introduction to extensions of first-order logic, based on the principle that many-sorted logic (MSL) provides a unifying framework in which to place, for example, second-order logic, type theory, modal and dynamic logics and MSL itself. The aim is two fold: only one theorem-prover is needed; proofs of the metaproperties of the different existing calculi can be avoided by borrowing them from MSL. To make the book accessible to readers from...
Classical logic has proved inadequate in various areas of computer science, artificial intelligence, mathematics, philosopy and linguistics. This is a...
|
cena:
417,29 |
 |
Independence-Friendly Logic
ISBN: 9780521149341 / Angielski / Miękka / 208 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A systematic introduction suitable for readers who have little familiarity with logic. Provides numerous examples and complete proofs.
A systematic introduction suitable for readers who have little familiarity with logic. Provides numerous examples and complete proofs.
|
cena:
417,29 |
 |
Fuzzy Logic: Applications in Artificial Intelligence, Big Data, and Machine Learning
ISBN: 9781264675913 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. Fuzzy logic principles, practices, and real-world applications This hands-on guide offers clear explanations of fuzzy logic along with practical applications and real-world examples. Written by an award-winning engineer, Fuzzy Logic: Applications in Artificial Intelligence, Big Data, and Machine Learning is aimed at improving competence and motivation in students and professionals alike. Inside, you will discover how to apply fuzzy logic in the context of pervasive digitization and big data across emerging technologies which require a very different man-machine relationship than the ones...
Fuzzy logic principles, practices, and real-world applications This hands-on guide offers clear explanations of fuzzy logic along with practical appl...
|
cena:
417,54 |
 |
Paradox and Paraconsistency: Conflict Resolution in the Abstract Sciences
ISBN: 9780521810944 / Angielski / Twarda / 382 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In a world plagued by conflict, one might expect that the exact sciences of logic and mathematics would provide a safe harbor. In fact, these disciplines are rife with internal divisions between different, often incompatible systems. This original work explores apparently intractable disagreements in logic and the foundations of mathematics and sets out conflict resolution strategies that evade these stalemates. The book is a significant contribution to such areas of philosophy as logic, philosophy of language and argumentation theory. It is also of interest to mathematicians and computer...
In a world plagued by conflict, one might expect that the exact sciences of logic and mathematics would provide a safe harbor. In fact, these discipli...
|
cena:
419,25 |
 |
Number Theory and Its Applications II
ISBN: 9789813231597 / Angielski / Twarda / 288 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
421,21 |
 |
Fundamentals of Mathematics
ISBN: 9780470551387 / Angielski / Twarda / 348 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. An accessible introduction to abstract mathematics with an emphasis on proof writing
Addressing the importance of constructing and understanding mathematical proofs, Fundamentals of Mathematics: An Introduction to Proofs, Logic, Sets, and Numbers introduces key concepts from logic and set theory as well as the fundamental definitions of algebra to prepare readers for further study in the field of mathematics. The author supplies a seamless, hands-on presentation of number systems, utilizing key elements of logic and set theory and encouraging readers to abide by the... An accessible introduction to abstract mathematics with an emphasis on proof writing
Addressing the importance of constructing and und... |
cena:
422,49 |
 |
Schema Matching and Mapping
ISBN: 9783642267178 / Angielski / Miękka / 320 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Schema Matching and Mapping provides an overview of the ways in which the schema and ontology matching and mapping tools have addressed information systems requirements. Topics include effective methods for matching data, mapping transformation verification, mapping-driven schema evolution and merging.
Schema Matching and Mapping provides an overview of the ways in which the schema and ontology matching and mapping tools have addressed information sy...
|
cena:
422,66 |
 |
New Frontiers in Fuzzy Controllers
ISBN: 9781632403780 / Angielski / Twarda / 258 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Advances in the sphere of fuzzy controllers have been rapid, giving rise to the need for literature that documents all the recent advances both in theory and in applications. This book has been published with an aim of serving the same purpose. It is a compilation of various research outcomes on diverse applications of fuzzy control systems. At the center of numerous engineering challenges is the question of controlling different systems. The wide spectrum of these structures includes a variety of systems varying from the inverted pendulum to auto-focusing system of a digital camera. Fuzzy...
Advances in the sphere of fuzzy controllers have been rapid, giving rise to the need for literature that documents all the recent advances both in the...
|
cena:
423,70 |
 |
Computability and Logic
ISBN: 9780521877527 / Angielski / Twarda / 366 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simply the staple topics of an intermediate logic course, such as Godel s incompleteness theorems, but also a large number of optional topics, from Turing s theory of computability to Ramsey s theorem. Including a selection of exercises, adjusted for this edition, at the end of each chapter, it offers a new and simpler treatment of the representability of recursive functions, a traditional stumbling block for students on the way to the Godel...
Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simp...
|
cena:
423,90 |
 |
Modal Logic
ISBN: 9780521527149 / Angielski / Miękka / 578 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This modern, advanced textbook reviews modal logic, a field which caught the attention of computer scientists in the late 1970's. The development is mathematical; prior acquaintance with first-order logic and its semantics is assumed, and familiarity with the basic mathematical notions of set theory is required. The authors focus on the use of modal languages as tools to analyze the properties of relational structures, including their algorithmic and algebraic aspects. Applications to issues in logic and computer science such as completeness, computability and complexity are considered.
This modern, advanced textbook reviews modal logic, a field which caught the attention of computer scientists in the late 1970's. The development is m...
|
cena:
423,90 |
 |
Polygraphs: From Rewriting to Higher Categories
ISBN: 9781009498982 / Angielski / Miękka / 666 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
423,90 |
 |
Linear Logic in Computer Science
ISBN: 9780521608572 / Angielski / Miękka / 392 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Linear logic is a branch of proof theory which provides refined tools for the study of the computational aspects of proofs. These tools include a duality-based categorical semantics, an intrinsic graphical representation of proofs, the introduction of well-behaved non-commutative logical connectives, and the concepts of polarity and focalisation. These various aspects are illustrated here through introductory tutorials as well as more specialised contributions, with a particular emphasis on applications to computer science: denotational semantics, lambda-calculus, logic programming and...
Linear logic is a branch of proof theory which provides refined tools for the study of the computational aspects of proofs. These tools include a dual...
|
cena:
423,90 |
 |
Einführung in die Mathematik für Ökonomen
ISBN: 9783486256444 / Niemiecki / Twarda / 327 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Einschliesslich eines "Bruckenkurses" wird die Mathematik fur Studenten der Volks- und Betriebswirtschaftslehre sowie verwandter Studienrichtungen didaktisch aufbereitet dargestellt. Dieses Werk ist vielfach zur Pflichtlekture geworden."
Einschliesslich eines "Bruckenkurses" wird die Mathematik fur Studenten der Volks- und Betriebswirtschaftslehre sowie verwandter Studienrichtungen did...
|
cena:
424,73 |
 |
Mathematical Theory of Domains
ISBN: 9780521064798 / Angielski / Miękka / 364 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Domain theory is the mathematical framework that is used to model the semantics of computer programs and the theory of computation. This is the first book on the subject that attempts to provide a rigorous introduction to the topic in a manner accessible to computer scientists by motivating the mathematics with computer science examples.
Domain theory is the mathematical framework that is used to model the semantics of computer programs and the theory of computation. This is the first ...
|
cena:
425,39 |
 |
Transition to Analysis with Proof
ISBN: 9781138064065 / Angielski / Miękka / 348 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
426,05 |
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
