Jump to ContentJump to Main Navigation

You are looking at 1-20 of 24 items for:

  • Logic / Computer Science / Mathematical Philosophy x
Clear All

View:

Bayesian Nets and CausalityPhilosophical and Computational Foundations

Bayesian Nets and Causality: Philosophical and Computational Foundations

Jon Williamson

Published in print:
2004
Published Online:
September 2007
ISBN:
9780198530794
eISBN:
9780191712982
Item type:
book
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780198530794.001.0001
Subject:
Mathematics, Logic / Computer Science / Mathematical Philosophy

This book provides an introduction to, and analysis of, the use of Bayesian nets in causal modelling. It puts forward new conceptual foundations for causal network modelling: The book argues that ... More

Bolzano's Logical System

Bolzano's Logical System

Ettore Casari

Published in print:
2016
Published Online:
January 2017
ISBN:
9780198788294
eISBN:
9780191830228
Item type:
book
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780198788294.001.0001
Subject:
Mathematics, Logic / Computer Science / Mathematical Philosophy

A starting point of Bolzano’s logical reflection was the conviction that among truths there is a connection, according to which some truths are grounds of others, and these in turn are consequences ... More

Causality in the Sciences

Causality in the Sciences

Phyllis McKay Illari, Federica Russo, and Jon Williamson (eds)

Published in print:
2011
Published Online:
September 2011
ISBN:
9780199574131
eISBN:
9780191728921
Item type:
book
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780199574131.001.0001
Subject:
Mathematics, Logic / Computer Science / Mathematical Philosophy

There is a need for integrated thinking about causality, probability, and mechanism in scientific methodology. A panoply of disciplines, ranging from epidemiology and biology through to econometrics ... More

Computability and Randomness

Computability and Randomness

André Nies

Published in print:
2009
Published Online:
May 2009
ISBN:
9780199230761
eISBN:
9780191710988
Item type:
book
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780199230761.001.0001
Subject:
Mathematics, Logic / Computer Science / Mathematical Philosophy

The complexity and the randomness aspect of a set of natural numbers are closely related. Traditionally, computability theory is concerned with the complexity aspect. However, computability theoretic ... More

Computational Interaction

Computational Interaction

Antti Oulasvirta, Per Ola Kristensson, Xiaojun Bi, and Andrew Howes (eds)

Published in print:
2018
Published Online:
March 2018
ISBN:
9780198799603
eISBN:
9780191839832
Item type:
book
Publisher:
Oxford University Press
DOI:
10.1093/oso/9780198799603.001.0001
Subject:
Mathematics, Logic / Computer Science / Mathematical Philosophy

This book presents computational interaction as an approach to explaining and enhancing the interaction between humans and information technology. Computational interaction applies abstraction, ... More

The Error of TruthHow History and Mathematics Came Together to Form Our Character and Shape Our Worldview

The Error of Truth: How History and Mathematics Came Together to Form Our Character and Shape Our Worldview

Steven J. Osterlind

Published in print:
2019
Published Online:
January 2019
ISBN:
9780198831600
eISBN:
9780191869532
Item type:
book
Publisher:
Oxford University Press
DOI:
10.1093/oso/9780198831600.001.0001
Subject:
Mathematics, Logic / Computer Science / Mathematical Philosophy

The Error of Truth recounts the astonishing and unexpected tale of how quantitative thinking was invented and rose to primacy in our lives in the nineteenth and early twentieth centuries, bringing us ... More

Everyday CryptographyFundamental Principles and Applications

Everyday Cryptography: Fundamental Principles and Applications

Keith Martin

Published in print:
2017
Published Online:
July 2017
ISBN:
9780198788003
eISBN:
9780191829956
Item type:
book
Publisher:
Oxford University Press
DOI:
10.1093/oso/9780198788003.001.0001
Subject:
Mathematics, Computational Mathematics / Optimization, Logic / Computer Science / Mathematical Philosophy

Cryptography is a vital technology that underpins the security of information in computer networks. This book presents a comprehensive introduction to the role that cryptography plays in providing ... More

From Sets and Types to Topology and AnalysisTowards practicable foundations for constructive mathematics

From Sets and Types to Topology and Analysis: Towards practicable foundations for constructive mathematics

Laura Crosilla and Peter Schuster (eds)

Published in print:
2005
Published Online:
September 2007
ISBN:
9780198566519
eISBN:
9780191713927
Item type:
book
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780198566519.001.0001
Subject:
Mathematics, Logic / Computer Science / Mathematical Philosophy

Constructive mathematics is a vital area of research which has gained special attention in recent years due to the distinctive presence of computational content in its theorems. This characteristic ... More

Game Theory, Diplomatic History and Security Studies

Game Theory, Diplomatic History and Security Studies

Frank C. Zagare

Published in print:
2019
Published Online:
February 2019
ISBN:
9780198831587
eISBN:
9780191869525
Item type:
book
Publisher:
Oxford University Press
DOI:
10.1093/oso/9780198831587.001.0001
Subject:
Mathematics, Logic / Computer Science / Mathematical Philosophy, Applied Mathematics

The main purpose of this book is to demonstrate, by way of example, the several advantages of using a formal game-theoretic framework to explain complex events, diplomatic history, and contentious ... More

Games User Research

Games User Research

Anders Drachen, Pejman Mirza-Babaei, and Lennart Nacke (eds)

Published in print:
2018
Published Online:
March 2018
ISBN:
9780198794844
eISBN:
9780191836336
Item type:
book
Publisher:
Oxford University Press
DOI:
10.1093/oso/9780198794844.001.0001
Subject:
Mathematics, Logic / Computer Science / Mathematical Philosophy, Computational Mathematics / Optimization

