Ordinal Computability: An Introduction to Infinitary Machines 9783110496154, 9783110495621

Ordinal computability. An introduction to infinitary machines 9783110495621, 9783110496154

312 87 2MB Read more

Ordinal Computability: An Introduction to Infinitary Machines 9783110496154, 9783110495621

Ordinal Computability discusses models of computation obtained by generalizing classical models, such as Turing machines

166 103 4MB Read more

Ordinal Analysis with an Introduction to Proof Theory [1st ed.] 9789811564581, 9789811564598

This book provides readers with a guide to both ordinal analysis, and to proof theory. It mainly focuses on ordinal anal

372 28 4MB Read more

Proofs, Computability, Undecidability, Complexity, And the Lambda Calculus: An Introduction

The main goal of this book is to present a mix of material dealing with: Proof systems. Computability and undecidabilit

190 50 4MB Read more

Hilbert’s Tenth Problem - An Introduction to Logic, Number Theory, and Computability [1 ed.] 2018061472, 9781470443993

Hilbert's tenth problem is one of 23 problems proposed by David Hilbert in 1900 at the International Congress of Ma

394 91 4MB Read more

Ordinal Analysis

337 11 1MB Read more

Proofs and Algorithms: An Introduction to Logic and Computability (Undergraduate Topics in Computer Science) [2011 ed.] 9780857291219, 9780857291202

106 23 2MB Read more

An Introduction to Bambara

110 90 17MB Read more

A short Introduction to Support Vector Machines and Kernelbased Learning

• Disadvantages of classical neural nets• SVM properties and standard SVM classifier• Related kernelbased learning metho

449 45 1MB Read more

An Introduction to Computers

Moscow, Mir Publications, 1976 (ma third printing 1987) 8vo cart. edit. pp. 304

181 95 15MB Read more