7.1. Partially computable languages
7.2. All computable languages are partially computable
7.3. Languages that are not partially computable
7.4. Mapping reductions between partially computable problems