• INTRODUCCIÓN A LA TEORÍA DE LA LÓGICA

    ZALABARDO, JOSÉ LUIS ALIANZA EDITORIAL S.A Ref. 9788420678856 Ver otros productos de la misma colección Ver otros productos del mismo autor
    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 ...
    Dimensions: 245 x 175 x 25 cm Peso: 477 gr
    Disponible en 7 dies
    26,40 €
  • Descripció

    • ISBN : 978-84-206-7885-6
    • Data d'edició : 01/09/2002
    • Any d'edició : 2002
    • Idioma : Español, Castellano
    • Autors : ZALABARDO, JOSÉ LUIS
    • Nº de pàgines : 368
    • Colecció : FILOSOFÍA Y PENSAMIENTO
    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.

Aquest lloc web emmagatzema dades com galetes per habilitar la funcionalitat necessària de el lloc, inclosos anàlisi i personalització. Podeu canviar la seva configuració en qualsevol moment o acceptar els paràmetres per defecte.

política de cookies

Essencials

Les galetes necessàries ajuden a fer una pàgina web utilitzable activant funcions bàsiques com la navegació a la pàgina i l'accés a àrees segures de la pàgina web. La pàgina web no pot funcionar adequadament sense aquestes galetes.


Personalització

Les galetes de personalització permeten a la pàgina web recordar informació que canvia la forma en què la pàgina es comporta o l'aspecte que té, com el seu idioma preferit o la regió en la qual vostè es troba.


Anàlisi

Les galetes estadístiques ajuden als propietaris de pàgines web a comprendre com interactuen els visitants amb les pàgines web reunint i proporcionant informació de forma anònima.


Marketing

Les galetes de màrqueting s'utilitzen per rastrejar als visitants en les pàgines web. La intenció és mostrar anuncis rellevants i atractius per a l'usuari individual, i per tant, més valuosos per als editors i tercers anunciants.