Tags
Language
Tags
April 2024
Su Mo Tu We Th Fr Sa
31 1 2 3 4 5 6
7 8 9 10 11 12 13
14 15 16 17 18 19 20
21 22 23 24 25 26 27
28 29 30 1 2 3 4

Mathematical Logic for Computer Science by Mordechai Ben-Ari

Posted By: Free butterfly
Mathematical Logic for Computer Science by Mordechai Ben-Ari

Mathematical Logic for Computer Science by Mordechai Ben-Ari
English | Feb 2003 | ISBN: 1852333197, 013564139X | 309 Pages | PDF/DJVU | 62/2 MB

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.