Teach Logic

Selected Mathematical Works: Symbolic Logic + The Game of Logic + Feeding the Mind  eBooks & eLearning

Posted by arundhati at May 13, 2015
Selected Mathematical Works: Symbolic Logic + The Game of Logic + Feeding the Mind

Lewis Carroll, "Selected Mathematical Works: Symbolic Logic + The Game of Logic + Feeding the Mind: by Charles Lutwidge Dodgson, alias Lewis Carroll"
2014 | ASIN: B00IWUL0M2, B00IOTAQ26 | 392 pages | EPUB | 1 MB

Mathematical Logic for Computer Science by Mordechai Ben-Ari  eBooks & eLearning

Posted by tanas.olesya at April 11, 2015
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.

The Haskell Road to Logic, Maths and Programming, 2nd Edition (repost)  eBooks & eLearning

Posted by arundhati at May 11, 2014
The Haskell Road to Logic, Maths and Programming, 2nd Edition (repost)

Kees Doets, Jan van Eijck, "The Haskell Road to Logic, Maths and Programming, 2nd Edition"
2004 | ISBN-10: 0954300696 | 450 pages | PDF | 1,4 MB

Mathematical Logic for Computer Science, 3rd edition (repost)  eBooks & eLearning

Posted by fdts at May 8, 2014
Mathematical Logic for Computer Science, 3rd edition (repost)

Mathematical Logic for Computer Science, 3rd edition
by Mordechai Ben-Ari
English | 2012 | ISBN: 1447141288 | 361 pages | PDF | 1.92 MB

Fundamentals of Digital Logic with Verilog Design (3rd edition) [repost]  eBooks & eLearning

Posted by naag at May 10, 2017
Fundamentals of Digital Logic with Verilog Design (3rd edition) [repost]

Fundamentals of Digital Logic with Verilog Design (3rd edition) By Stephen Brown, Zvonko Vranesic
English | 2014 | 864 Pages | ISBN: 0073380547 | PDF | 6 MB

Logicly 1.7.6 (Win/Mac)  Software

Posted by Messer2 at April 15, 2017
Logicly 1.7.6 (Win/Mac)

Logicly 1.7.6 (Win/Mac) | 14 MB / 17 MB

Teach logic gates + digital circuits effectively — with Logicly. Helps you learn or teach logic gates and circuits effectively. Logicly aims to keep students engaged and put them to work on their Physics or Informatics classes. Logicly lets you easily add new elements in your schemes, then helps you draw connections among them.

A Practical Introduction to Fuzzy Logic using LISP [repost]  eBooks & eLearning

Posted by naag at March 14, 2017
A Practical Introduction to Fuzzy Logic using LISP [repost]

A Practical Introduction to Fuzzy Logic using LISP By Luis Argüelles Méndez
2016 | 388 Pages | ISBN: 3319231855 | PDF | 5 MB

An Introduction to the PL/CV2 Programming Logic  eBooks & eLearning

Posted by leonardo78 at Jan. 9, 2017
An Introduction to the PL/CV2 Programming Logic

An Introduction to the PL/CV2 Programming Logic by R. L. Constable, S. D. Johnson, C. D. Eichenlaub
Publisher: Springer | 1982 | ISBN: 3540114920 | 293 pages | DJVU | 2,5 MB

This book is based on the reference manual for the PL/CV Programming Logic and on lecture notes used to teach the logic to first year college students. The Programming Logic consists of a formal system for reasoning about integers, arrays, and programming language commands (in the PL/I dialect called PL/CS). The arguments can be checked by the PL/CV Proof Checker.

Sams Teach Yourself Python in 24 Hours (2nd Edition)  eBooks & eLearning

Posted by Jeembo at Dec. 21, 2016
Sams Teach Yourself Python in 24 Hours (2nd Edition)

Sams Teach Yourself Python in 24 Hours (2nd Edition) by Katie Cunningham
English | 2013 | ISBN: 0672336871 | 320 Pages | EPUB | 32.6 MB

In just 24 sessions of one hour or less, Sams Teach Yourself Python in 24 Hours will help you get started fast, master all the core concepts of programming, and build anything from websites to games.

Kenneth Jenkins - Teach Yourself Algebra for Electronic Circuits [Repost]  eBooks & eLearning

Posted by rotten comics at Nov. 17, 2016
Kenneth Jenkins - Teach Yourself Algebra for Electronic Circuits [Repost]

Kenneth Jenkins - Teach Yourself Algebra for Electronic Circuits
2001 | ISBN: 0071381821 | English | 567 pages | PDF | 11.5 MB