Logic for computer scientists (Q5905500): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Added link to MaRDI item.
links / mardi / namelinks / mardi / name
 

Revision as of 05:26, 31 January 2024

scientific article; zbMATH DE number 52797
Language Label Description Also known as
English
Logic for computer scientists
scientific article; zbMATH DE number 52797

    Statements

    Logic for computer scientists (English)
    0 references
    0 references
    18 September 1992
    0 references
    (See also the review of the German original [Mannheim (1987; Zbl 0637.03002)].) This book concentrates on those aspects of mathematical logic which have strong connections with different topics in computer science, especially automated deduction, logic programming, program verification and semantics of programming languages. In the first chapter, the main concepts and results concerning propositional logic are introduced, emphasising some typical aspects related to resolution-based theorem proving. The fundamentals of predicate logic are presented in the next chapter; some specific aspects for computer science, such as undecidability, Herbrand theorem, the principle of Robinson resolution and some of its refinements, are developed to some extent. The third chapter of the book presents an introduction to the fascinating area of logic programming. Although it is not intended to be a first course in PROLOG, a well-founded theoretical framework for understanding logic programming is realised here. The main features of SLD-resolution are pointed out. The numerous exercises and illustrative examples contribute to a great extent to a better understanding of different concepts and results. The book can be successfully used as a handbook for an introductory course in artificial intelligence.
    0 references
    automated deduction
    0 references
    logic programming
    0 references
    program verification
    0 references
    semantics of programming languages
    0 references
    propositional logic
    0 references
    resolution-based theorem proving
    0 references
    predicate logic
    0 references
    PROLOG
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references