0
Your cart

Your cart is empty

Browse All Departments
Price
  • R100 - R250 (11)
  • R250 - R500 (33)
  • R500+ (1,387)
  • -
Status
Format
Author / Contributor
Publisher

Books > Computing & IT > Computer software packages > Other software packages > Mathematical & statistical software

Insights from Data with R - An Introduction for the Life and Environmental Sciences (Paperback): Owen L. Petchey, Andrew P.... Insights from Data with R - An Introduction for the Life and Environmental Sciences (Paperback)
Owen L. Petchey, Andrew P. Beckerman, Natalie Cooper, Dylan Z Childs
R1,265 Discovery Miles 12 650 Ships in 10 - 15 working days

Experiments, surveys, measurements, and observations all generate data. These data can provide useful insights for solving problems, guiding decisions, and formulating strategy. Progressing from relatively unprocessed data to insight, and doing so efficiently, reliably, and confidently, does not come easily, and yet gaining insights from data is a fundamental skill for science as well as many other fields and often overlooked in most textbooks of statistics and data analysis. This accessible and engaging book provides readers with the knowledge, experience, and confidence to work with data and unlock essential information (insights) from data summaries and visualisations. Based on a proven and successful undergraduate course structure, it charts the journey from initial question, through data preparation, import, cleaning, tidying, checking, double-checking, manipulation, and final visualization. These basic skills are sufficient to gain useful insights from data without the need for any statistics; there is enough to learn about even before delving into that world! The book focuses on gaining insights from data via visualisations and summaries. The journey from raw data to insights is clearly illustrated by means of a comprehensive Workflow Demonstration in the book featuring data collected in a real-life study and applicable to many types of question, study, and data. Along the way, readers discover how to efficiently and intuitively use R, RStudio, and tidyverse software, learning from the detailed descriptions of each step in the instructional journey to progress from the raw data to creating elegant and informative visualisations that reveal answers to the initial questions posed. There are an additional three demonstrations online! Insights from Data with R is suitable for undergraduate students and their instructors in the life and environmental sciences seeking to harness the power of R, RStudio, and tidyverse software to master the valuable and prerequisite skills of working with and gaining insights from data.

Epidemiology with R (Paperback): Bendix Carstensen Epidemiology with R (Paperback)
Bendix Carstensen
R1,332 Discovery Miles 13 320 Ships in 10 - 15 working days

This practical guide is designed for students and researchers with an existing knowledge of R who wish to learn how to apply it in an epidemiological context and exploit its versatility. It also serves as a broader introduction to the quantitative aspects of modern practical epidemiology. The standard tools used in epidemiology are described and the practical use of R for these is clearly explained and laid out. R code examples, many with output, are embedded throughout the text. The entire code is also available on the companion website so that readers can reproduce all the results and graphs featured in the book. Epidemiology with R is an advanced textbook suitable for senior undergraduate and graduate students, professional researchers, and practitioners in the fields of human and non-human epidemiology, public health, veterinary science, and biostatistics.

Digital Dice - Computational Solutions to Practical Probability Problems (Paperback, Revised edition): Paul J. Nahin Digital Dice - Computational Solutions to Practical Probability Problems (Paperback, Revised edition)
Paul J. Nahin
R528 Discovery Miles 5 280 Ships in 18 - 22 working days

Some probability problems are so difficult that they stump the smartest mathematicians. But even the hardest of these problems can often be solved with a computer and a Monte Carlo simulation, in which a random-number generator simulates a physical process, such as a million rolls of a pair of dice. This is what "Digital Dice" is all about: how to get numerical answers to difficult probability problems without having to solve complicated mathematical equations.

Popular-math writer Paul Nahin challenges readers to solve twenty-one difficult but fun problems, from determining the odds of coin-flipping games to figuring out the behavior of elevators. Problems build from relatively easy (deciding whether a dishwasher who breaks most of the dishes at a restaurant during a given week is clumsy or just the victim of randomness) to the very difficult (tackling branching processes of the kind that had to be solved by Manhattan Project mathematician Stanislaw Ulam). In his characteristic style, Nahin brings the problems to life with interesting and odd historical anecdotes. Readers learn, for example, not just how to determine the optimal stopping point in any selection process but that astronomer Johannes Kepler selected his second wife by interviewing eleven women.

