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

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

Alchemy Synth Fundamentals in Logic Pro (2016)  eBooks & eLearning

Posted by naag at Oct. 20, 2016
Alchemy Synth Fundamentals in Logic Pro (2016)

Alchemy Synth Fundamentals in Logic Pro
MP4 | Video: AVC 1280x720 | Audio: AAC 44KHz 2ch | Duration: 1.5 Hours | 281 MB
Genre: eLearning | Language: English

Have you ever opened a synth instrument in Logic or another DAW and been overwhelmed by the sheer mass of knobs and dials? This course will teach you how to use them like a pro in Logic's Alchemy synth. Software required: Logic Pro X-10.2.4 or later.

Deep Thinking: What Mathematics Can Teach Us About the Mind  eBooks & eLearning

Posted by tarantoga at Sept. 19, 2016
Deep Thinking: What Mathematics Can Teach Us About the Mind

William Byers, "Deep Thinking: What Mathematics Can Teach Us About the Mind"
ISBN: 9814618039 | 2014 | EPUB | 264 pages | 759 KB

Deep Thinking:What Mathematics Can Teach Us About the Mind  eBooks & eLearning

Posted by Bayron at Sept. 19, 2016
Deep Thinking:What Mathematics Can Teach Us About the Mind

William Byers by William Byers
English | 2014 | ISBN: 9814618039 | 264 pages | PDF | 5 MB