French
A Programming Approach to Computability
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Introduction
-
Altmetric BadgeChapter 2 The Syntax and Semantics of while-Programs
-
Altmetric BadgeChapter 3 Enumeration and Universality of the Computable Functions
-
Altmetric BadgeChapter 4 Techniques of Elementary Computability Theory
-
Altmetric BadgeChapter 5 Program Methodology
-
Altmetric BadgeChapter 6 The Recursion Theorem and Properties of Enumerations
-
Altmetric BadgeChapter 7 Computable Properties of Sets (Part 1)
-
Altmetric BadgeChapter 8 Computable Properties of Sets (Part 2)
-
Altmetric BadgeChapter 9 Alternative Approaches to Computability