krainaksiazek a friendly introduction to mathematical logic 20044846

- znaleziono 61 produktów w 2 sklepach

Whole Truth About Whole Numbers - 2878629058

310,52 zł

Whole Truth About Whole Numbers Springer International Publishing AG

Książki / Literatura obcojęzyczna

The Whole Truth About Whole Numbers is an introduction to the field of Number Theory for students in non-math and non-science majors who have studied at least two years of high school algebra. Rather than giving brief introductions to a wide variety of topics, this book provides an in-depth introduction to the field of Number Theory. The topics covered are many of those included in an introductory Number Theory course for mathematics majors, but the presentation is carefully tailored to meet the needs of elementary education, liberal arts, and other non-mathematical majors. The text covers logic and proofs, as well as major concepts in Number Theory, and contains an abundance of worked examples and exercises to both clearly illustrate concepts and evaluate the students' mastery of the material.

Sklep: Libristo.pl

Critical Thinking - 2875797411

171,03 zł

Critical Thinking Bloomsbury Publishing

Książki / Literatura obcojęzyczna

'You shouldn't drink too much. The Earth is round. Milk is good for your bones.' Are any of these claims true? How can you tell? Can you ever be certain you are right? For anyone tackling philosophical logic and critical thinking for the first time, Critical Thinking: An Introduction to Reasoning Well provides a practical guide to the skills required to think critically. From the basics of good reasoning to the difference between claims, evidence and arguments, Robert Arp and Jamie Carlin Watson cover the topics found in an introductory course. Now revised and fully updated, this Second Edition features a glossary, chapter summaries, more student-friendly exercises, study questions, diagrams, and suggestions for further reading.Topics include: *the structure, formation, analysis and recognition of arguments *deductive validity and soundness *inductive strength and cogency *inference to the best explanation *truth tables *tools for argument assessment *informal and formal fallacies With real life examples, advice on graduate school entrance exams and an expanded companion website packed with additional exercises, an answer key and help with real life examples, this easy-to-follow introduction is a complete beginner's tool set to good reasoning, analyzing and arguing. Ideal for students in basic reasoning courses and students preparing for graduate school.

Sklep: Libristo.pl

Multicopter Design and Control Practice - 2867159521

933,90 zł

Multicopter Design and Control Practice Springer Verlag, Singapore

Książki / Literatura obcojęzyczna

This book is the sister book to "Introduction to Multicopter Design and Control," which was published by Springer in 2017. It focuses on using a practical process to help the readers to deepen their understanding of multicopter design and control. New tools and new tutorials on multicopters are presented, which can help readers move from theory to practice. The book addresses eight main tasks: multicopter propulsion system design, multicopter modeling, multicopter sensor calibration, multicopter filter design, multicopter attitude controller design, multicopter set-position controller design, semi-autonomous multicopter flight control decision-making design, and multicopter fail-safe logic design. Each task consists of three step-by-step experiments, ranging from the introductory to more advanced levels: basic experiments, analysis experiments, and design experiments. The experiments presented here employ: (1) The most widely-used flight platform - multicopters - as a flight platform; (2) The most widely-used flight pilot hardware - Pixhawk - as a control platform; and (3) One of the most widely-used programming languages in the field of control engineering - MATLAB + Simulink - as a programming language. Based on the current advanced development concept "Model-Based Design" process, the three aspects mentioned above are closely linked. Each experiment is implemented in MATLAB and Simulink, and the simulation test is carried out on a built simulation platform. Readers can upload the controller to the Pixhawk autopilot using automatic code generation technology and form a closed loop with a given real-time simulator for Hardware-In-the-Loop (HIL) testing. Throughout the process, readers will be introduced to the basic process of model-based design, also including the composition, mathematical model and control of a multicopter. They will come to master a variety of modern tools, such as MATLAB+Simulink and FlightGear in the development and computer simulation, an HIL simulator, the Pixhawk autopilot, and remote control transmitter in the HIL simulation test. The design task also includes outdoor flight experiments, so that readers experience the full development process of a multicopter.

Sklep: Libristo.pl

Fuel Cell Fundamentals 3e - 2869336612

796,23 zł

Fuel Cell Fundamentals 3e John Wiley & Sons Inc

Książki / Literatura obcojęzyczna