The book shows readers how to write elementary computer codes using any common programming language, and provides solutions and line-by-line walk-throughs of a MATLAB code for each problem.

"Digital Dice" will appeal to anyone who enjoys popular math or computer science. In a new preface, Nahin wittily addresses some of the responses he received to the first edition.

Epidemiology with R (Hardcover): Bendix Carstensen Epidemiology with R (Hardcover)
Bendix Carstensen
R2,809 Discovery Miles 28 090 Ships in 10 - 15 working days

This practical guide is designed for students and researchers with an existing knowledge of R who wish to learn how to apply it in an epidemiological context and exploit its versatility. It also serves as a broader introduction to the quantitative aspects of modern practical epidemiology. The standard tools used in epidemiology are described and the practical use of R for these is clearly explained and laid out. R code examples, many with output, are embedded throughout the text. The entire code is also available on the companion website so that readers can reproduce all the results and graphs featured in the book. Epidemiology with R is an advanced textbook suitable for senior undergraduate and graduate students, professional researchers, and practitioners in the fields of human and non-human epidemiology, public health, veterinary science, and biostatistics.

An Introduction to Numerical Methods - A MATLAB (R) Approach, Fourth Edition (Hardcover, 4th edition): Abdelwahab Kharab,... An Introduction to Numerical Methods - A MATLAB (R) Approach, Fourth Edition (Hardcover, 4th edition)
Abdelwahab Kharab, Ronald Guenther
R2,530 Discovery Miles 25 300 Ships in 9 - 17 working days

Previous editions of this popular textbook offered an accessible and practical introduction to numerical analysis. An Introduction to Numerical Methods: A MATLAB (R) Approach, Fourth Edition continues to present a wide range of useful and important algorithms for scientific and engineering applications. The authors use MATLAB to illustrate each numerical method, providing full details of the computed results so that the main steps are easily visualized and interpreted. This edition also includes a new chapter on Dynamical Systems and Chaos. Features Covers the most common numerical methods encountered in science and engineering Illustrates the methods using MATLAB Presents numerous examples and exercises, with selected answers at the back of the book

TI-Nspire For Dummies 2e (Paperback, 2nd Edition): J McCalla TI-Nspire For Dummies 2e (Paperback, 2nd Edition)
J McCalla
R558 R506 Discovery Miles 5 060 Save R52 (9%) Ships in 9 - 17 working days

The updated guide to the newest graphing calculator from Texas Instruments

The TI-Nspire graphing calculator is popular among high school and college students as a valuable tool for calculus, AP calculus, and college-level algebra courses. Its use is allowed on the major college entrance exams. This book is a nuts-and-bolts guide to working with the TI-Nspire, providing everything you need to get up and running and helping you get the most out of this high-powered math tool.Texas Instruments' TI-Nspire graphing calculator is perfect for high school and college students in advanced algebra and calculus classes as well as students taking the SAT, PSAT, and ACT examsThis fully updated guide covers all enhancements to the TI-Nspire, including the touchpad and the updated software that can be purchased along with the deviceShows how to get maximum value from this versatile math tool

With updated screenshots and examples, "TI-Nspire For Dummies" provides practical, hands-on instruction to help students make the most of this revolutionary graphing calculator.

R in Action (Paperback, 2nd edition): Robert Kabacoff R in Action (Paperback, 2nd edition)
Robert Kabacoff
R1,301 Discovery Miles 13 010 Ships in 10 - 15 working days

DESCRIPTION R is a powerful language for statistical computing and graphics that can handle virtually any data-crunching task. It runs on all important platforms and provides thousands of useful specialized modules and utilities. This makes R a great way to get meaningful information from mountains of raw data. R in Action, Second Edition is language tutorial focused on practical problems. Written by a research methodologist, it takes a direct and modular approach to quickly give readers the information they need to produce useful results. Focusing on realistic data analyses and a comprehensive integration of graphics, it follows the steps that real data analysts use to acquire their data, get it into shape, analyze it, and produce meaningful results that they can provide to clients. RETAIL SELLING POINTS Step-by-step guide to practical data analysis Gives quick access to the R language Written by seasoned researcher Uses over 130 graphics AUDIENCE This book is for social scientists, medical and pharmaceutical researchers, professors and students in quantitative fields, data analysts, data mining specialists, and statistical programmers who have a sense of what they want to do, but not how to do it in R. ABOUT THE TECHNOLOGY R is a powerful language for statistical computing and graphics that can handle virtually any data-crunching task. It runs on all important platforms and provides thousands of useful specialized modules and

The MATHEMATICA  (R) Book, Version 4 (Hardcover, 4th Revised edition): Stephen Wolfram The MATHEMATICA (R) Book, Version 4 (Hardcover, 4th Revised edition)
Stephen Wolfram
R3,821 Discovery Miles 38 210 Ships in 10 - 15 working days

With over a million users around the world, the Mathematica software system created by Stephen Wolfram has defined the direction of technical computing for the past decade. The enhanced text and hypertext processing and state-of-the-art numerical computation features ensure that Mathematica 4 takes scientific computing into the next century. New to this version: visual tour of key features, practical tutorial introduction, full descriptions of 1100 built-in functions, a thousand illustrative examples, easy-to-follow descriptive tables, essays highlighting key concepts, examples of data import and export, award-winning gallery of Mathematica graphics, gallery of mathematical typesetting, dictionary of 700 special characters, a complete guide to the MathLink API, notes on internal implementation, and an index with over 10,000 entries copublished with Wolfram Media.

The Nature of Computation (Hardcover): Cristopher Moore, Stephan Mertens The Nature of Computation (Hardcover)
Cristopher Moore, Stephan Mertens
R2,661 Discovery Miles 26 610 Ships in 9 - 17 working days

In the last decade, the boundary between physics and computer science has become a hotbed of interdisciplinary collaboration. Every passing year shows that physicists and computer scientists have a great deal to say to each other, sharing metaphors, intuitions, and mathematical techniques. In this book, two leading researchers in this area introduce the reader to the fundamental concepts of computational complexity. They go beyond the usual discussion of P, NP and NP-completeness to explain the deep meaning of the P vs. NP question, and explain many recent results which have not yet appeared in any textbook. They then give in-depth explorations of the major interfaces between computer science and physics: phase transitions in NP-complete problems, Monte Carlo algorithms, and quantum computing. The entire book is written in an informal style that gives depth with a minimum of mathematical formalism, exposing the heart of the matter without belabouring technical details. The only mathematical prerequisites are linear algebra, complex numbers, and Fourier analysis (and most chapters can be understood without even these). It can be used as a textbook for graduate students or advanced undergraduates, and will be enjoyed by anyone who is interested in understanding the rapidly changing field of theoretical computer science and its relationship with other sciences.

Building SPSS Graphs to Understand Data (Paperback, New): James O. Aldrich, Hilda M. Rodriguez Building SPSS Graphs to Understand Data (Paperback, New)
James O. Aldrich, Hilda M. Rodriguez
R1,959 Discovery Miles 19 590 Ships in 9 - 17 working days

Building SPSS Graphs to Understand Data is for anyone needing to understand large or small amounts of data. It describes how to build and interpret graphs, showing how understanding data means that the graph must clearly and succinctly answer questions about the data. In 16 of the 19 chapters research questions are presented, and the reader builds the appropriate graph needed to answer the questions. This handy guide can be used in conjunction with any introductory or intermediate statistics book where the focus is on in-depth presentation of how graphs are used. This book will also useful for graduate students doing research at the masters or doctoral level. The book also contains a chapter designed to address many of the ways that graphs can be used to mislead the graph reader.

