Jump to ContentJump to Main Navigation

You are looking at 1-19 of 19 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

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

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

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

Reductive Logic and Proof-searchProof Theory, Semantics, and Control

Reductive Logic and Proof-search: Proof Theory, Semantics, and Control

David J. Pym and Eike Ritter

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

This a research study about logic. Logic is both part of and has roles in many disciplines, including inter alia, mathematics, computing, and philosophy. The topic covered here — the mathematical ... More

Set TheoryBoolean-Valued Models and Independence Proofs

Set Theory: Boolean-Valued Models and Independence Proofs

John L. Bell

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

This is the third edition of a well-known graduate textbook on Boolean-valued models of set theory. The aim of the first and second editions was to provide a systematic and adequately motivated ... More

Simplicity Theory

Simplicity Theory

Byunghan Kim

Published in print:
2013
Published Online:
January 2014
ISBN:
9780198567387
eISBN:
9780191746512
Item type:
book
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780198567387.001.0001
Subject:
Mathematics, Logic / Computer Science / Mathematical Philosophy

This book is about simple first-order theories. The class of simple theories was introduced by S. Shelah in the early 1980s. Then several specific algebraic structures having simple theories have ... More

The Structure of Models of Peano Arithmetic

The Structure of Models of Peano Arithmetic

Roman Kossak and James Schmerl

Published in print:
2006
Published Online:
September 2007
ISBN:
9780198568278
eISBN:
9780191718199
Item type:
book
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780198568278.001.0001
Subject:
Mathematics, Logic / Computer Science / Mathematical Philosophy

This book gives an account of the present state of research on lattices of elementary substructures and automorphisms of nonstandard models of arithmetic. Major representation theorems are proved, ... More

View: