View:

- no detail
- some detail
- full detail

## 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

*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

*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

*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

*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 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 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

*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 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 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

*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 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

*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 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 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-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 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

*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

*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:

- no detail
- some detail
- full detail