Modelli Lineari Generalizzati (Italian, Paperback, 2020 ed.): Alessandra Salvan, Nicola Sartori, Luigi Pace Modelli Lineari Generalizzati (Italian, Paperback, 2020 ed.)
Alessandra Salvan, Nicola Sartori, Luigi Pace
R1,172 Discovery Miles 11 720 Ships in 10 - 15 working days
The Manga Guide To Statistics (Paperback): Shin Takahashi The Manga Guide To Statistics (Paperback)
Shin Takahashi
R584 R538 Discovery Miles 5 380 Save R46 (8%) Ships in 18 - 22 working days

Think you can't have fun learning statistics? Think again.

"The Manga Guide to Statistics" will teach you everything you need to know about this essential discipline, while entertaining you at the same time. With its unique combination of Japanese-style comics called manga and serious educational content, the EduManga format is already a hit in Japan.

In "The Manga Guide to Statistics," our heroine Rui is determined to learn about statistics to impress the dreamy Mr. Igarashi and begs her father for a tutor. Soon she's spending her Saturdays with geeky, bespectacled Mr. Yamamoto, who patiently teaches her all about the fundamentals of statistics: topics like data categorization, averages, graphing, and standard deviation.

After all her studying, Rui is confident in her knowledge of statistics, including complex concepts like probability, coefficients of correlation, hypothesis tests, and tests of independence. But is it enough to impress her dream guy? Or maybe there's someone better, right in front of her?

Reluctant statistics students of all ages will enjoy learning along with Rui in this charming, easy-to-read guide, which uses real-world examples like teen magazine quizzes, bowling games, test scores, and ramen noodle prices. Examples, exercises, and answer keys help you follow along and check your work. An appendix showing how to perform statistics calculations in Microsoft Excel makes it easy to put Rui's lessons into practice.

This EduManga book is a translation from a bestselling series in Japan, co-published with Ohmsha, Ltd. of Tokyo, Japan.

Molecular Evolution - A Statistical Approach (Paperback): Ziheng Yang Molecular Evolution - A Statistical Approach (Paperback)
Ziheng Yang
R2,402 Discovery Miles 24 020 Ships in 10 - 15 working days

Studies of evolution at the molecular level have experienced phenomenal growth in the last few decades, due to rapid accumulation of genetic sequence data, improved computer hardware and software, and the development of sophisticated analytical methods. The flood of genomic data has generated an acute need for powerful statistical methods and efficient computational algorithms to enable their effective analysis and interpretation. Molecular Evolution: a statistical approach presents and explains modern statistical methods and computational algorithms for the comparative analysis of genetic sequence data in the fields of molecular evolution, molecular phylogenetics, statistical phylogeography, and comparative genomics. Written by an expert in the field, the book emphasizes conceptual understanding rather than mathematical proofs. The text is enlivened with numerous examples of real data analysis and numerical calculations to illustrate the theory, in addition to the working problems at the end of each chapter. The coverage of maximum likelihood and Bayesian methods are in particular up-to-date, comprehensive, and authoritative. This advanced textbook is aimed at graduate level students and professional researchers (both empiricists and theoreticians) in the fields of bioinformatics and computational biology, statistical genomics, evolutionary biology, molecular systematics, and population genetics. It will also be of relevance and use to a wider audience of applied statisticians, mathematicians, and computer scientists working in computational biology.

Optimization and Applications - 9th International Conference, OPTIMA 2018, Petrovac, Montenegro, October 1-5, 2018, Revised... Optimization and Applications - 9th International Conference, OPTIMA 2018, Petrovac, Montenegro, October 1-5, 2018, Revised Selected Papers (Paperback, 1st ed. 2019)
Yury Evtushenko, Milojica Jacimovic, Michael Khachay, Yury Kochetov, Vlasta Malkova, …
R1,476 Discovery Miles 14 760 Ships in 18 - 22 working days

This book constitutes the refereed proceedings of the 9th International Conference on Optimization and Applications, OPTIMA 2018, held in Petrovac, Montenegro, in October 2018.The 35 revised full papers and the one short paper presented were carefully reviewed and selected from 103 submissions. The papers are organized in topical sections on mathematical programming; combinatorial and discrete optimization; optimal control; optimization in economy, finance and social sciences; applications.

