31 search results - page 4 / 7 » Introduction to Logic |
KER
2007
15 years 3 months ago
2007
41
Voted
CORR
2010
Springer
15 years 20 days ago
2010
Springer
68
Voted
CORR
2011
Springer
14 years 10 months ago
2011
Springer
218
click to vote
Book
This book covers the following topics: The biological paradigm, Threshold logic, Weighted Networks, The Perceptron, Perceptron learning, Unsupervised learning and clustering algori...
142
click to vote
JAR
2010
15 years 1 months ago
2010
Meta-logics and type systems based on intuitionistic logic are commonly used for specifying natural deduction proof systems. We shall show here that linear logic can be used as a m...