Imaxe de Portada
Código QR

Problems in Set Theory, Mathematical Logic, and the Theory of Algorithms /

Contenido: Problemas: Teoría de conjuntos: Operaciones con conjuntos; Relaciones y funciones; Relaciones binarias especiales; Números cardinales. Lógica matemática: Algebra de proposiciones; Funciones de verdad; Cálculo proposicional; Teorías axiomáticas. Teoría de algoritmos: Funciones recursivas p...

Descrición completa

Gardado en:
Autor Principal: Lavrov, Igor (autor)
Outros autores: Maksimova, Larisa (autor) (autor), Corsi, Giovanna (edición) (edición)
Formato: Libro
Idioma:inglés
Publicado: Nueva York, EUA : Kluwer, 2003, c2003
Series:(University Series in Mathematics)
Temas:
Teoría de Conjuntos - > Problemas, Ejercicios, etc.
Algoritmos - > Problemas, Ejercicios, etc.
Lógica Matemática - > Problemas, Ejercicios, etc.
Matemáticas - > Problemas, Ejercicios, etc.
Etiquetas: Engadir etiqueta
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
Resumen:Contenido: Problemas: Teoría de conjuntos: Operaciones con conjuntos; Relaciones y funciones; Relaciones binarias especiales; Números cardinales. Lógica matemática: Algebra de proposiciones; Funciones de verdad; Cálculo proposicional; Teorías axiomáticas. Teoría de algoritmos: Funciones recursivas parciales; Máquinas de Touring; Conjuntos recursivos y recursivamente enumerables; Números de Kleene y Post. Soluciones.
Descrición Física:XII, 282 p.
ISBN:0-306-47712-2

Títulos similares