Advanced R Statistical Programming and Data Models - Analysis, Machine Learning, and Visualization (Paperback, 1st ed.): Matt... Advanced R Statistical Programming and Data Models - Analysis, Machine Learning, and Visualization (Paperback, 1st ed.)
Matt Wiley, Joshua F. Wiley
R1,834 R1,512 Discovery Miles 15 120 Save R322 (18%) Ships in 18 - 22 working days

Carry out a variety of advanced statistical analyses including generalized additive models, mixed effects models, multiple imputation, machine learning, and missing data techniques using R. Each chapter starts with conceptual background information about the techniques, includes multiple examples using R to achieve results, and concludes with a case study. Written by Matt and Joshua F. Wiley, Advanced R Statistical Programming and Data Models shows you how to conduct data analysis using the popular R language. You'll delve into the preconditions or hypothesis for various statistical tests and techniques and work through concrete examples using R for a variety of these next-level analytics. This is a must-have guide and reference on using and programming with the R language. What You'll Learn Conduct advanced analyses in R including: generalized linear models, generalized additive models, mixed effects models, machine learning, and parallel processing Carry out regression modeling using R data visualization, linear and advanced regression, additive models, survival / time to event analysis Handle machine learning using R including parallel processing, dimension reduction, and feature selection and classification Address missing data using multiple imputation in R Work on factor analysis, generalized linear mixed models, and modeling intraindividual variability Who This Book Is For Working professionals, researchers, or students who are familiar with R and basic statistical techniques such as linear regression and who want to learn how to use R to perform more advanced analytics. Particularly, researchers and data analysts in the social sciences may benefit from these techniques. Additionally, analysts who need parallel processing to speed up analytics are given proven code to reduce time to result(s).

Elements of Copula Modeling with R (Paperback, 1st ed. 2018): Marius Hofert, Ivan Kojadinovic, Martin Machler, Jun Yan Elements of Copula Modeling with R (Paperback, 1st ed. 2018)
Marius Hofert, Ivan Kojadinovic, Martin Machler, Jun Yan
R3,106 Discovery Miles 31 060 Ships in 18 - 22 working days

This book introduces the main theoretical findings related to copulas and shows how statistical modeling of multivariate continuous distributions using copulas can be carried out in the R statistical environment with the package copula (among others). Copulas are multivariate distribution functions with standard uniform univariate margins. They are increasingly applied to modeling dependence among random variables in fields such as risk management, actuarial science, insurance, finance, engineering, hydrology, climatology, and meteorology, to name a few. In the spirit of the Use R! series, each chapter combines key theoretical definitions or results with illustrations in R. Aimed at statisticians, actuaries, risk managers, engineers and environmental scientists wanting to learn about the theory and practice of copula modeling using R without an overwhelming amount of mathematics, the book can also be used for teaching a course on copula modeling.

Analysis for Computer Scientists - Foundations, Methods, and Algorithms (Paperback, 2nd ed. 2018): Michael Oberguggenberger,... Analysis for Computer Scientists - Foundations, Methods, and Algorithms (Paperback, 2nd ed. 2018)
Michael Oberguggenberger, Alexander Ostermann
R1,547 Discovery Miles 15 470 Ships in 18 - 22 working days

This easy-to-follow textbook/reference presents a concise introduction to mathematical analysis from an algorithmic point of view, with a particular focus on applications of analysis and aspects of mathematical modelling. The text describes the mathematical theory alongside the basic concepts and methods of numerical analysis, enriched by computer experiments using MATLAB, Python, Maple, and Java applets. This fully updated and expanded new edition also features an even greater number of programming exercises. Topics and features: describes the fundamental concepts in analysis, covering real and complex numbers, trigonometry, sequences and series, functions, derivatives, integrals, and curves; discusses important applications and advanced topics, such as fractals and L-systems, numerical integration, linear regression, and differential equations; presents tools from vector and matrix algebra in the appendices, together with further information on continuity; includes added material on hyperbolic functions, curves and surfaces in space, second-order differential equations, and the pendulum equation (NEW); contains experiments, exercises, definitions, and propositions throughout the text; supplies programming examples in Python, in addition to MATLAB (NEW); provides supplementary resources at an associated website, including Java applets, code source files, and links to interactive online learning material. Addressing the core needs of computer science students and researchers, this clearly written textbook is an essential resource for undergraduate-level courses on numerical analysis, and an ideal self-study tool for professionals seeking to enhance their analysis skills.

