1973,64 zł

Introduction to Logic and to the Methodology of Deductive Sciences Oxford University Press Inc

Książki / Literatura obcojęzyczna

Now in it's fourth edition, this classic work on logic presents the student with a clear, concise introduction to the subject of logic and its apllications. The first part of the book introduces the concepts and principles which make up the elements of logic, demonstrating that the concepts of logic are found in all branches of mathematics, and that logical laws are constantly applied in mathematical reasoning. The book goes on to show the applications of logic in mathematical theory building using concrete examples, drawing upon the concepts and principles presented in the first section. An introduction to the theory of real numbers is also presented. Exercises are included, designed to assist in the assimilation of the concepts and principles. Throughout the conceptual side or logic is stressed. Thoroughly revised by the author's son, the book remains a fundametal guide to modern mathematica logic and is a very important addition to this highly successful series.

Sklep: Libristo.pl

59,89 zł

Introduction to Logic and to the Methodology of Deductive Sciences Martino Fine Books

Książki / Literatura obcojęzyczna

2013 Reprint of 1941 Revised and Enlarged Edition. Exact facsimile of the original edition, not reproduced with Optical Recognition Software. Tarski is considered one of the five greatest logicians of all time, alongside Aristotle (384-322 BCE), Boole (1815-1864), Frege (1848-1925) and Gödel. This book, together with Aristotle's "Prior Analytics" and Boole's "Laws of Thought," should form the core of any logic library. This classic undergraduate treatment examines the deductive method in its first part and explores applications of logic and methodology in constructing mathematical theories in its second part. A thought-provoking introduction to the fundamentals and the perfect adjunct to courses in logic and the foundations of mathematics. Exercises appear throughout.

Sklep: Libristo.pl

206,91 zł

Mathematical Writing Springer London Ltd

Książki / Literatura obcojęzyczna

This book teaches the art of writing mathematics, an essential -and difficult- skill for any mathematics student.§§The book begins with an informal introduction on basic writing principles and a review of the essential dictionary for mathematics. Writing techniques are developed gradually, from the small to the large: words, phrases, sentences, paragraphs, to end with short compositions. These may represent the introduction of a concept, the abstract of a presentation or the proof of a theorem. Along the way the student will learn how to establish a coherent notation, mix words and symbols effectively, write neat formulae and structure a definition.§§Some elements of logic and all common methods of proofs are featured, including various versions of induction and existence proofs. The book concludes with advice on specific aspects of thesis writing (choosing of a title, composing an abstract, compiling a bibliography) illustrated by large number of real-life examples. Many exercises are included; over 150 of them have complete solutions, to facilitate self-study.§§Mathematical Writing will be of interest to all mathematics students who want to raise the quality of their coursework, reports, exams, and dissertations.§

Sklep: Libristo.pl

777,33 zł

Explorations of Mathematical Models in Biology with MATLAB (R) John Wiley & Sons Inc

Książki / Literatura obcojęzyczna

Explore and analyze the solutions of mathematical models from diverse disciplines§As biology increasingly depends on data, algorithms, and models, it has become necessary to use a computing language, such as the user-friendly MATLAB(r), to focus more on building and analyzing models as opposed to configuring tedious calculations. Explorations of Mathematical Models in Biology with MATLAB provides an introduction to model creation using MATLAB, followed by the translation, analysis, interpretation, and observation of the models.§With an integrated and interdisciplinary approach that embeds mathematical modeling into biological applications, the book illustrates numerous applications of mathematical techniques within biology, ecology, and environmental sciences. Featuring a quantitative, computational, and mathematical approach, the book includes:§Examples of real-world applications, such as population dynamics, genetics, drug administration, interacting species, and the spread of contagious diseases, to showcase the relevancy and wide applicability of abstract mathematical techniques§Discussion of various mathematical concepts, such as Markov chains, matrix algebra, eigenvalues, eigenvectors, first-order linear difference equations, and nonlinear first-order difference equations§Coverage of difference equations to model a wide range of real-life discrete time situations in diverse areas as well as discussions on matrices to model linear problems§Solutions to selected exercises and additional MATLAB codes§Explorations of Mathematical Models in Biology with MATLAB is an ideal textbook for upper-undergraduate courses in mathematical models in biology, theoretical ecology, bioeconomics, forensic science, applied mathematics, and environmental science. The book is also an excellent reference for biologists, ecologists, mathematicians, biomathematicians, and environmental and resource economists.

Sklep: Libristo.pl

285,10 zł

Introduction to Deep Learning Springer International Publishing AG

Książki / Literatura obcojęzyczna

