Logic

Logic in Tehran: Proceedings of the Workshop and Conference on Logic, Algebra, and Arithmetic

Ali Enayat, Iraj Kalantari, "Logic in Tehran: Proceedings of the Workshop and Conference on Logic, Algebra, and Arithmetic, held October 18-22, 2003, Lecture Notes in Logic 26"
2006 | ISBN-10: 1568812965, 1568812957 | 361 pages | PDF | 112 MB

Fuzzy Logic for Image Processing: A Gentle Introduction Using Java  eBooks & eLearning

Posted by Underaglassmoon at Sept. 22, 2016
Fuzzy Logic for Image Processing: A Gentle Introduction Using Java

Fuzzy Logic for Image Processing: A Gentle Introduction Using Java
Springer | Signals & Communication | October 18, 2016 | ISBN-10: 3319441280 | 138 pages | pdf | 5.43 mb

Authors: Caponetti, Laura, Castellano, Giovanna
Covers the most state-of-the-art topics in fuzzy logic as it pertains to image processing
Presents a concise introduction to image processing algorithms based on fuzzy logic
Outlines image processing tasks such as thresholding, enhancement, edge detection, morphological filters, and segmentation in relation to fuzzy logic

Introduction to Logic Circuits & Logic Design with VHDL  eBooks & eLearning

Posted by Underaglassmoon at Sept. 17, 2016
Introduction to Logic Circuits & Logic Design with VHDL

Introduction to Logic Circuits & Logic Design with VHDL
Springer | Circuits & Systems | October 17, 2016 | ISBN-10: 3319341944 | 475 pages | pdf | 47.87 mb

Authors: LaMeres, Brock J.
Written the way the material is taught, enabling a bottom-up approach to learning which culminates with a high-level of learning, with a solid foundation
Emphasizes examples from which students can learn: contains a solved example for nearly every section in the book
Includes more than 600 exercise problems, as well as concept check questions for each section, tied directly to specific learning outcomes
Socratic Logic: A Logic Text using Socratic Method, Platonic Questions, and Aristotelian Principles

Peter Kreeft, "Socratic Logic: A Logic Text using Socratic Method, Platonic Questions, and Aristotelian Principles"
2010 | 3rd Edition | ISBN-10: 1587318083 | 410 pages | PDF | 60 MB

Logic, Language, and Meaning, Volume 1: Introduction to Logic  eBooks & eLearning

Posted by step778 at Sept. 7, 2016
Logic, Language, and Meaning, Volume 1: Introduction to Logic

L. T. F. Gamut, "Logic, Language, and Meaning, Volume 1: Introduction to Logic"
1990 | pages: 298 | ISBN: 0226280853 | DJVU | 2,2 mb

Creative Mix Automation Workflows in Logic Pro X (2016)  eBooks & eLearning

Posted by ParRus at Aug. 27, 2016
Creative Mix Automation Workflows in Logic Pro X (2016)

Creative Mix Automation Workflows in Logic Pro X
WEBRip | English | MP4 | 1280 x 720 | AVC ~2304 kbps | 29.970 fps
AAC | 60.7 Kbps | 44.1 KHz | 2 channels | 01:20:19 | 1.4 GB
Genre: Video Tutorial / Sound Processing

Learn How The Pro’s Apply Automation To Get Creative Results Automation is one of the principal tools in your mixing kit. With skilled application you can add a lot of add the shading and movement that transforms a good track into a musical journey for your listeners. In this 9-part intermediate course, ADSR instructor Stephen Ellestad takes you through the most effective creative techniques for applying automation using Logic Pro X. From the basics, to useable techniques, right through to a discussion of the bigger picture.

Fork Algebras in Algebra, Logic and Computer Science (Advances in Logic)  eBooks & eLearning

Posted by Underaglassmoon at Jan. 3, 2015
Fork Algebras in Algebra, Logic and Computer Science (Advances in Logic)

Fork Algebras in Algebra, Logic and Computer Science (Advances in Logic)
English | Mathematics | 1. August 2002 | ISBN-10: 9810248768 | 217 pages | pdf | 6.5 mb

Fork algebras are a formalism based on the relational calculus, with interesting algebraic and metalogical properties. Their representability is especially appealing in computer science, since it allows a closer relationship between their language and models.

A Friendly Introduction to Mathematical Logic  eBooks & eLearning

Posted by MoneyRich at Nov. 30, 2016
A Friendly Introduction to Mathematical Logic

A Friendly Introduction to Mathematical Logic by Christopher C. Leary
English | 2000 | ISBN: 0130107050 | ASIN: B007BNIXL2 | 241 Pages | PDF | 7 MB

This book covers the central topics of first-order mathematical logic in a way that can reasonably be completed in a single semester. FVom the core ideas of languages, structures, and deductions we move on to prove the Soundness and Completeness Theorems, the Compactness Theorem, and Godel's First and Second Incompleteness Theorems. There is an introduction to some topics in model theory along the way, but I have tried to keep the text tightly focused.

Payoff: The Hidden Logic That Shapes Our Motivations  eBooks & eLearning

Posted by Bayron at Nov. 20, 2016
Payoff: The Hidden Logic That Shapes Our Motivations

Payoff: The Hidden Logic That Shapes Our Motivations by Dan Ariely
English | 2016 | ISBN: 1501120042 | 128 pages | EPUB | 1,7 MB

Subjective Logic: A Formalism for Reasoning Under Uncertainty  eBooks & eLearning

Posted by arundhati at Nov. 20, 2016
Subjective Logic: A Formalism for Reasoning Under Uncertainty

Audun Jøsang, "Subjective Logic: A Formalism for Reasoning Under Uncertainty"
2016 | ISBN-10: 3319423355 | 337 pages | PDF | 10 MB