bubok.es utiliza cookies propias y de terceros para mejorar nuestros servicios y a recordar sus preferencias mediante el análisis de sus hábitos de navegación. Ver política de privacidad. OK
Buscar en Bubok

Introducción a la teoría de la lógica

de José Luis Zalabardo
  • Autor: José Luis Zalabardo
  • N° de páginas: 368
  • Tamaño: 175x245
  • Formato: Paperback / softback
  • isbn: 9788420678856
  • Idioma: español
  • visitas: 3
Este manual proporciona una introducción rigurosa a los conceptos y resultados fundamentales de la lógica contemporánea. También presenta las herramientas matemáticas, principalmente de la teoría de conjuntos, necesarias para comprender los aspectos técnicos de la disciplina e introduce los métodos principales de definición y prueba, prestando especial atención a las definiciones y pruebas inductivas y a las definiciones recursivas. Por ello, el libro será especialmente útil para los lectores que pretendan acometer un estudio serio de la lógica pero que carezcan de los conocimientos matemáticos que se presuponen en otros textos a este nivel. El libro contiene cientos de ejercicios. Entre los temas tratados se encuentran la teoría básica de conjuntos, sintaxis y semántica proposicional y de primer orden, un sistema deductivo basado en el cálculo de secuentes, los teoremas de la consistencia y la completud, la cardinalidad, las limitaciones expresivas de la lógica de primer orden, prestando especial atención a los teoremas de Löwenheim y Skolem y a los modelos no estándar de la aritmética, la decidibilidad, teorías completas, categoricidad y eliminación de cuantificadores.
ESTE LIBRO NO SE ENCUENTRA DISPONIBLE. PUEDES VER MÁS ABAJO OTROS LIBROS DE TEMÁTICA SIMILAR QUE PUEDEN INTERESARTE.
Los clientes que compraron este libro también compraron

La librería Bubok cuenta con más de 70.000 títulos publicados. ¿Todavía no encuentras el tuyo? Aquí te presentamos algunas lecturas recomendadas basándonos en las valoraciones de lectores que compraron este mismo libro.
¿No es lo que buscabas? Descubre toda nuestra selección en la librería: ebooks, publicaciones en papel, de descarga gratuita, de temáticas especializadas... ¡Feliz lectura!

Bubok es una editorial que brinda a cualquier autor las herramientas y servicios necesarios para editar sus obras, publicarlas y venderlas en más de siete países, tanto en formato digital como en papel, con tiradas a partir de un solo ejemplar. Los acuerdos de Bubok permiten vender este catálogo en cientos de plataformas digitales y librerías físicas.
Si quieres descubrir las posibilidades de edición y publicación para tu libro, ponte en contacto con nosotros a través de este formulario y comenzaremos a dar forma a tu proyecto.

¿Quieres que te informemos de cómo publicar tu obra? Déjanos tu teléfono y te llamamos sin compromiso.

Introduce el nombre

Introduce el teléfono

Introduce el E-mail

Introduce un email válido

Escoge el estado del manuscrito

Gracias por contactar con Bubok, su mensaje ha sido enviado con éxito. Una persona de nuestro departamento de asesoría al cliente se pondrá en contacto contigo a la mayor brevedad.
Enviar