JavaScript is disabled for your browser. Some features of this site may not work without it.
  • About K
  • Academics
  • Admission
  • Alumni Relations
  • Giving to K
  • News & Events
  • Student Life
  • HORNET HIVE
  • ATHLETICS
  • SITEMAP
  • WEBMAIL
    • Login
    View Item 
    •   CACHE Homepage
    • Academic Departments, Programs, and SIPs
    • Computer Science
    • Computer Science Senior Integrated Projects
    • View Item
    •   CACHE Homepage
    • Academic Departments, Programs, and SIPs
    • Computer Science
    • Computer Science Senior Integrated Projects
    • View Item

    Logic and some Applications to Computer Science

    Thumbnail
    View/Open
    Searchable PDF / Kalamazoo College Only (2.819Mb)
    Date
    1987
    Author
    Arthur, Kenneth W.
    Metadata
    Show full item record
    Abstract
    The study of logic has made two important contributions to computer science in general and artificial intelligence in particular. These contributions are logical programming languages and automated reasoning. This paper will introduce both areas. The first section will introduce some appropriate concepts of logic. The next two sections will provide a discussion of predicate calculus, which provides the formal language needed to express problems, and a discussion of the resolution principle, which is the basis of the deduction process. Then, the paper will take a side journey into PROLOG (PROgramming in LOGic) and conclude with a discussion of a program developed at Argonne National Laboratory to aid in the research of automated reasoning.
    URI
    http://hdl.handle.net/10920/25300
    Collections
    • Computer Science Senior Integrated Projects [250]

    Browse

    All of CACHECommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

    My Account

    Login

    DSpace software copyright © 2002-2023  DuraSpace
    DSpace Express is a service operated by 
    Atmire NV
    Logo

    Kalamazoo College
    1200 Academy Street
    Kalamazoo Michigan 49006-3295
    USA
    Info 269-337-7000
    Admission 1-800-253-3602

    About K
    Academics
    Admission
    Alumni Relations
    Giving to K
    News & Events
    Student Life
    Sitemap
    Map & Directions
    Contacts
    Directories
    Nondiscrimination Policy
    Consumer Information
    Official disclaimer
    Search this site


    Academic Calendars
    Apply
    Bookstore
    Crisis Response
    Employment
    Library
    Registrar
    DSpace Express is a service operated by 
    Atmire NV