Cargando…

Computability, complexity, logic

The theme of this book is formed by a pair of concepts: the concept of formal language as carrier of the precise expression of meaning, facts and problems, and the concept of algorithm or calculus, i.e. a formally operating procedure for the solution of precisely described questions and problems. Th...

Descripción completa

Detalles Bibliográficos
Autor principal: Börger, Egon
Lenguaje:eng
Publicado: North-Holland 1989
Materias:
Acceso en línea:http://cds.cern.ch/record/217309

Ejemplares similares