A complete, up-to-date, introductory guide to fuel cell technology and application§§Fuel Cell Fundamentals provides a thorough introduction to the principles and practicalities behind fuel cell technology. Beginning with the underlying concepts, the discussion explores fuel cell thermodynamics, kinetics, transport, and modeling before moving into the application side with guidance on system types and design, performance, costs, and environmental impact. This new third edition has been updated with the latest technological advances and relevant calculations, and enhanced chapters on advanced fuel cell design and electrochemical and hydrogen energy systems. Worked problems, illustrations, and application examples throughout lend a real-world perspective, and end-of chapter review questions and mathematical problems reinforce the material learned.§§Fuel cells produce more electricity than batteries or combustion engines, with far fewer emissions. This book is the essential introduction to the technology that makes this possible, and the physical processes behind this cost-saving and environmentally friendly energy source.§Understand the basic principles of fuel cell physics§Compare the applications, performance, and costs of different systems§Master the calculations associated with the latest fuel cell technology§Learn the considerations involved in system selection and design§§As more and more nations turn to fuel cell commercialization amidst advancing technology and dropping deployment costs, global stationary fuel cell revenue is expected to grow from $1.4 billion to $40.0 billion by 2022. The sector is forecasted to explode, and there will be a tremendous demand for high-level qualified workers with advanced skills and knowledge of fuel cell technology. Fuel Cell Fundamentals is the essential first step toward joining the new energy revolution.

Sklep: Libristo.pl

Category Theory - 2867207776

323,99 zł

Category Theory Springer, Berlin

Książki / Literatura obcojęzyczna

With one exception, these papers are original and fully§refereed research articles on various applications of§Category Theory to Algebraic Topology, Logic and Computer§Science. The exception is an outstanding and lengthy survey§paper by Joyal/Street (80 pp) on a growing subject: it gives§an account of classical Tannaka duality in such a way as to§be accessible to the general mathematical reader, and to§provide a key for entry to more recent developments and§quantum groups. No expertise in either representation theory§or category theory is assumed. Topics such as the Fourier§cotransform, Tannaka duality for homogeneous spaces, braided§tensor categories, Yang-Baxter operators, Knot invariants§and quantum groups are introduced and studies.§From the Contents: P.J. Freyd: Algebraically complete§categories.- J.M.E. Hyland: First steps in synthetic domain§theory.- G. Janelidze, W. Tholen: How algebraic is the§change-of-base functor?.- A. Joyal, R. Street: An§introduction to Tannaka duality and quantum groups.- A.§Joyal, M. Tierney: Strong stacks andclassifying spaces.- A.§Kock: Algebras for the partial map classifier monad.- F.W.§Lawvere: Intrinsic co-Heyting boundaries and the Leibniz§rule in certain toposes.- S.H. Schanuel: Negative sets have§Euler characteristic and dimension.-

Sklep: Libristo.pl

GNU Octave by Example - 2872893567

264,90 zł

GNU Octave by Example APress

Książki / Literatura obcojęzyczna

Get a quick start to learn, understand, and apply GNU Octave using a math- and programming-friendly approach. This book focuses on an end-to-end track to teach mathematical programming, data science, signal processing, and image processing with GNU Octave. GNU Octave by Example starts with an introduction to GNU Octave, a free and open-source alternative to MATLAB. Next, it explains the processes to install GNU Octave on popular operating systems such as Windows, Ubuntu, Raspberry Pi, and other platforms. Further, it covers hands-on exercises with GNU Octave exploring the basic functionality and command line in interactive mode. This is followed by covering matrices and various operations including how to read and analyze data from various sources. Moving forward, it introduces commonly used programming constructs in data visualization. It explains 2D and 3D data visualization along with data analysis. It also demonstrates the concepts related to geometry and its application with GNU Octave. It concludes with coverage of signal processing followed by image, video, and audio processing techniques. After reading this book, you will be able to write your own programs for scientific and numerical applications. What You Will Learn Understand the practical aspects of GNU Octave with math and programming-friendly abstractions Install GNU Octave on multiple platforms including Windows, Raspberry Pi, and Ubuntu Work with GNU Octave using the GUI, the command line, and Jupyter notebooks Implement 2D and 3D data visualization and analysis with GNU Octave Who This Book Is For Software engineers, data engineers, data science enthusiasts, and computer vision professionals.

Sklep: Libristo.pl

Type Theory and Formal Proof - 2854238017

455,54 zł

