Logic: Reference Book for Computer Scientists: The 2nd Revised, Modified, and Enlarged Edition of “Logics for Computer and Data Sciences, and ... Systems Reference Library, 245, Band 245) - Hardcover

Polkowski, Lech T.

 
9783031420337: Logic: Reference Book for Computer Scientists: The 2nd Revised, Modified, and Enlarged Edition of “Logics for Computer and Data Sciences, and ... Systems Reference Library, 245, Band 245)
Hardcover
ISBN 10: 3031420330 ISBN 13: 9783031420337
Verlag: Springer, 2023

Inhaltsangabe

The book gives all interested in computer science, a deep review of relevant aspects of logic. In its scope are classical and non-classical logics. The content will be valid as well for those interested in linguistic, philosophy and many other areas of research both in humane and technical branches of science as logic permeates all genuine realms of science. The book contains a substantial part of classical results in logic like those by Gödel, Tarski, Church and Rosser as well as later developments like many-valued logics, logics for knowledge engineering, first-order logics plus inductive definitions.

The exposition is rigorous yet without unnecessary abstractionism, so it should be accessible to readers from many disciplines of science. Each chapter contains a problem section, and problems are borrowed from research publications which allows for passing additional information, and it allows readers to test their skills. Extensive bibliography of 270 positions directs readers to research works of importance.


Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorin bzw. den Autor


Von der hinteren Coverseite

The book gives all interested in computer science, a deep review of relevant aspects of logic. In its scope are classical and non-classical logics. The content will be valid as well for those interested in linguistic, philosophy and many other areas of research both in humane and technical branches of science as logic permeates all genuine realms of science. The book contains a substantial part of classical results in logic like those by Gödel, Tarski, Church and Rosser as well as later developments like many-valued logics, logics for knowledge engineering, first-order logics plus inductive definitions.

The exposition is rigorous yet without unnecessary abstractionism, so it should be accessible to readers from many disciplines of science. Each chapter contains a problem section, and problems are borrowed from research publications which allows for passing additional information, and it allows readers to test their skills. Extensive bibliography of 270 positions directs readers to research works of importance.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2023
Sprache
Englisch
ISBN 10 
3031420330
ISBN 13 
9783031420337
Einband
Gebundene Ausgabe
Anzahl der Seiten
494
Kontakt zum Hersteller
Springer Heidelberg
buchhandel-buch@springer.com

Tiergartenstr. 17
Heidelberg
69121
Deutschland

Weitere beliebte Ausgaben desselben Titels

9783031420368: Logic: Reference Book for Computer Scientists: The 2nd Revised, Modified, and Enlarged Edition of “Logics for Computer and Data Sciences, and ... Systems Reference Library, Band 245)

Vorgestellte Ausgabe

ISBN 10:  3031420365 ISBN 13:  9783031420368
Verlag: Springer, 2024
Softcover