Kansikuva
QR-koodi

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...

Täydet tiedot

Tallennettuna:
Päätekijä: Lavrov, Igor (autor)
Muut tekijät: Maksimova, Larisa (autor) (autor), Corsi, Giovanna (edición) (edición)
Aineistotyyppi: Kirja
Kieli:englanti
Julkaistu: Nueva York, EUA : Kluwer, 2003, c2003
Sarja:(University Series in Mathematics)
Aiheet:
Teoría de Conjuntos - > Problemas, Ejercicios, etc.
Algoritmos - > Problemas, Ejercicios, etc.
Lógica Matemática - > Problemas, Ejercicios, etc.
Matemáticas - > Problemas, Ejercicios, etc.
Tagit: Lisää tagi
Ei tageja, Lisää ensimmäinen tagi!
Yhteenveto: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.
Ulkoasu:XII, 282 p.
ISBN:0-306-47712-2

Samankaltaisia teoksia