Logic and some Applications to Computer Science

dc.contributor.advisor	Carpenter, Richard N., 1937-2018
dc.contributor.author	Arthur, Kenneth W.
dc.date.accessioned	2012-03-01T15:55:18Z
dc.date.available	2012-03-01T15:55:18Z
dc.date.issued	1987
dc.identifier.uri	http://hdl.handle.net/10920/25300
dc.description	129 p.	en_US
dc.description.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.	en_US
dc.format.mimetype	application/pdf
dc.language.iso	en_US	en_US
dc.relation.ispartof	Senior Individualized Projects. Computer Science.
dc.relation.ispartof	Kalamazoo College Computer Science Senior Individualized Projects Collection
dc.rights	U.S. copyright laws protect this material. Commercial use or distribution of this material is not permitted without prior written
dc.title	Logic and some Applications to Computer Science	en_US
dc.type	Thesis	en_US

Computer Science Senior Integrated Projects [269]
This collection includes Senior Integrated Projects (SIP's) completed in the Computer Science Department. Abstracts are generally available to the public, but PDF files are available only to current Kalamazoo College students, faculty, and staff.