This textbook presents a concise, accessible and engaging first introduction to deep learning, offering a wide range of connectionist models which represent the current state-of-the-art. The text explores the most popular algorithms and architectures in a simple and intuitive style, explaining the mathematical derivations in a step-by-step manner. The content coverage includes convolutional networks, LSTMs, Word2vec, RBMs, DBNs, neural Turing machines, memory networks and autoencoders. Numerous examples in working Python code are provided throughout the book, and the code is also supplied separately at an accompanying website.Topics and features: introduces the fundamentals of machine learning, and the mathematical and computational prerequisites for deep learning; discusses feed-forward neural networks, and explores the modifications to these which can be applied to any neural network; examines convolutional neural networks, and the recurrent connections to a feed-forward neural network; describes the notion of distributed representations, the concept of the autoencoder, and the ideas behind language processing with deep learning; presents a brief history of artificial intelligence and neural networks, and reviews interesting open research problems in deep learning and connectionism.This clearly written and lively primer on deep learning is essential reading for graduate and advanced undergraduate students of computer science, cognitive science and mathematics, as well as fields such as linguistics, logic, philosophy, and psychology.

Sklep: Libristo.pl

349,32 zł

Model Theory : An Introduction Springer-Verlag New York Inc.

Książki / Literatura obcojęzyczna

This book offers an introductory course in model theory emphasizing connections to algebra. It will be an appropriate introduction both for graduate students interested in advanced work in model theory and for students and researchers in logic or algebra who want to learn the basic results and themes of model theory. In the end, the reader will have a firm background in model theory and be well motivated and well prepared for more advanced treatments like Pillay's "Geometric Model Theory" or Buechler's "Essential Stability Theory."While some familiarity at the undergraduate level with mathematical logic would be helpful, it is not assumed. The author assumes familiarity with algebra at the first-year graduate level.

Sklep: Libristo.pl

512,72 zł

Introduction to Artificial Intelligence Springer International Publishing AG

Książki / Literatura obcojęzyczna

In the chapters in Part I of this textbook the author introduces the fundamental ideas of artificial intelligence and computational intelligence. In Part II he explains key AI methods such as search, evolutionary computing, logic-based reasoning, knowledge representation, rule-based systems, pattern recognition, neural networks, and cognitive architectures. Finally, in Part III, he expands the context to discuss theories of intelligence in philosophy and psychology, key applications of AI systems, and the likely future of artificial intelligence. A key feature of the author's approach is historical and biographical footnotes, stressing the multidisciplinary character of the field and its pioneers.§§The book is appropriate for advanced undergraduate and graduate courses in computer science, engineering, and other applied sciences, and the appendices offer short formal, mathematical models and notes to support the reader.§

Sklep: Libristo.pl

1228,26 zł

Introduction to Real Analysis 4e John Wiley & Sons Inc

Książki / Literatura obcojęzyczna

This text provides the fundamental concepts and techniques of real analysis for students in all of these areas. It helps one develop the ability to think deductively, analyze mathematical situations, and extend ideas to a new context. Like the first three editions, this edition maintains the same spirit and user-friendly approach with additional examples and expansion on Logical Operations and Set Theory. There is also content revision in the following areas: Introducing point-set topology before discussing continuity, including a more thorough discussion of limsup and limimf, covering series directly following sequences, adding coverage of Lebesgue Integral and the construction of the reals, and drawing student attention to possible applications wherever possible.

Sklep: Libristo.pl

541,16 zł

Introduction to Elasticity Theory for Crystal Defects Cambridge University Press

Książki / Literatura obcojęzyczna

Self-sufficient and user-friendly, this book provides a complete introduction to the anisotropic elasticity theory necessary to model a wide range of crystal defects. Assuming little prior knowledge of the subject, the reader is first walked through the required basic mathematical techniques and methods. This is followed by treatments of point, line, planar and volume type defects such as vacancies, dislocations, grain boundaries, inhomogeneities and inclusions. Included are analyses of their elastic fields, interactions with imposed stresses and image stresses, and interactions with other defects, all employing the basic methods introduced earlier. This step by step approach, aided by numerous exercises with solutions provided, strengthens the reader's understanding of the principles involved, extending it well beyond the immediate scope of the book. As the first comprehensive review of anisotropic elasticity theory for crystal defects, this text is ideal for both graduate students and professional researchers.

Sklep: Libristo.pl

571,11 zł

Einstein Gravity in a Nutshell Princeton University Press

Książki / Literatura obcojęzyczna