Statistical Modelling in R (Paperback): Murray Aitkin, Brian Francis, John Hinde, Ross Darnell Statistical Modelling in R (Paperback)
Murray Aitkin, Brian Francis, John Hinde, Ross Darnell
R2,424 Discovery Miles 24 240 Ships in 10 - 15 working days

R is now the most widely used statistical package/language in university statistics departments and many research organisations. Its great advantages are that for many years it has been the leading-edge statistical package/language and that it can be freely downloaded from the R web site. Its cooperative development and open code also attracts many contributors meaning that the modelling and data analysis possibilities in R are much richer than in GLIM4, and so the R edition can be substantially more comprehensive than the GLIM4 edition of Statistical Modelling. This text provides a comprehensive treatment of the theory of statistical modelling in R with an emphasis on applications to practical problems and an expanded discussion of statistical theory. A wide range of case studies is provided, using the normal, binomial, Poisson, multinomial, gamma, exponential and Weibull distributions, making this book ideal for graduates and research students in applied statistics and a wide range of quantitative disciplines.

Simulation and Inference for Stochastic Processes with YUIMA - A Comprehensive R Framework for SDEs and Other Stochastic... Simulation and Inference for Stochastic Processes with YUIMA - A Comprehensive R Framework for SDEs and Other Stochastic Processes (Paperback, 1st ed. 2018)
Stefano M. Iacus, Nakahiro Yoshida
R2,450 Discovery Miles 24 500 Ships in 18 - 22 working days

The YUIMA package is the first comprehensive R framework based on S4 classes and methods which allows for the simulation of stochastic differential equations driven by Wiener process, Levy processes or fractional Brownian motion, as well as CARMA, COGARCH, and Point processes. The package performs various central statistical analyses such as quasi maximum likelihood estimation, adaptive Bayes estimation, structural change point analysis, hypotheses testing, asynchronous covariance estimation, lead-lag estimation, LASSO model selection, and so on. YUIMA also supports stochastic numerical analysis by fast computation of the expected value of functionals of stochastic processes through automatic asymptotic expansion by means of the Malliavin calculus. All models can be multidimensional, multiparametric or non parametric.The book explains briefly the underlying theory for simulation and inference of several classes of stochastic processes and then presents both simulation experiments and applications to real data. Although these processes have been originally proposed in physics and more recently in finance, they are becoming popular also in biology due to the fact the time course experimental data are now available. The YUIMA package, available on CRAN, can be freely downloaded and this companion book will make the user able to start his or her analysis from the first page.

Schulische Kabinettprojektion - Raumliches Zeichnen im Raster (German, Paperback, 1. Aufl. 2015): Berthold Heinrich Schulische Kabinettprojektion - Raumliches Zeichnen im Raster (German, Paperback, 1. Aufl. 2015)
Berthold Heinrich
R506 Discovery Miles 5 060 Ships in 18 - 22 working days

Berthold Heinrich stellt die mathematischen und zeichnerischen Grundlagen fur die Darstellung von Objekten im Raum auf kariertem Papier vor. Dabei prasentiert er auch die Nutzung von Software. In der Schule wird oft kariertes Papier als Raster zur Darstellung von Flachen und Koerpern genutzt. Allerdings werden, selbst in einigen Druckwerken, z.B. die entstehenden Ellipsen und Winkelboegen ungenau gezeichnet oder eine Kugelkontur falsch als Kreis dargestellt. Im vorliegenden Essential werden die korrekten Verfahren sowohl theoretisch als auch an konkreten Beispielen vorgestellt und koennen meist direkt umgesetzt werden. Einige aufwandigere Ablaufe stellt der Autor anschaulich an Beispielen dar.

