Resultado de búsqueda
Me llamo Carlos Ivorra y soy profesor de la Universidad de Valencia. Puedes encontrarme en el. Departamento de Matemáticas para la Economía y la Empresa. Facultad de Economía, Avda. de los naranjos s/n, 46022 VALENCIA. Despacho: 5P18b, Teléfono: 96 162 5091, e-mail: carlos.ivorra@uv.es. VISITAS.
- Índice de Textos
Otros textos y documentos incluidos en mi web son: Trágico,...
- El Machismo En El Lenguaje
Hace ya muchos años el suplemento semanal del diario El País...
- Violencia De Género
Esta anécdota ilustra una característica fundamental de las...
- Informe
INFORME DE LA REAL ACADEMIA ESPAÑOLA SOBRE LA EXPRESIÓN...
- Agradecimientos
Quiero destacar la contribución de Rafael Hernández, que me...
- Filosofía
ÉTICA. A continuación presento una discusión de mis ideas...
- Carlos Ivorra
Correo electrónico: carlos.ivorra@uv.es: HORARIO PARA EL...
- Libros en Pdf
Introducción al cálculo secuencial de Gentzen, con...
- Índice de Textos
Carlos Ivorra Castillo TEORÍA DE CONJUNTOS. Unconjuntoesun“muchos”quepuedeserpensado comouno. Georg Cantor. Índice General Introducción ix CapítuloI: ...
Carlos Ivorra Castillo ÁLGEBRA. Esencialmente,elálgebrayeldinerodeterminan clases; la primera a nivel intelectual, el segundo a nivelpráctico. Simone Weil ...
Grup d'investigació : Optimización y modelos matemáticos para la economía y la empresa. Correu : carlos.ivorra@uv.es. Doctor per la Universitat de València amb la tesi Operadores de promedio en espacios de funciones continuas. Espacios de Banach inyectivos 1995. Dirigida per Dr/a.
Página que presenta los registros bibliográficos que hay en Dialnet correspondientes a publicaciones de Carlos Ivorra Castillo (no es una página exhaustiva de la obra del autor)
Carlos Ivorra Castillo LOGICA Y TEOR´ ´IA DE CONJUNTOS. No puedes encontrar la verdad con la l´ogica si no la has encontrado ya sin ella. G.K.Chesterton
Contenido: Lenguajes formales de primer orden. Sistemas deductivos formales. La completitud semántica. Teoría de la recursión. Teorías aritméticas. Incompletitud. Los axiomas de la teoría de conjuntos. Modelos de la teoría de conjuntos. La formalización de la lógica en teoría de conjuntos, entre otros..