PortadaGruposCharlasMásPanorama actual
Buscar en el sitio
Este sitio utiliza cookies para ofrecer nuestros servicios, mejorar el rendimiento, análisis y (si no estás registrado) publicidad. Al usar LibraryThing reconoces que has leído y comprendido nuestros términos de servicio y política de privacidad. El uso del sitio y de los servicios está sujeto a estas políticas y términos.

Resultados de Google Books

Pulse en una miniatura para ir a Google Books.

Cargando...

Intermediate Logic

por David Bostock

MiembrosReseñasPopularidadValoración promediaConversaciones
47Ninguno537,674NingunoNinguno
Intermediate Logic is an ideal text for anyone who has taken a first course in logic and is progressing to further study. It examines logical theory, rather than the applications of logic, and does not assume any specific technological grounding. The author introduces and explains eachconcept and term, ensuring that readers have a firm foundation for study. He provides a broad, deep understanding of logic by adopting and comparing a variety of different methods and approaches.In the first section, Bostock covers such fundamental notions as truth, validity, entailment, quantification, and decision procedures. Part two lays out a definitive introduction to four key logical tools or procedures: semantic tableaux, axiomatic proofs, natural deduction, and sequent calculi.The final section opens up new areas of existence and identity, concluding by moving from orthodox logic to examination of `free logic'.Intermediate Logic provides an ideal secondary course in logic for university students, and a bridge to advanced study of such subjects as model theory, proof theory, and other specialized areas of mathematical logic.… (más)
Ninguno
Cargando...

Inscríbete en LibraryThing para averiguar si este libro te gustará.

Actualmente no hay Conversaciones sobre este libro.

Ninguna reseña
sin reseñas | añadir una reseña
Debes iniciar sesión para editar los datos de Conocimiento Común.
Para más ayuda, consulta la página de ayuda de Conocimiento Común.
Título canónico
Título original
Títulos alternativos
Fecha de publicación original
Personas/Personajes
Lugares importantes
Acontecimientos importantes
Películas relacionadas
Epígrafe
Dedicatoria
Primeras palabras
Citas
Últimas palabras
Aviso de desambiguación
Editores de la editorial
Blurbistas
Idioma original
DDC/MDS Canónico
LCC canónico

Referencias a esta obra en fuentes externas.

Wikipedia en inglés

Ninguno

Intermediate Logic is an ideal text for anyone who has taken a first course in logic and is progressing to further study. It examines logical theory, rather than the applications of logic, and does not assume any specific technological grounding. The author introduces and explains eachconcept and term, ensuring that readers have a firm foundation for study. He provides a broad, deep understanding of logic by adopting and comparing a variety of different methods and approaches.In the first section, Bostock covers such fundamental notions as truth, validity, entailment, quantification, and decision procedures. Part two lays out a definitive introduction to four key logical tools or procedures: semantic tableaux, axiomatic proofs, natural deduction, and sequent calculi.The final section opens up new areas of existence and identity, concluding by moving from orthodox logic to examination of `free logic'.Intermediate Logic provides an ideal secondary course in logic for university students, and a bridge to advanced study of such subjects as model theory, proof theory, and other specialized areas of mathematical logic.

No se han encontrado descripciones de biblioteca.

Descripción del libro
Resumen Haiku

Debates activos

Ninguno

Cubiertas populares

Enlaces rápidos

Géneros

Sistema Decimal Melvil (DDC)

160Philosophy and Psychology Logic Logic

Clasificación de la Biblioteca del Congreso

Valoración

Promedio: No hay valoraciones.

¿Eres tú?

Conviértete en un Autor de LibraryThing.

 

Acerca de | Contactar | LibraryThing.com | Privacidad/Condiciones | Ayuda/Preguntas frecuentes | Blog | Tienda | APIs | TinyCat | Bibliotecas heredadas | Primeros reseñadores | Conocimiento común | 203,194,360 libros! | Barra superior: Siempre visible