Mathematical Logic for Computer Science

Mathematical Logic for Computer Science 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

  • Title: Mathematical Logic for Computer Science
  • Author: Mordechai Ben-Ari
  • ISBN: 9781852333195
  • Page: 174
  • Format: Paperback
  • 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 deductiThis 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.

    One thought on “Mathematical Logic for Computer Science”

    1. I found this quite tough. It builds up automated systems of solving logical equations and as a bonus there is Prolog code for everything that can be coded.Godel's theorem is there but if you page too quickly you will miss it

    Leave a Reply

    Your email address will not be published. Required fields are marked *