Conocé las promociones bancarias
Retiro gratis en nuestras sucursales
Envío gratis para compras superiores a $35.000
¡Hola! Iniciá sesión
Retiro en Sucursales
Envíos a todo el país
Retiro en Sucursales
Envíos a todo el país
Inicio > LIBROS > INGENIERIA, TECNICA Y CIENCIAS EXACTAS > OTRAS CIENCIAS EXACTAS > OTRAS CS. EXACTAS > LENGUAJE TEORIAS Y MODELOS

LENGUAJE TEORIAS Y MODELOS

Jouko Vaananen / Andres Villaveces
SKU: 698255
$16.800,00
6 x $2.800,00 sin interés
Ver más detalles
¡Últimos disponibles!
¡Genial! Tenés envío gratis
¡Agregá este producto y tenés envío gratis!
Envío gratis superando los $35.000,00
Entregas para el CP:
Cambiar CP
Envío gratis superando los $35.000,00
¡Agregá este producto y tenés envío gratis!
Calcular
No sé mi código postal
Descripción
Formato: LIBROS
Editorial: Eudeba
Encuadernación: Tapa Blanda
Idioma: Español
ISBN: 9789502331980
N° Páginas: 182
Dimensiones: 23 x 15.5 cm
Fecha Publicación: 09/2022

Sinópsis
a lógica matemática hunde sus raíces más remotas en problemáticas provenientes del inicio mismo del indagar filosófico de la humanidad. Al mismo tiempo, florece como área plena de la matemática de manera relativamente reciente, en especial desde el inicio del siglo XX. De esta manera, la lógica es, a la vez, una disciplina intelectual antigua y un área muy contemporánea de la matemática. Una de sus subáreas importantes, la calculabilidad, ha resultado tener importancia fundamental en el desarrollo del aspecto más matemático de la computación. Otras partes de la lógica indagan matemáticamente sobre el rol final del lenguaje, su estudio como objeto matemático y su impronta en las estructuras del mundo. En esta obra, los autores explican las ideas necesarias de calculabilidad para el teorema de incompletitud de Gödel y luego proveen la demostración del teorema de completitud. Para ello siguen un orden inverso al usual: primero explican las razones filosóficas y matemáticas, luego dan una introducción a las ideas de la teoría de modelos moderna y, por último, ofrecen introducciones muy breves a temas importantes de la lógica matemática contemporánea como son la lógica de haces, la lógica infinitaria, la simbiosis, la lógica de segundo orden, las clases elementales abstractas y la lógica de la dependencia.