The Automation of Syllogistic, Vol. 2 (Classic Reprint): Optimization and Complexity Issues: Optimization and Complexity Issues (Classic Reprint) - Softcover

Cantone, D.

Softcover

ISBN 10: 1334016011 ISBN 13: 9781334016011

Verlag: Forgotten Books, 2018

Inhaltsangabe

This book introduces a series of mathematical formulas and techniques for evaluating set theories. These theories, called syllogistic schemes, are applicable to any finite collection of set variables, and easily demonstrate the satisfiability, or truth, of each. It has been shown that any formula can be broken down as a disjunction of syllogistic formulas. The initial part of this book focuses on refining the algorithm outlined above, while the second half explores complexity issues related to classes of set-theoretic formulas. The author proves that if a set of syllogistic schemes is non-empty, then it contains at least one minimum effort scheme, and that in order to check for satisfiability, only such schemes need to be sought. This search, though it involves backtracking, can be piloted quite effectively. This book will be of interest to mathematicians, logicians, and computer scientists.

Details zur Ausgabe

• Verlag: Forgotten Books
• Erscheinungsdatum: 2018
• Sprache: Englisch
• ISBN 10: 1334016011
• ISBN 13: 9781334016011
• Einband: Tapa blanda
• Anzahl der Seiten: 25
• Kontakt zum Hersteller: Copytech (UK) Ltd, Trading as Printondemand-worldwide.com; gpsr@podww.com; ; 9 Culley Court; Orton Southgate; Peterborough; Cambridgeshire; PE2 6WA; Vereinigtes Königreich
• Verantwortliche Person: Easy Access System Europe Oü, 16879218; +358405003575; gpsr.requests@easproject.com; ; Mustamäe tee 50; Tallinn; 10621; Estland