Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Normative Externalism
Normative Externalism
Normative Externalism argues that it is not important that people live up to their own principles. What matters, in both ethics and epistemology, is that they live up to the correct principles: that they do the right thing, and that they believe rationally. This stance, that what matters are the correct principles, not one's...
Education and the Ontological Question: Addressing a Missing Dimension
Education and the Ontological Question: Addressing a Missing Dimension

This book identifies and expands upon the link between ontology and education, exposing a lack of ontological inquiry as the vital missing element in the study and practice of modern education today. In this book, Roy aims to reintroduce ontological thinking and reasoning that grounds historical and...

Super-Recursive Algorithms (Monographs in Computer Science)
Super-Recursive Algorithms (Monographs in Computer Science)
This book introduces the new realm of superrecursive algorithms and the development of mathematical models for them. Although many still believe that only recursive algorithms exist and that only some of them are realizable, there are many situations in which people actually work with superrecursive algorithms....
Explanation and Proof in Mathematics: Philosophical and Educational Perspectives
Explanation and Proof in Mathematics: Philosophical and Educational Perspectives

In the four decades since Imre Lakatos declared mathematics a "quasi-empirical science," increasing attention has been paid to the process of proof and argumentation in the field -- a development paralleled by the rise of computer technology and the mounting interest in the logical underpinnings of mathematics.  Explanantion...

Stochastic Coalgebraic Logic (Monographs in Theoretical Computer Science. An EATCS Series)
Stochastic Coalgebraic Logic (Monographs in Theoretical Computer Science. An EATCS Series)

Coalgebraic logic is an important research topic in the areas of concurrency theory, semantics, transition systems and modal logics. It provides a general approach to modeling systems, allowing us to apply important results from coalgebras, universal algebra and category theory in novel ways. Stochastic systems provide important tools for...

The Language of Game Theory : Putting Epistemics into the Mathematics of Games
The Language of Game Theory : Putting Epistemics into the Mathematics of Games

This volume contains eight papers written by Adam Brandenburger and his co-authors over a period of 25 years. These papers are part of a program to reconstruct game theory in order to make how players reason about a game a central feature of the theory. The program now called epistemic game theory extends the classical definition of a game...

Proofs and Algorithms: An Introduction to Logic and Computability (Undergraduate Topics in Computer Science)
Proofs and Algorithms: An Introduction to Logic and Computability (Undergraduate Topics in Computer Science)

Logic is a branch of philosophy, mathematics and computer science. It studies the required methods to determine whether a statement is true, such as reasoning and computation.

Proofs and Algorithms: Introduction to Logic and Computability is an introduction to the fundamental concepts of contemporary logic - those of a
...

Logic and Information Flow (Foundations of Computing)
Logic and Information Flow (Foundations of Computing)

The thirteen chapters written expressly for this book by logicians, theoretical computer scientists, philosophers, and semanticists address, from the perspective of mathematical logic, the problems of understanding and studying the flow of information through any information-processing system.The logic of information flow has applications in...

Mathematics of Discrete Structures for Computer Science
Mathematics of Discrete Structures for Computer Science

Mathematics plays a key role in computer science, some researchers would consider computers as nothing but the physical embodiment of mathematical systems. And whether you are designing a digital circuit, a computer program or a new programming language, you need mathematics to be able to reason about the design -- its correctness,...

Translating Statistics to Make Decisions: A Guide for the Non-Statistician
Translating Statistics to Make Decisions: A Guide for the Non-Statistician

Examine and solve the common misconceptions and fallacies that non-statisticians bring to their interpretation of statistical results. Explore the many pitfalls that non-statisticians―and also statisticians who present statistical reports to non-statisticians―must avoid if statistical results are to be correctly used for...

Data Streams: Algorithms and Applications (Foundations and Trends in Theoretical Computer Science)
Data Streams: Algorithms and Applications (Foundations and Trends in Theoretical Computer Science)
Data stream algorithms as an active research agenda emerged only over the past few years, even though the concept of making few passes over the data for performing computations has been around since the early days of Automata Theory. The data stream agenda now pervades many branches of Computer Science including databases, networking, knowledge...
An Introduction to Game Theory
An Introduction to Game Theory

Game-theoretic reasoning pervades economic theory and is used widely in other social and behavioral sciences. An Introduction to Game Theory, by Martin J. Osborne, presents the main principles of game theory and shows how they can be used to understand economic, social, political, and biological phenomena. The book introduces in an...

Result Page: 33 32 31 30 29 28 27 26 25 24 
©2019 LearnIT (support@pdfchm.net) - Privacy Policy