Search Results: 'formal logic'

Search

×
×
×
×
20 results for "formal logic"
The Relation Between Formal Science and Natural Science By Pedro M. Rosario Barbosa
Paperback: $15.00
Ships in 3-5 business days.
This book forms part of the "Underdetermination of Science Project", and uses Husserl's philosophy of mathematics to refute W. V. O. Quine's rejection of analytic and synthetic dichotomy,... More > and the assertion that logic and mathematics can be revised in light of recalcitrant sense-experience.< Less
Formal-graphische Darstellungen von Syllogismen By Philipp Hofmann
Paperback: $22.05
Ships in 3-5 business days.
Inquiry on the conditions of possibilities of formal-graphic representation of syllogisms (aristotelic reasoning)
The Action as Natural Force and the Origin of Time, Space, Dimensions, Natural Forces, and Laws of Logics, Geometry and Physics at the Origination of the World By Werner Landgraf
eBook (PDF): $0.00
Download immediately.
The Action World Model contains a plausible description of the origination of the World, according to which, starting from the most simple condition of an inside itself logically necessary... More > affirmation of its own existence, everything will be effectuated successively, so that its logical, geometrical and physical properties are aspects of the realization or aftereffects of primordial facts, without that this would exclude any external creation. The first dimensions with their natural constants which characterize them formally and subjectively, are: Number of produced Facts and Action, with single events and elementary action; Time and Energy, with their elementary units; Speed or Extension and Impulse, with the light speed and elementary length; Curvature or two Spatial Directions with gravitational constant, and by their corresponding primary natural forces are constituted these familiar for us.< Less
The Action as Natural Force and the Origin of Time, Space, Dimensions, Natural Forces, and Laws of Logics, Geometry and Physics at the Origination of the World By Werner Landgraf
eBook (PDF): $0.00
Download immediately.
The Action World Model contains a plausible description of the origination of the World, according to which, starting from the most simple condition of an inside itself logically necessary... More > affirmation of its own existence, everything will be effectuated successively, so that its logical, geometrical and physical properties are aspects of the realization or aftereffects of primordial facts, without that this would exclude any external creation. The first dimensions with their natural constants which characterize them formally and subjectively, are: Number of produced Facts and Action, with single events and elementary action; Time and Energy, with their elementary units; Speed or Extension and Impulse, with the light speed and elementary length; Curvature or two Spatial Directions with gravitational constant, and by their corresponding primary natural forces are constituted these familiar for us.< Less
Constructive Analysis and Synthesis of Programs By Marco Benini
Hardcover: $29.90
Ships in 6-8 business days.
Starting from the analysis of the problem behind formal verification of programs and showing the need for automatic synthesis and analysis of computer programs, the book presents the logical systems... More > to reason about programs, the way to encode specifications so to enable their computational reading. Then, the mathematics behind synthesis and analysis of computer programs is developed in depth.< Less
Foundations of Computation By David Eck, Carol Critchlow
Paperback: $9.62
Ships in 3-5 business days.
Foundations of Computation is a textbook for a one semester introductory course in theoretical computer science. It includes topics from discrete mathematics, automata theory, formal language... More > theory, and the theory of computation, along with practical applications to computer science. It has no prerequisites other than a general familiarity with computer programming. More information is available at http://math.hws.edu/FoundationsOfComputation. Version 2.3, Summer 2010, offered minor updates and corrections from Version 2.2, plus a new section on pushdown automata. Version 2.3.1, Summer 2011, is an even smaller update, with one new proof and a few corrections.< Less
Foundations of Computation By Carol Critchlow, David Eck
eBook (PDF): $0.00
Download immediately.
(1 Ratings)
Foundations of Computation is a textbook for a one semester introductory course in theoretical computer science. It includes topics from discrete mathematics, automata theory, formal language... More > theory, and the theory of computation, along with practical applications to computer science. It has no prerequisites other than a general familiarity with computer programming. More information is available at http://math.hws.edu/FoundationsOfComputation. Version 2.3, Summer 2010, offered minor updates and corrections from Version 2.2, plus a new section on pushdown automata. Version 2.3.1, Summer 2011, is an even smaller update, with one new proof and a few corrections.< Less
Automating Manufacturing Systems with PLCs By Hugh Jack
Hardcover: $79.99
Ships in 6-8 business days.
An in depth examination of manufacturing control systems using structured design methods. Topics include ladder logic and other IEC 61131 standards, wiring, communication, analog IO, structured... More > programming, and communications. Allen Bradley PLCs are used extensively through the book, but the formal design methods are applicable to most other PLC brands. A full version of the book and other materials are available on-line at http://engineeronadisk.com< Less
NEGATIVES AND PSEUDO-NEGATIVES IN BENGALI By ARKO CHAKRABORTY
Paperback: List Price: $14.28 $12.85 | You Save: 10%
Ships in 3-5 business days.
(1 Ratings)
The book is a work of Linguistics dealing with the patterns of negation (covert and overt) in Bangla (or Bengali) language chiefly from a Semantic and Pragmatic point of view.
NEGATIVES AND PSEUDO-NEGATIVES IN BENGALI By ARKO CHAKRABORTY
eBook (PDF): $3.99
Download immediately.
(1 Ratings)
The book is a work of Linguistics dealing with the patterns of negation (covert and overt) in Bangla (or Bengali) language chiefly from a Semantic and Pragmatic point of view.

Top 10

see more >
 
 
 
2
 
 
 
 
 
 
7
 
Age Verification Required