Type Theory and Formal Proof Cambridge University Press

Książki / Literatura obcojęzyczna

Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This gentle step-by-step introduction is ideal for graduate students and researchers who need to understand the ins and outs of the mathematical machinery, the role of logical rules therein, the essential contribution of definitions and the decisive nature of well-structured proofs. The authors begin with untyped lambda calculus and proceed to several fundamental type systems culminating in the well-known and powerful Calculus of Constructions. The book also covers the essence of proof checking and proof development, and the use of dependent type theory to formalize mathematics. The only prerequisites are a good knowledge of undergraduate algebra and analysis. Carefully chosen examples illustrate the theory throughout. Each chapter ends with a summary of the content, some historical context, suggestions for further reading and a selection of exercises to help readers familiarize themselves with the material.

Sklep: Libristo.pl

Political Game Theory - 2875683708

288,42 zł

Political Game Theory Cambridge University Press

Książki / Literatura obcojęzyczna

Political Game Theory, first published in 2007, is a self-contained introduction to game theory and its applications to political science. The book presents choice theory, social choice theory, static and dynamic games of complete information, static and dynamic games of incomplete information, repeated games, bargaining theory, mechanism design and a mathematical appendix covering, logic, real analysis, calculus and probability theory. The methods employed have many applications in various disciplines including comparative politics, international relations and American politics. Political Game Theory is tailored to students without extensive backgrounds in mathematics, and traditional economics, however there are also many special sections that present technical material that will appeal to more advanced students. A large number of exercises are also provided to practice the skills and techniques discussed.

Sklep: Libristo.pl

Men of Mathematics - 2867752064

93,35 zł

Men of Mathematics Harper Collins Publishers

Książki / Literatura obcojęzyczna

Here is the classic, much-read introduction to the craft and history of mathematics by E.T. Bell, a leading figure in mathematics in America for half a century. "Men of Mathematics" accessibly explains the major mathematics, from the geometry of the Greeks through Newton's calculus and on to the laws of probability, symbolic logic, and the fourth dimension. In addition, the book goes beyond pure mathematics to present a series of engrossing biographies of the great mathematicians -- an extraordinary number of whom lived bizarre or unusual lives. Finally, "Men of Mathematics" is also a history of ideas, tracing the majestic development of mathematical thought from ancient times to the twentieth century. This enduring work's clear, often humorous way of dealing with complex ideas makes it an ideal book for the non-mathematician.

Sklep: Libristo.pl

Set Theory and its Philosophy - 2877870619

215,05 zł

Set Theory and its Philosophy Oxford University Press

Książki / Literatura obcojęzyczna

Michael Potter presents a comprehensive new philosophical introduction to set theory. Anyone wishing to work on the logical foundations of mathematics must understand set theory, which lies at its heart. What makes the book unique is that it interweaves a careful presentation of the technical material with a penetrating philosophical critique. Potter does not merely expound the theory dogmatically but at every stage discusses in detail the reasons that can be offered for§believing it to be true. Set Theory and its Philosophy is a key text for philosophy, mathematical logic, and computer science.

Sklep: Libristo.pl

Statistical Learning with Math and R - 2870692388

234,65 zł

Statistical Learning with Math and R Springer Verlag, Singapore

Książki / Literatura obcojęzyczna

The most crucial ability for machine learning and data science is mathematical logic for grasping their essence rather than knowledge and experience. This textbook approaches the essence of machine learning and data science by considering math problems and building R programs.As the preliminary part, Chapter 1 provides a concise introduction to linear algebra, which will help novices read further to the following main chapters. Those succeeding chapters present essential topics in statistical learning: linear regression, classification, resampling, information criteria, regularization, nonlinear regression, decision trees, support vector machines, and unsupervised learning.Each chapter mathematically formulates and solves machine learning problems and builds the programs. The body of a chapter is accompanied by proofs and programs in an appendix, with exercises at the end of the chapter. Because the book is carefully organized to provide the solutions to the exercises in each chapter, readers can solve the total of 100 exercises by simply following the contents of each chapter.This textbook is suitable for an undergraduate or graduate course consisting of about 12 lectures. Written in an easy-to-follow and self-contained style, this book will also be perfect material for independent learning.

Sklep: Libristo.pl

Statistical Learning with Math and Python - 2871320212

166,41 zł

Statistical Learning with Math and Python Springer Verlag, Singapore

