Logic, sets, and recursion.
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Libro |
| Lenguaje: | Español |
| Publicado: |
Boston :
Jones and Bartlett,
1994.
|
| Colección: | The Jones and Bartlett series in computer science
|
| Materias: | |
| Aporte de: | Registro referencial: Solicitar el recurso aquí |
Tabla de Contenidos:
- Contenido: Introduction. Sentential calculus. Basic set theory. Recursion and mathematical induction. Predicate calcululus.