Text

Mathematical logic for computer science. Second Edition

This is a mathematics textbook with theorems and proofs. The choice of topics has been guided by the needs of computer science students. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and yet sufficiently elementary for undergraduates. In order to provide a balanced treatment of logic, tableaux are related to deductive proof systems. The book presents various logical systems and contains exercises. Still further, Prolog source code is available on an accompanying Web site. The author is an Associate Professor at the Department of Science Teaching, Weizmann Institute of Science.

Availability

Detail Information

Series Title

-

Call Number

511.321 Ben m

Publisher

London : Springer., 2001

Collation

xiv, 304 hlm. : ilus. ; 24 cm.

Language

English

ISBN/ISSN

1852333197

Classification

511.321

Content Type

-

Media Type

-

Carrier Type

-

Edition

Second Edition

Subject(s)

FUZZY SETS, SET THEORY

Specific Detail Info

-

Statement of Responsibility

-

Other version/related

File Attachment