Książki / Literatura obcojęzyczna

The most crucial ability for machine learning and data science is mathematical logic for grasping their essence rather than knowledge and experience. This textbook approaches the essence of machine learning and data science by considering math problems and building Python programs.As the preliminary part, Chapter 1 provides a concise introduction to linear algebra, which will help novices read further to the following main chapters. Those succeeding chapters present essential topics in statistical learning: linear regression, classification, resampling, information criteria, regularization, nonlinear regression, decision trees, support vector machines, and unsupervised learning. Each chapter mathematically formulates and solves machine learning problems and builds the programs. The body of a chapter is accompanied by proofs and programs in an appendix, with exercises at the end of the chapter. Because the book is carefully organized to provide the solutions to the exercises in each chapter, readers can solve the total of 100 exercises by simply following the contents of each chapter.This textbook is suitable for an undergraduate or graduate course consisting of about 12 lectures. Written in an easy-to-follow and self-contained style, this book will also be perfect material for independent learning.

Sklep: Libristo.pl

Concepts in Quantum Field Theory - 2876332421

349,52 zł

Concepts in Quantum Field Theory Springer International Publishing AG

Książki / Literatura obcojęzyczna

This book uses less strict yet still formal mathematical language to clarify a variety of concepts in Quantum Field Theory that remain somewhat "fuzzy" in many books designed for undergraduates and fresh graduates. The aim is not to replace formal books on Quantum Field Theory, but rather to offer a helpful complementary tool for beginners in the field. Features include a reader-friendly introduction to tensor calculus and the concept of manifolds; a simple and robust treatment for dimensional regularization; a consistent explanation of the renormalization procedure, step by step and in a transparent manner at all orders, using the QED Lagrangian; and extensive treatment of infrared as well as ultraviolet divergences. The most general (Lorentz invariant) form of Noether's theorem is presented and applied to a few simple yet relevant examples in Quantum Field Theory. These and further interesting topics are addressed in a way that will be accessible for the target readership. Some familiarity with basic notions of Quantum Field Theory and the basics of Special Relativity is assumed.

Sklep: Libristo.pl

Concepts in Quantum Field Theory - 2875799146

349,52 zł

Concepts in Quantum Field Theory Springer International Publishing AG

Książki / Literatura obcojęzyczna

This book uses less strict yet still formal mathematical language to clarify a variety of concepts in Quantum Field Theory that remain somewhat "fuzzy" in many books designed for undergraduates and fresh graduates. The aim is not to replace formal books on Quantum Field Theory, but rather to offer a helpful complementary tool for beginners in the field. Features include a reader-friendly introduction to tensor calculus and the concept of manifolds; a simple and robust treatment for dimensional regularization; a consistent explanation of the renormalization procedure, step by step and in a transparent manner at all orders, using the QED Lagrangian; and extensive treatment of infrared as well as ultraviolet divergences. The most general (Lorentz invariant) form of Noether's theorem is presented and applied to a few simple yet relevant examples in Quantum Field Theory. These and further interesting topics are addressed in a way that will be accessible for the target readership. Some familiarity with basic notions of Quantum Field Theory and the basics of Special Relativity is assumed.§

Sklep: Libristo.pl

Set Theory - 2874295347

462,38 zł

Set Theory Springer International Publishing AG

Książki / Literatura obcojęzyczna

This textbook gives an introduction to axiomatic set theory and examines the prominent questions that are relevant in current research in a manner that is accessible to students. Its main theme is the interplay of large cardinals, inner models, forcing and descriptive set theory.§The following topics are covered:§ Forcing and constructability§ The Solovay-Shelah Theorem i.e. the equiconsistency of every set of reals is Lebesgue measurable with one inaccessible cardinal§ Fine structure theory and a modern approach to sharps§ Jensen s Covering Lemma§ The equivalence of analytic determinacy with sharps§ The theory of extenders and iteration trees§ A proof of projective determinacy from Woodin cardinals.§Set Theory requires only a basic knowledge of mathematical logic and will be suitable for advanced students and researchers.§

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

Szukaj w sklepach lub całym serwisie

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

2. Szukaj na wszystkich stronach serwisu

t1=0.04, t2=0, t3=0, t4=0.006, t=0.04

Dla sprzedawców

copyright © 2005-2024 Sklepy24.pl  |  made by Internet Software House DOTCOM RIVER