Kontakt
Kako kupovati
Dostava
Savjetnik za kupnju
Introducción a la teoría de la lógica
Španjolski
76 b
Do 30 dana za povrat
Kupci su kupili i
/
Meki uvez
14.50
€
/
Meki uvez
57.12
€
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.
Informacije o knjizi
Španjolski
Kategorija
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimcaMoglo bi vas zanimati i
/
Knjiga
43.82
€
/
Meki uvez
17.42
€
/
Meki uvez
61.25
€
/
Meki uvez
22.46
€
Dobar dan! Ja sam Libroamiko, vaš književni savjetnik.
Kako vam mogu pomoći?