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.

An Introduction to Probability and Inductive Logic  eBooks & eLearning

Posted by step778 at May 19, 2017
An Introduction to Probability and Inductive Logic

Ian Hacking, "An Introduction to Probability and Inductive Logic"
2001 | pages: 322 | ISBN: 0521775019 | DJVU | 3,2 mb
Ranking and Prioritization for Multi-indicator Systems: Introduction to Partial Order Applications

Ranking and Prioritization for Multi-indicator Systems: Introduction to Partial Order Applications By Rainer Brüggemann, Ganapati P. Patil
English | PDF | 2011 | 347 Pages | ISBN : 1441984763 | 8.61 MB

Ranking issues are found everywhere. For example, bank houses, universities, towns, watersheds etc. are ranked. But also assessment of students in one discipline is a ranking. This last example is trivial, because we have only one criterion, namely the quality of the student in that discipline. In the other cases ranking can be a very hard job.
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