Computability

Livre MiitBook

Computability

Richard L. Epstein, Richard .L. Epstein, Walter Alexandr Carnielli

Parution : 1988

Aucune description disponible.

Trouver un professionnel Consulter la ressource externeOuvrir l’assistant de lecture

Catégories

Computable functions Logic, Symbolic and mathematical Symbolic and mathematical Logic Mathematical logic Mathematics Computer Logic Science/Mathematics Logic

Mots-clés

Computable functions Logic, Symbolic and mathematical Symbolic and mathematical Logic Mathematical logic Mathematics Computer Logic Science/Mathematics Logic

MiitBook

Livres similaires

Computer science

English

Parution : 1985★ 4.6

Computer science

J. Glenn Brookshear, Brookshear

Computer organization and architecture

English

Parution : 1987★ 4.0

Computer organization and architecture

William Stallings

Computer networking

Langue : CMN · Parution : 1900★ 3.7

Computer networking

James F. Kurose, Keith W. Ross

Structure and Interpretation of Computer Programs (SICP)

Langue : CHI · Parution : 1985★ 4.4

Structure and Interpretation of Computer Programs (SICP)

Harold Abelson, Gerald Jay Sussman, Julie Sussman

Computational functional analysis

English

Parution : 1985

Computational functional analysis

Ramon E. Moore

Understanding Symbolic Logic

English

Parution : 1983

Understanding Symbolic Logic

Virginia Klenk, Markosian

Mathematics and plausible reasoning

Langue : DE · Parution : 1954★ 4.0

Mathematics and plausible reasoning

George Pólya

Discrete Mathematics and Its Applications

English

Parution : 1988★ 4.7

Discrete Mathematics and Its Applications

Kenneth H. Rosen