If P, Then Q

If P, Then Q

Author: David H. Sanford

Publisher: Psychology Press

Published: 2003

Total Pages: 312

ISBN-13: 9780415283687

DOWNLOAD EBOOK

Since its publication in 1989, David Sanford's If P Then Q has become one of the most widely respected works in the field of conditionals. This new edition includes three new chapters, thus updating the book to take into account developments in the


A Spiral Workbook for Discrete Mathematics

A Spiral Workbook for Discrete Mathematics

Author: Harris Kwong

Publisher: Open SUNY Textbooks

Published: 2015-11-06

Total Pages: 298

ISBN-13: 9781942341161

DOWNLOAD EBOOK

A Spiral Workbook for Discrete Mathematics covers the standard topics in a sophomore-level course in discrete mathematics: logic, sets, proof techniques, basic number theory, functions,relations, and elementary combinatorics, with an emphasis on motivation. The text explains and claries the unwritten conventions in mathematics, and guides the students through a detailed discussion on how a proof is revised from its draft to a nal polished form. Hands-on exercises help students understand a concept soon after learning it. The text adopts a spiral approach: many topics are revisited multiple times, sometimes from a dierent perspective or at a higher level of complexity, in order to slowly develop the student's problem-solving and writing skills.


Math in Society

Math in Society

Author: David Lippman

Publisher:

Published: 2012-09-07

Total Pages: 0

ISBN-13: 9781479276530

DOWNLOAD EBOOK

Math in Society is a survey of contemporary mathematical topics, appropriate for a college-level topics course for liberal arts major, or as a general quantitative reasoning course.This book is an open textbook; it can be read free online at http://www.opentextbookstore.com/mathinsociety/. Editable versions of the chapters are available as well.


Discrete Mathematics

Discrete Mathematics

Author: Oscar Levin

Publisher: Createspace Independent Publishing Platform

Published: 2016-08-16

Total Pages: 342

ISBN-13: 9781534970748

DOWNLOAD EBOOK

This gentle introduction to discrete mathematics is written for first and second year math majors, especially those who intend to teach. The text began as a set of lecture notes for the discrete mathematics course at the University of Northern Colorado. This course serves both as an introduction to topics in discrete math and as the "introduction to proof" course for math majors. The course is usually taught with a large amount of student inquiry, and this text is written to help facilitate this. Four main topics are covered: counting, sequences, logic, and graph theory. Along the way proofs are introduced, including proofs by contradiction, proofs by induction, and combinatorial proofs. The book contains over 360 exercises, including 230 with solutions and 130 more involved problems suitable for homework. There are also Investigate! activities throughout the text to support active, inquiry based learning. While there are many fine discrete math textbooks available, this text has the following advantages: It is written to be used in an inquiry rich course. It is written to be used in a course for future math teachers. It is open source, with low cost print editions and free electronic editions.


An Introduction to Formal Logic

An Introduction to Formal Logic

Author: Peter Smith

Publisher: Cambridge University Press

Published: 2003-11-06

Total Pages: 370

ISBN-13: 9780521008044

DOWNLOAD EBOOK

Formal logic provides us with a powerful set of techniques for criticizing some arguments and showing others to be valid. These techniques are relevant to all of us with an interest in being skilful and accurate reasoners. In this highly accessible book, Peter Smith presents a guide to the fundamental aims and basic elements of formal logic. He introduces the reader to the languages of propositional and predicate logic, and then develops formal systems for evaluating arguments translated into these languages, concentrating on the easily comprehensible 'tree' method. His discussion is richly illustrated with worked examples and exercises. A distinctive feature is that, alongside the formal work, there is illuminating philosophical commentary. This book will make an ideal text for a first logic course, and will provide a firm basis for further work in formal and philosophical logic.


Frank Ramsey

Frank Ramsey

Author: Cheryl Misak

Publisher: Oxford University Press

Published: 2020-02-13

Total Pages: 537

ISBN-13: 0191074810

DOWNLOAD EBOOK

When he died in 1930 aged 26, Frank Ramsey had already invented one branch of mathematics and two branches of economics, laying the foundations for decision theory and game theory. Keynes deferred to him; he was the only philosopher whom Wittgenstein treated as an equal. Had he lived he might have been recognized as the most brilliant thinker of the century. This amiable shambling bear of a man was an ardent socialist, a believer in free love, and an intimate of the Bloomsbury set. For the first time Cheryl Misak tells the full story of his extraordinary life.


A Philosophical Guide to Conditionals

A Philosophical Guide to Conditionals

Author: Jonathan Bennett

Publisher: Oxford University Press

Published: 2003

Total Pages: 402

ISBN-13: 0199258872

DOWNLOAD EBOOK

The author, one of the world's leading authorities on the subject of conditional sentences, distils many years' work and teaching into 'A Philosophical Guide to Conditionals', an authoritative treatment of the subject.


Subjective Logic

Subjective Logic

Author: Audun Jøsang

Publisher: Springer

Published: 2016-10-27

Total Pages: 355

ISBN-13: 3319423371

DOWNLOAD EBOOK

This is the first comprehensive treatment of subjective logic and all its operations. The author developed the approach, and in this book he first explains subjective opinions, opinion representation, and decision-making under vagueness and uncertainty, and he then offers a full definition of subjective logic, harmonising the key notations and formalisms, concluding with chapters on trust networks and subjective Bayesian networks, which when combined form general subjective networks. The author shows how real-world situations can be realistically modelled with regard to how situations are perceived, with conclusions that more correctly reflect the ignorance and uncertainties that result from partially uncertain input arguments. The book will help researchers and practitioners to advance, improve and apply subjective logic to build powerful artificial reasoning models and tools for solving real-world problems. A good grounding in discrete mathematics is a prerequisite.