épuisé

Logic for Computer Scientists

Anglais · Livre Relié

Description

En savoir plus


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

Commentaires des clients

Aucune analyse n'a été rédigée sur cet article pour le moment. Sois le premier à donner ton avis et aide les autres utilisateurs à prendre leur décision d'achat.

Écris un commentaire

Super ou nul ? Donne ton propre avis.

Pour les messages à CeDe.ch, veuillez utiliser le formulaire de contact.

Il faut impérativement remplir les champs de saisie marqués d'une *.

En soumettant ce formulaire, tu acceptes notre déclaration de protection des données.