Métodos de análisis no-standar en la teoría de modelos finitos



Título del documento: Métodos de análisis no-standar en la teoría de modelos finitos
Revista: Acta científica venezolana
Base de datos: PERIÓDICA
Número de sistema: 000190325
ISSN: 0001-5504
Autores: 1
2
Instituciones: 1Universidad Simón Bolívar, Departamento de Matemáticas, Caracas, Distrito Federal. Venezuela
2Beaver College, Department of Mathematics and Computer Science, Glenside, Pensilvania. Estados Unidos de América
Año:
Volumen: 52
Paginación: 2-4
País: Venezuela
Idioma: Español
Tipo de documento: Artículo
Enfoque: Analítico
Disciplinas: Matemáticas,
Ciencias de la computación
Palabras clave: Matemáticas aplicadas,
Teoría de modelos,
Análisis no estándar,
Modelos finitos,
Definibilidad,
Lógica de primer orden
Keyword: Mathematics,
Computer science,
Applied mathematics,
Model theory,
Non standard analysis,
Finite models,
Definiability,
First order logic
Solicitud del documento
Nota: El envío del documento tiene costo.









Los documentos originales pueden ser consultados en el Departamento de Información y Servicios Documentales, ubicado en el Anexo de la Dirección General de Bibliotecas (DGB), circuito de la Investigación Científica a un costado del Auditorio Nabor Carrillo, zona de Institutos entre Física y Astronomía. Ciudad Universitaria UNAM. Ver mapa
Mayores informes: Departamento de Información y Servicios Documentales, Tels. (5255) 5622-3960, 5622-3964, e-mail: sinfo@dgb.unam.mx, Horario: Lunes a viernes (8 a 16 hrs.)