• INTRODUCIËN A LA TEOR-A DE LA LË

    ZABARDO GARCÝA-MURO, ALIANZA Ref. 9788420678856 Veure altres productes de la mateixa col·lecció Altres llibres del mateix 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
    Consultar per email abans de fer comanda
    29,95 €
  • Descripció

    • ISBN : 978-84-206-7885-6
    • Data d'edició : 01/09/2002
    • Any d'edició : 2002
    • Idioma : Español, Castellano
    • Autors : ZABARDO GARCÝA-MURO,
    • Nombre de pàgines : 368
    • Col·lecció : EL LIBRO UNIVERSITARIO - MANUALES
    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.


Subscriu-te al nostre butlletí

Subscriu-te i rebràs totes les nostres novetats. Cero SPAM, només continguts de valor.
He llegit, comprenc i accepto la política de privacitat
Informació sobre el tractament de dades