Today, Games User Research forms an integral component of the development of any kind of interactive entertainment. User research stands as the primary source of business intelligence in the ... More

Gödel's DisjunctionThe scope and limits of mathematical knowledge

Gödel's Disjunction: The scope and limits of mathematical knowledge

Leon Horsten and Philip Welch (eds)

Published in print:
2016
Published Online:
November 2016
ISBN:
9780198759591
eISBN:
9780191820373
Item type:
book
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780198759591.001.0001
Subject:
Mathematics, Logic / Computer Science / Mathematical Philosophy

The logician Kurt Gödel in 1951 established a disjunctive thesis about the scope and limits of mathematical knowledge: either the mathematical mind is equivalent to a Turing machine (i.e., a ... More

Here Be DragonsScience, Technology and the Future of Humanity

Here Be Dragons: Science, Technology and the Future of Humanity

Olle Häggström

Published in print:
2016
Published Online:
January 2016
ISBN:
9780198723547
eISBN:
9780191790331
Item type:
book
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780198723547.001.0001
Subject:
Mathematics, Logic / Computer Science / Mathematical Philosophy

This book challenges the widely held but oversimplified and even dangerous conception that progress in science and technology is our salvation, and the more of it, the better. The future will offer ... More

In Defence of Objective Bayesianism

In Defence of Objective Bayesianism

Jon Williamson

Published in print:
2010
Published Online:
September 2010
ISBN:
9780199228003
eISBN:
9780191711060
Item type:
book
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780199228003.001.0001
Subject:
Mathematics, Probability / Statistics, Logic / Computer Science / Mathematical Philosophy

Bayesian epistemology aims to answer the following question: How strongly should an agent believe the various propositions expressible in her language? Subjective Bayesians hold that.it is largely ... More

Interpolation and DefinabilityModal and Intuitionistic Logics

Interpolation and Definability: Modal and Intuitionistic Logics

Dov M. Gabbay and Larisa Maksimova

Published in print:
2005
Published Online:
September 2007
ISBN:
9780198511748
eISBN:
9780191705779
Item type:
book
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780198511748.001.0001
Subject:
Mathematics, Logic / Computer Science / Mathematical Philosophy

This book focuses on interpolation and definability. This notion is not only central in pure logic, but has significant meaning and applicability in all areas where logic itself is applied, ... More

Lectures on Inductive Logic

Lectures on Inductive Logic

Jon Williamson

Published in print:
2017
Published Online:
March 2017
ISBN:
9780199666478
eISBN:
9780191749292
Item type:
book
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780199666478.001.0001
Subject:
Mathematics, Logic / Computer Science / Mathematical Philosophy

Inductive logic (also known as confirmation theory) seeks to determine the extent to which the premisses of an argument entail its conclusion. This book offers an introduction to the field of ... More

Mathematical Knowledge and the Interplay of Practices

Mathematical Knowledge and the Interplay of Practices

José Ferreirós

Published in print:
2015
Published Online:
October 2017
ISBN:
9780691167510
eISBN:
9781400874002
Item type:
book
Publisher:
Princeton University Press
DOI:
10.23943/princeton/9780691167510.001.0001
Subject:
Mathematics, Logic / Computer Science / Mathematical Philosophy

This book presents a new approach to the epistemology of mathematics by viewing mathematics as a human activity whose knowledge is intimately linked with practice. Charting an exciting new direction ... More

Mathematics without ApologiesPortrait of a Problematic Vocation

Mathematics without Apologies: Portrait of a Problematic Vocation

Michael Harris

Published in print:
2017
Published Online:
May 2018
ISBN:
9780691175836
eISBN:
9781400885527
Item type:
book
Publisher:
Princeton University Press
DOI:
10.23943/princeton/9780691175836.001.0001
Subject:
Mathematics, Logic / Computer Science / Mathematical Philosophy

What do pure mathematicians do, and why do they do it? Looking beyond the conventional answers, this book offers an eclectic panorama of the lives and values and hopes and fears of mathematicians in ... More

Modern Fortran ExplainedIncorporating Fortran 2018

Modern Fortran Explained: Incorporating Fortran 2018

Michael Metcalf, John Reid, and Malcolm Cohen

Published in print:
2018
Published Online:
October 2018
ISBN:
9780198811893
eISBN:
9780191850028
Item type:
book
Publisher:
Oxford University Press
DOI:
10.1093/oso/9780198811893.001.0001
Subject:
Mathematics, Logic / Computer Science / Mathematical Philosophy

Fortran marches on, remaining one of the principal programming languages used in high-performance scientific, numerical, and engineering computing. A series of significant revisions to the standard ... More

The New ABCs of ResearchAchieving Breakthrough Collaborations

The New ABCs of Research: Achieving Breakthrough Collaborations

Ben Shneiderman

Published in print:
2016
Published Online:
March 2016
ISBN:
9780198758839
eISBN:
9780191818714
Item type:
book
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780198758839.001.0001
Subject:
Mathematics, Applied Mathematics, Logic / Computer Science / Mathematical Philosophy

The immense problems of the twenty-first century invite innovative thinking from students, academic researchers, business research managers, and government policymakers. Hopes for raising quality in ... More

Noncooperative Game TheoryAn Introduction for Engineers and Computer Scientists

Noncooperative Game Theory: An Introduction for Engineers and Computer Scientists

João P. Hespanha

Published in print:
2017
Published Online:
May 2018
ISBN:
9780691175218
eISBN:
9781400885442
Item type:
book
Publisher:
Princeton University Press
DOI:
10.23943/princeton/9780691175218.001.0001
Subject:
Mathematics, Logic / Computer Science / Mathematical Philosophy

This book is aimed at students interested in using game theory as a design methodology for solving problems in engineering and computer science. The book shows that such design challenges can be ... More

View: