Three Views of Logic : Mathematics, Philosophy, and Computer Science.

Mostrar otras versiones (1)

Demonstrating the different roles that logic plays in the disciplines of computer science, mathematics, and philosophy, this concise undergraduate textbook covers select topics from three different areas of logic: proof theory, computability theory, and nonclassical logic. The book balances accessib...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Loveland, Donald W.
Otros Autores: Hodel, Richard E., Sterrett, S. G.
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Princeton : Princeton University Press, 2014.
Temas:
Proof theory.
Computable functions.
Nonclassical mathematical logic.
Théorie de la preuve.
Fonctions calculables.
Logique mathématique non classique.
MATHEMATICS > General.
MATHEMATICS > Linear & Nonlinear Programming.
Berechenbarkeit
Beweistheorie
Nichtklassische Logik
Acceso en línea:Texto completo
Descripción
Sumario:Demonstrating the different roles that logic plays in the disciplines of computer science, mathematics, and philosophy, this concise undergraduate textbook covers select topics from three different areas of logic: proof theory, computability theory, and nonclassical logic. The book balances accessibility, breadth, and rigor, and is designed so that its materials will fit into a single semester. Its distinctive presentation of traditional logic material will enhance readers' capabilities and mathematical maturity. The proof theory portion presents classical propositional logic and fir.
Descripción Física:1 online resource (339 pages)
Bibliografía:Includes bibliographical references at the end of each chapters and index.
ISBN:9781400848751
140084875X
9780691160443
0691160449

Ejemplares similares