Introduction to Higher Order Categorical Logic

Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics) by J. Lambek

Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics) by J. Lambek
Cambridge University Press | March 25, 1988 | English | ISBN: 0521356539 | 301 pages | PDF | 32 MB

In this volume, Lambek and Scott reconcile two different viewpoints of the foundations of mathematics, namely mathematical logic and category theory. In Part I, they show that typed lambda-calculi, a formulation of higher-order logic, and cartesian closed categories, are essentially the same.
Guide to Discrete Mathematics: An Accessible Introduction to the History, Theory, Logic and Applications

Guide to Discrete Mathematics: An Accessible Introduction to the History, Theory, Logic and Applications By Gerard O'Regan
English | EPUB | 2016 | 368 Pages | ISBN : 331944560X | 2.71 MB

This stimulating textbook presents a broad and accessible guide to the fundamentals of discrete mathematics, highlighting how the techniques may be applied to various exciting areas in computing.

Introduction to PLC's [Programmable Logic Controllers]  eBooks & eLearning

Posted by naag at Feb. 10, 2017
Introduction to PLC's [Programmable Logic Controllers]

Introduction to PLC's [Programmable Logic Controllers]
MP4 | Video: AVC 1280x720 | Audio: AAC 44KHz 2ch | Duration: 35M | Lec: 7 | 209 MB
Genre: eLearning | Language: English

This course is a basic introduction to the world of Programmable Logic Controllers.

Introduction To Type-2 Fuzzy Logic Control: Theory and Applications  eBooks & eLearning

Posted by DZ123 at Feb. 9, 2017
Introduction To Type-2 Fuzzy Logic Control: Theory and Applications

Jerry Mendel, Hani Hagras, Woei-Wan Tan, "Introduction To Type-2 Fuzzy Logic Control: Theory and Applications"
English | 2014 | ISBN: 1118278399 | PDF | pages: 377 | 5.3 mb
Guide to Discrete Mathematics: An Accessible Introduction to the History, Theory, Logic and Applications

Guide to Discrete Mathematics: An Accessible Introduction to the History, Theory, Logic and Applications
Gerard O'Regan | 2016 | PDF | ISBN: 331944560X | 368 pages | 7 Mb

Logic Pro X: Introduction to Making Beats in Logic Pro X  eBooks & eLearning

Posted by naag at June 13, 2016
Logic Pro X: Introduction to Making Beats in Logic Pro X

Logic Pro X: Introduction to Making Beats in Logic Pro X
MP4 | Video: AVC 1280x720 | Audio: AAC 44KHz 2ch | Duration: 1.5 Hours | 600 MB
Genre: eLearning | Language: English

Learn how to use Logic Pro X to make beats.

Introduction to VLSI Systems: A Logic, Circuit, and System Perspective  eBooks & eLearning

Posted by nebulae at May 9, 2015
Introduction to VLSI Systems: A Logic, Circuit, and System Perspective

Ming-Bo Lin, "Introduction to VLSI Systems: A Logic, Circuit, and System Perspective"
English | ISBN: 143986859X | 2012 | 915 pages | PDF | 10 MB

Introduction to Calculus and Analysis: Volume I and II  eBooks & eLearning

Posted by fdts at March 25, 2015
Introduction to Calculus and Analysis: Volume I and II

Introduction to Calculus and Analysis: Volume I and II
by Richard Courant, Fritz John
English | 2011 | ISBN: 1461389577, 1461389607 | 661 + 954 pages | PDF | 21 + 19.72 MB

Easy as Pi?: An Introduction to Higher Mathematics  eBooks & eLearning

Posted by step778 at Jan. 27, 2015
Easy as Pi?: An Introduction to Higher Mathematics

Oleg A. Ivanov, R.G. Burns, "Easy as Pi?: An Introduction to Higher Mathematics"
1999 | pages: 206 | ISBN: 0387985212 | PDF | 10,2 mb
America's Secret Establishment: An Introduction to the Order of Skull & Bones (repost)

America's Secret Establishment: An Introduction to the Order of Skull & Bones by Antony C. Sutton
Trine Day | April 1, 2003 | English | ISBN: 0972020705 | 335 pages | PDF | 11 MB

For 170 years they have met in secret. From out of their initiates come presidents, senators, judges, cabinet secretaries, and plenty of spooks. They are the titans of finance and industry and have now installed a third member as United States President George W. Bush. This intriguing behind-the-scenes look documents Yale's secretive society, the Order of the Skull and Bones, and its prominent members, numbering among them Tafts, Rockefellers, Pillsburys, and Bushes. Far from being a campus fraternity, the society is more concerned with the success of its members in the post-collegiate world. Included are a verified membership list, rare reprints of original Order materials revealing the interlocking power centers dominated by Bonesmen, and a peek inside the Tomb, their 140-year-old private clubhouse.