This unique textbook provides an accessible introduction to Einstein's general theory of relativity, a subject of breathtaking beauty and supreme importance in physics. With his trademark blend of wit and incisiveness, A. Zee guides readers from the fundamentals of Newtonian mechanics to the most exciting frontiers of research today, including de Sitter and anti-de Sitter spacetimes, Kaluza-Klein theory, and brane worlds. Unlike other books on Einstein gravity, this book emphasizes the action principle and group theory as guides in constructing physical theories. Zee treats various topics in a spiral style that is easy on beginners, and includes anecdotes from the history of physics that will appeal to students and experts alike. He takes a friendly approach to the required mathematics, yet does not shy away from more advanced mathematical topics such as differential forms. The extensive discussion of black holes includes rotating and extremal black holes and Hawking radiation.The ideal textbook for undergraduate and graduate students, Einstein Gravity in a Nutshell also provides an essential resource for professional physicists and is accessible to anyone familiar with classical mechanics and electromagnetism. It features numerous exercises as well as detailed appendices covering a multitude of topics not readily found elsewhere. Provides an accessible introduction to Einstein's general theory of relativity Guides readers from Newtonian mechanics to the frontiers of modern research Emphasizes symmetry and the Einstein-Hilbert action Covers topics not found in standard textbooks on Einstein gravity Includes interesting historical asides Features numerous exercises and detailed appendices Ideal for students, physicists, and scientifically minded lay readers Solutions manual (available only to teachers)

Sklep: Libristo.pl

826,88 zł

Lectures on the Curry-Howard Isomorphism Elsevier Science & Technology

Książki / Literatura obcojęzyczna

The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in proof theory and computational calculi as found in type theory. For instance, minimal propositional logic corresponds to simply typed lambda-calculus, first-order logic corresponds to dependent types, second-order logic corresponds to polymorphic types, sequent calculus is related to explicit substitution, etc. The isomorphism has many aspects, even at the syntactic level: formulas correspond to types, proofs correspond to terms, provability corresponds to inhabitation, proof normalization corresponds to term reduction, etc. But there is more to the isomorphism than this. For instance, it is an old idea---due to Brouwer, Kolmogorov, and Heyting---that a constructive proof of an implication is a procedure that transforms proofs of the antecedent into proofs of the succedent; the Curry-Howard isomorphism gives syntactic representations of such procedures. The Curry-Howard isomorphism also provides theoretical foundations for many modern proof-assistant systems (e.g. Coq).This book give an introduction to parts of proof theory and related aspects of type theory relevant for the Curry-Howard isomorphism. It can serve as an introduction to any or both of typed lambda-calculus and intuitionistic logic. Key features - The Curry-Howard Isomorphism treated as common theme - Reader-friendly introduction to two complementary subjects: Lambda-calculus and constructive logics - Thorough study of the connection between calculi and logics - Elaborate study of classical logics and control operators - Account of dialogue games for classical and intuitionistic logic - Theoretical foundations of computer-assisted reasoning The Curry-Howard Isomorphism treated as the common theme. Reader-friendly introduction to two complementary subjects: lambda-calculus and constructive logics Thorough study of the connection between calculi and logics. Elaborate study of classical logics and control operators. Account of dialogue games for classical and intuitionistic logic. Theoretical foundations of computer-assisted reasoning

Sklep: Libristo.pl

839,04 zł

Printed Circuit Board Design Techniques for EMC Compliance - A Handbook for Designers 2e John Wiley and Sons Ltd

Książki / Literatura obcojęzyczna

"Electromagnetic compatibility (EMC) is an engineering discipline often identified as black magic. This belief exists because the fundamental mechanisms on how radio frequency (RF) energy is developed within a printed circuit board (PCB) is not well understood by practicing engineers. Rigorous mathematical analysis is not required to design a PCB. Using basic EMC theory and converting complex concepts into simple analogies helps engineers understand the mitigation process that deters EMC events from occurring. This user-friendly reference covers a broad spectrum of information never before published, and is as fluid and comprehensive as the first edition. The simplified approach to PCB design and layout is based on real-life experience, training, and knowledge. Printed Circuit Board Techniques for EMC Compliance, Second Edition will help prevent the emission or reception of unwanted RF energy generated by components and interconnects, thus achieving acceptable levels of EMC for electrical equipment. It prepares one for complying with stringent domestic and international regulatory requirements. Also, it teaches how to solve complex problems with a minimal amount of theory and math.Essential topics discussed include: * Introduction to EMC* Interconnects and I/O* PCB basics* Electrostatic discharge protection* Bypassing and decoupling* Backplanes - Ribbon Cables - Daughter Cards* Clock Circuits - Trace Routing - Terminations* Miscellaneous design techniques This rules-driven book - formatted for quick access and cross-reference - is ideal for electrical and EMC engineers, consultants, technicians, and PCB designers regardless of experience or educational background." Sponsored by: IEEE Electromagnetic Compatibility Society

