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

Alianza / Universitario
Precio:
MXN
$725.00

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

Introducción a la teoría de la lógica - El Librero de Larousse

 0 (0 Calificaciones)
ISBN: 9788420678856
Idioma: Español
Precio:
MXN
$725.00
Delivery
Recíbelo en 8 días
GiftsRegalos en todos tus pedidos

Detalles del libro

number of pages

No. de páginas

368
date of publication

Año de publicación

2015
edition

Edición

1
editorial

Editorial

Alianza / Universitario
age group

Edad sugerida

ADU Audiencia mayor a 18 años
formato

Formato

Rústica
DeliveryRecíbelo en 8 días
GiftsRegalos en todos tus pedidos
Delivery
Gifts

Detalles del libro

number of pages

No. de páginas

368
date of publication

Año de publicación

2015
edition

Edición

1
editorial

Editorial

Alianza / Universitario
age group

Edad sugerida

ADU Audiencia mayor a 18 años
formato

Formato

Rústica

Descripción

Introducción a la teoría de la lógica 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.

Suscríbete a nuestro Newsletter

Recibirás las novedades y nuestras promociones exclusivas para tí.

Loading...