Logic for Computer Scientists

Dieses Buch stellt die Notationen und Methoden der formalen Logik vom Standpunkt des Informatikers aus dar. Themen wie Aussagenlogik, Prädikatenlogik und Grundlagen der logischen Programmierung werden behandelt. Moderne Anwendungen und Themengebiete der aktuellen Informatik werden vorgestellt, z.B. Unschärfelogik, Automatisches Schlußfolgern, und Logikprogrammierung. Abgerundet wird das Werk durch zahlreiche Übungen und eine aktuelle Biographie. This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations of logic programming. It presents such modern applications and themes of current computer science research as resolution, automated deduction and logic programming in a rigorous but readable way. The style ans scope, rounded out by the inclusion of exercises and an up-to-date list of references, make this a textbook for an advanced undergraduate course in logic for computerscientists.

A propos de l'auteur

Prof. Dr. Uwe Schöning ist Leiter der Abteilung Theoretische Informatik der Universität Ulm.

Détails du produit

• Auteurs: Uwe Schöning
• Edition: Springer Basel
• Langues: Anglais
• Format d'édition: Livre Relié
• Sortie: 01.01.1989
• EAN: 9780817634537
• ISBN: 978-0-8176-3453-7
• Pages: 166
• Poids: 424 g
• Illustrations: w. 34 ill.
• Thème: Progress in Computer Science and Applied Logic
• Catégorie: Sciences naturelles, médecine, informatique, technique > Informatique, ordinateurs > Informatique