Mathematical logic for computer science

Mathematical logic for computer science

by Ben-Ari, M.

Type Book
Rate 0.0 /5

Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of students of computer science. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and easy to understand. The uniform use of tableaux-based techniques facilitates learning advanced logical systems based on what the student has learned from elementary systems. The logical systems presented are: pro…

Read More ↓
Details
Files
Reviews
Download

Title Statements

  • Full title :Mathematical logic for computer science / Mordechai Ben-Ari.

Summary

Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of students of computer science. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and easy to understand. The uniform use of tableaux-based techniques facilitates learning advanced logical systems based on what the student has learned from elementary systems. The logical systems presented are: propositional logic, first-order logic, resolution and its application to logic programming, Hoare logic.

Read More ↓

Edition Statements

  • Publication Date:2012.
  • Edition:3rd ed

Publication Statements

  • Publisher(s):Springer
  • Place of Publication:London
  • Language:eng
  • Publication Date:2012.

The Physical Object

  • Description:1 online resource

Edition Identifiers

Subjects

BCS 201 Computer programming -- software engine… computer sciences computerwetenschappen Informatie- en communicatietechnologie … Information and Communication Technolog… Informatique Logic Logic, Symbolic and mathematical logica Logique symbolique et mathématique Mathematical foundations Mathematical logic Mathematical theory of computation mathematics wiskunde

Writers

Ben-Ari, M.

Rate & Review

0.0/5
(0 people Voted)

No reviews yet. Be the first to rate this work.

Files & Downloads

  • Mathematical Logic for Computer Science -- (.pdf)

    PDF · 1.8 MB · updated
    Login →

  • Mathematical Logic for Computer Science -- (.pdf)

    PDF · 13.0 MB · updated
    Login →

  • Mathematical Logic for Computer Science -- (.pdf)

    PDF · 3.1 MB · updated
    Login →