Proof and Disproof in Formal Logic (Hardcover): Richard Bornat Proof and Disproof in Formal Logic (Hardcover)
Richard Bornat
R2,544 Discovery Miles 25 440 Ships in 10 - 15 working days

Proof and Disproof in Formal Logic is a lively and entertaining introduction to formal logic providing an excellent insight into how a simple logic works. Formal logic allows you to check a logical claim without considering what the claim means. This highly abstracted idea is an essential
and practical part of computer science. The idea of a formal system-a collection of rules and axioms, which define a universe of logical proofs-is what gives us programming languages and modern-day programming. This book concentrates on using logic as a tool: making and using formal proofs and
disproofs of particular logical claims. The logic it uses-natural deduction-is very small and very simple; working with it helps you see how large mathematical universes can be built on small foundations. The book is divided into four parts:
Part I "Basics" gives an introduction to formal logic with a short history of logic and explanations of some technical words.
Part II "Formal Syntactic Proof" show you how to do calculations in a formal system where you are guided by shapes and never need to think about meaning. Your experiments are aided by Jape, which can operate as both inquisitor and oracle.
Part III "Formal Semantic Disproof" shows you how to construct mathematical counterexamples to shoe that proof is impossible. Jape can check the counterexamples you build.
Part IV" Program Specification and Proof" describes how to apply your logical understanding to a real computer science problem, the accurate description and verification of programs. Jape helps, as far as arithmetic allows.
Aimed at undergraduates and graduates in computer science, logic, mathematics and philosophy, thetext includes reference to and exercises based on the computer software package Jape, an interactive teaching and research tool designed and hosted by the author that is freely available on the
web.

Proof and Disproof in Formal Logic - An Introduction for programmers (Paperback): Richard Bornat Proof and Disproof in Formal Logic - An Introduction for programmers (Paperback)
Richard Bornat
R1,978 Discovery Miles 19 780 Ships in 10 - 15 working days

Proof and Disproof in Formal Logic is a lively and entertaining introduction to formal logic providing an excellent insight into how a simple logic works. Formal logic allows you to check a logical claim without considering what the claim means. This highly abstracted idea is an essential and practical part of computer science. The idea of a formal system-a collection of rules and axioms, which define a universe of logical proofs-is what gives us programming languages and modern-day programming. This book concentrates on using logic as a tool: making and using formal proofs and disproofs of particular logical claims. The logic it uses-natural deduction-is very small and very simple; working with it helps you see how large mathematical universes can be built on small foundations. The book is divided into four parts:
Part I "Basics" gives an introduction to formal logic with a short history of logic and explanations of some technical words.
Part II "Formal Syntactic Proof" show you how to do calculations in a formal system where you are guided by shapes and never need to think about meaning. Your experiments are aided by Jape, which can operate as both inquisitor and oracle.
Part III "Formal Semantic Disproof" shows you how to construct mathematical counterexamples to shoe that proof is impossible. Jape can check the counterexamples you build.
Part IV" Program Specification and Proof" describes how to apply your logical understanding to a real computer science problem, the accurate description and verification of programs. Jape helps, as far as arithmetic allows.
Aimed at undergraduates and graduates in computer science, logic, mathematics and philosophy, thetext includes reference to and exercises based on the computer software package Jape, an interactive teaching and research tool designed and hosted by the author that is freely available on the web.

ggplot2 - Elegant Graphics for Data Analysis (Paperback, 2nd ed. 2016): Hadley Wickham ggplot2 - Elegant Graphics for Data Analysis (Paperback, 2nd ed. 2016)
Hadley Wickham
R2,429 Discovery Miles 24 290 Ships in 18 - 22 working days