Sklep: Libristo.pl

259,77 zł

Using Complexity Theory for Research and Program Evaluation Oxford University Press Inc

Książki / Literatura obcojęzyczna

Complexity as a paradigm has been underutilized by social work, but this cutting-edge pocket guide makes a convincing argument for its use. Every agency worker has been faced with a deluge of records, making it difficult to grasp onto structures and trends undergirding behavior. Complexity theory studies the interactions of competitive and cooperative tendencies of agents such as individuals, families, groups, or communities, making the case that there is a hidden order in things that are seemingly chaotic. Exploring their interactions involves identifying a set of simple rules that the agents follow, revealing patterns that emerge without a predetermined template. Readers will learn how to frame their research using the components found in complex systems by using their existing knowledge of research methods and applying basic mathematical concepts. Concepts such as bordering between chaos and equilibrium, diverse perspectives, diverse heuristics, robustness, and wisdom of crowds are considered and applied to social work research studies.Basic introductions on game theory, graph theory, Boolean logic, decision theory, and network science provide the necessary mathematical background for understanding interconnectedness and networking. The next part of the book is a hands-on guide to the agent-based modeling software NetLogo. By inputting initial parameters and rules, the outputted models provide valuable information for visualizing unintended consequences, including how conflict can foster cooperation and how threats to a social network can improve the network's robustness and resiliency. The result is both a user-friendly introduction to using complexity theory in a socio-environmental context and a framework that provides an overarching structure for investigating process, outcomes, and the collective behavior of groups.

Sklep: Libristo.pl

293,24 zł

Basic Proof Theory Cambridge University Press

Książki / Literatura obcojęzyczna

This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of formalization of first-order logic. Examples are given of several areas of application, namely: the metamathematics of pure first-order logic (intuitionistic as well as classical); the theory of logic programming; category theory; modal logic; linear logic; first-order arithmetic and second-order logic. In each case the aim is to illustrate the methods in relatively simple situations and then apply them elsewhere in much more complex settings. There are numerous exercises throughout the text. In general, the only prerequisite is a standard course in first-order logic, making the book ideal for graduate students and beginning researchers in mathematical logic, theoretical computer science and artificial intelligence. For the new edition, many sections have been rewritten to improve clarity, new sections have been added on cut elimination, and solutions to selected exercises have been included.

Sklep: Libristo.pl

3451,45 zł

Bernard Bolzano: Theory of Science Oxford University Press

Książki / Literatura obcojęzyczna

This is the first complete English translation of Bernard Bolzano's four-volume Wissenschaftslehre or Theory of Science, a masterwork of theoretical philosophy. Bolzano (1781-1848), one of the greatest philosophers of the nineteenth century, was a man of many parts. Best known in his own time as a teacher and public intellectual, he was also a mathematician and logician of rare ability, the peer of other pioneers of modern mathematical logic such as Boole, Frege, and Peirce. As Professor of Religion at the Charles University in Prague from 1805, he proved to be a courageous and determined critic of abuses in church and state, a powerful advocate for reform. Dismissed by the Emperor in 1819 for political reasons, he left public life and spent the next decade working on his "theory of science," which he also called logic. The resulting Wissenschaftslehre, first published in 1837, is a monumental, wholly original study in logic, epistemology, heuristics, and scientific methodology. Unlike most logical studies of the period, it is not concerned with the "psychological self-consciousness of the thinking mind."Instead, it develops logic as the science of "propositions in themselves" and their parts, especially the relations between these entities. It offers, for the first time in the history of logic, a viable definition of consequence (or deducibility), and a novel view of probability. Giving constant attention to Bolzano's predecessors and contemporaries, with particular emphasis on Kant, this richly documented work is also a valuable source for the history of logic and philosophy. Each volume of the edition is accompanied by a detailed introduction, which alerts the reader to the historical context of Bolzano's work and illuminates its continued relevance.

Sklep: Libristo.pl

szukaj w Kangoo krainaksiazek a friendly introduction to mathematical logic 20044846

Sklepy zlokalizowane w miastach: Warszawa, Kraków, Łódź, Wrocław, Poznań, Gdańsk, Szczecin, Bydgoszcz, Lublin, Katowice

1. Sklepy z krainaksiazek a friendly introduction to mathematical logic 20044846

2. Szukaj na wszystkich stronach serwisu

t1=0.055, t2=0, t3=0, t4=0, t=0.055