Mathematics of discrete structures for computer science

Main
Science (General)
Mathematics of discrete structures for...

Mathematics of discrete structures for computer science

Gordon J. Pace.

0 / 0

¿Qué tanto le ha gustado este libro?

¿De qué calidad es el archivo descargado?

Descargue el libro para evaluar su calidad

¿Cuál es la calidad de los archivos descargados?

Why Mathematics? --
Propositional Logic --
Predicate Calculus --
Sets --
Relations --
Classifying Relations --
More Discrete Structures --
Defining New Structured Types --
Numbers --
Reasoning About Programs.

Categorías:

Science (General)

Año:

2012

Editorial:

Springer

Idioma:

english

Páginas:

300

ISBN 10:

3642298400

ISBN 13:

9783642298400

Archivo:

PDF, 1.73 MB

IPFS:

,

english, 2012

La descarga de este libro no está disponible debido a una queja del titular de los derechos de autor

Beware of he who would deny you access to information, for in his heart he dreams himself your master

— Pravin Lal

También le puede interesar

Gèrard Huet, Gordon Plotkin — Logical frameworks

it-ebooks — Homotopy Type Theory Lecture Notes (CMU 15-819)

it-ebooks — Intuitionistic Type Theory

Per Martin-Löf — Intuitionistic Type Theory: Notes by Giovanni Sambin of a Series of Lectures Given in Padua, June 1980 (Studies in Proof Theory)

Gallier J., Quaintance J. — Proofs, Computability, Undecidability, Complexity, And the Lambda Calculus: An Introduction

Gert Smolka, Chad E. Brown — Introduction to Computational Logic (SS 2014) [lecture notes]

Ewa Orlowska (auth.), David Pearce, Heinrich Wansing (eds.) — Nonclassical Logics and Information Processing: International Workshop Berlin, Germany, November 9–10, 1990 Proceedings

Yohji Akama (auth.), Marc Bezem, Jan Friso Groote (eds.) — Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications TLCA ’93 March, 16–18, 1993, Utrecht, The Netherlands Proceedings

Gallier J. — Logic for Computer Science

Per Martin-Löf — Intuitionistic Type Theory: Notes by Giovanni Sambin of a Series of Lectures Given in Padua, June 1980 (Studies in Proof Theory)

Anthony Boutelle, Stan Gibilisco — Logic demystified

Giovanni Sambin, Jan M. Smith — Twenty-five years of constructive type theory. Proceedings of a congress held in Venice, october 1995

Zhaohui Luo — Computation and reasoning. A type theory for computer science

Simon Thompson — Type Theory and Functional Programming

Restall, Greg — An introduction to substructural logics

Dirk van Dalen — Logic and Structure

David Gries, Fred B. Schneider — A Logical Approach to Discrete Math

Greg Restall — an introduction to substructural logics

Rowan Garnier, John Taylor — 100 percent mathematical proof

Rowan Garnier, John Taylor — 100% Mathematical Proof

G. B. Keene — Abstract Sets and Finite Ordinals : An Introduction to the Study of Set Theory

Jean H. Gallier — Logic for Computer Science: Foundations of Automatic Theorem Proving

Hans Halvorson — How logic works: a user's guide

Helena Rasiowa — Introduction to Modern Mathematics

J. E. Fenstad (editor) — Proc. 2nd Scandinavian Logic Symposium

Woodcock, Jim; Loomes, Martin — Software engineering mathematics

Jeremy Avigad — Mathematical Logic and Computation

Goranko, Valentin — Logic as a tool: a guide to formal logical reasoning

David Gries, Fred B. Schneider — A Logical Approach to Discrete Math

Michael Genesereth, Eric Kao — Introduction to Logic

Michael Genesereth, Eric Kao — Introduction to Logic

César Gallo — An Introduction to Propositional Logic and Set Theory: Math for Everyone: A Friendly Way to Learn

Andreas Abel (auth.), Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan Smith (eds.) — Types for Proofs and Programs: International Workshop, TYPES’99 Lökeberg, Sweden, June 12–16, 1999 Selected Papers

Yohji Akama (auth.), Marc Bezem, Jan Friso Groote (eds.) — Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications TLCA ’93 March, 16–18, 1993, Utrecht, The Netherlands Proceedings

Anne Baanen, Alexander Bentkamp, Jasmin Blanchette, Johannes Hölzl, Jannis Limperg — The Hitchhiker’s Guide to Logical Verification

Términos más frecuentes