This new edition to the classic book by ggplot2 creator Hadley Wickham highlights compatibility with knitr and RStudio. ggplot2 is a data visualization package for R that helps users create data graphics, including those that are multi-layered, with ease. With ggplot2, it's easy to: produce handsome, publication-quality plots with automatic legends created from the plot specification superimpose multiple layers (points, lines, maps, tiles, box plots) from different data sources with automatically adjusted common scales add customizable smoothers that use powerful modeling capabilities of R, such as loess, linear models, generalized additive models, and robust regression save any ggplot2 plot (or part thereof) for later modification or reuse create custom themes that capture in-house or journal style requirements and that can easily be applied to multiple plots approach a graph from a visual perspective, thinking about how each component of the data is represented on the final plot This book will be useful to everyone who has struggled with displaying data in an informative and attractive way. Some basic knowledge of R is necessary (e.g., importing data into R). ggplot2 is a mini-language specifically tailored for producing graphics, and you'll learn everything you need in the book. After reading this book you'll be able to produce graphics customized precisely for your problems, and you'll find it easy to get graphics out of your head and on to the screen or page.

Time Series Analysis Using SAS Enterprise Guide (Paperback, 1st ed. 2020): Timina Liu, Shuangzhe Liu, Lei Shi Time Series Analysis Using SAS Enterprise Guide (Paperback, 1st ed. 2020)
Timina Liu, Shuangzhe Liu, Lei Shi
R1,747 Discovery Miles 17 470 Ships in 18 - 22 working days

This is the first book to present time series analysis using the SAS Enterprise Guide software. It includes some starting background and theory to various time series analysis techniques, and demonstrates the data analysis process and the final results via step-by-step extensive illustrations of the SAS Enterprise Guide software. This book is a practical guide to time series analyses in SAS Enterprise Guide, and is valuable resource that benefits a wide variety of sectors.

Mathematica (R): A Problem-Centered Approach (Paperback, 2nd ed. 2015): Roozbeh Hazrat Mathematica (R): A Problem-Centered Approach (Paperback, 2nd ed. 2015)
Roozbeh Hazrat
R1,035 Discovery Miles 10 350 Ships in 18 - 22 working days

This textbook introduces the vast array of features and powerful mathematical functions of Mathematica using a multitude of clearly presented examples and worked-out problems. Each section starts with a description of a new topic and some basic examples. The author then demonstrates the use of new commands through three categories of problems - the first category highlights those essential parts of the text that demonstrate the use of new commands in Mathematica whilst solving each problem presented; - the second comprises problems that further demonstrate the use of commands previously introduced to tackle different situations; and - the third presents more challenging problems for further study. The intention is to enable the reader to learn from the codes, thus avoiding long and exhausting explanations. While based on a computer algebra course taught to undergraduate students of mathematics, science, engineering and finance, the book also includes chapters on calculus and solving equations, and graphics, thus covering all the basic topics in Mathematica. With its strong focus upon programming and problem solving, and an emphasis on using numerical problems that do not need any particular background in mathematics, this book is also ideal for self-study and as an introduction to researchers who wish to use Mathematica as a computational tool. This new edition has been extensively revised and updated, and includes new chapters with problems and worked examples.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Foundations of Software Science and…
Alex Simpson, Mikolaj Bojańczyk Hardcover R1,831 Discovery Miles 18 310
Essential Java for Scientists and…
Brian Hahn, Katherine Malan Paperback R1,266 Discovery Miles 12 660
Linear Time Series with MATLAB and…
Victor Gomez Hardcover R3,680 Discovery Miles 36 800
Introduction to Chemical Engineering…
Henry C. Foley Paperback R3,120 Discovery Miles 31 200
System Assurances - Modeling and…
Prashant Johri, Adarsh Anand, … Paperback R2,610 Discovery Miles 26 100
A Physicist's Guide to Mathematica
Patrick T Tam Paperback R1,622 Discovery Miles 16 220
SAS Certification Prep Guide…
Joni N Shreve, Donna Dea Holland Hardcover R2,889 Discovery Miles 28 890
SAS Certified Specialist Prep Guide…
Sas Institute Hardcover R3,109 Discovery Miles 31 090
An Introduction to Creating Standardized…
Todd Case, Yuting Tian Hardcover R1,501 Discovery Miles 15 010
Mathematical Modeling for Smart…
Debabrata Samanta, Debabrata Singh Hardcover R11,427 Discovery Miles 114 270

 

Partners