Posted by **tanas.olesya** at April 11, 2015

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.

Posted by **fdts** at May 8, 2014

by Mordechai Ben-Ari

English | 2012 | ISBN: 1447141288 | 361 pages | PDF | 1.92 MB

Posted by **interes** at Feb. 7, 2016

English | 2014 | ISBN: 1429215100 | 784 pages | PDF | 21,8 MB

Posted by **Bayron** at Jan. 10, 2016

English | 2014 | ISBN: 1429215100 | 784 pages | PDF | 22 MB

Posted by **thingska** at Jan. 7, 2016

English | July 7, 2006 | ISBN: 071676864X | 820 Pages | PDF | 132.2 MB

Posted by **interes** at Nov. 16, 2015

English | ISBN: 1848213018 | 2011 | PDF | 544 pages | 5,1 MB

Posted by **ChrisRedfield** at Jan. 13, 2014

Published: 2002-07-19 | ISBN: 0716743582 | PDF | 800 pages | 31 MB

Posted by **Grev27** at April 24, 2013

English | ISBN: 1848213018 | 2011 | PDF | 544 pages | 5,1 MB

Posted by **FenixN** at Jan. 31, 2016

DVDRips | FLV/AVC, ~250 kb/s | 374x210 | Duration: N/A | English: AAC, 48.0 KHz (2 ch) | + PDF Guides | 1.67 GB

Featuring recorded lectures from the Harvard School of Engineering and Applied Sciences course Computer Science 20, this course covers widely applicable mathematical tools for computer science, including topics from logic, set theory, combinatorics, number theory, probability theory, and graph theory. It includes practice in reasoning formally and proving theorems. Students meet twice a week via web conference to solve problems collaboratively.

Posted by **DZ123** at Jan. 8, 2017

English | 1991 | ISBN: 1461277922 | DJVU | pages: 433 | 3.2 mb