INDUSTRIAL MATHEMATICS PRACTICALLY APPLIED

By D. GIZAI

CONTENTS PART I ALGEBRAIC STRUCTURES COMPOSITIONS AND CLONES OF BOOLEAN FUNCTIONS DECOMPOSITION OF BOOLEAN FUNCTIONS PART II LOGIC PROOF THEORY PROBABILISTIC ANALYSIS OF SATIS?ABILITY ALGORITHMS OPTIMIZATION METHODS IN LOGIC PART III LEARNING THEORY AND CRYPTOGRAPHY PROBABILISTIC LEARNING AND BOOLEAN FUNCTIONS LEARNING BOOLEAN FUNCTIONS WITH QUERIES BOOLEAN FUNCTIONS FOR CRYPTOGRAPHY AND ERROR-CORRECTING CODES VECTORIAL BOOLEAN FUNCTIONS FOR CRYPTOGRAPHY PART IV GRAPH REPRESENTATIONS AND EF?CIENT COMPUTATION MODELS BINARY DECISION DIAGRAMS CIRCUIT COMPLEXITY 12 FOURIER TRANSFORMS AND THRESHOLD CIRCUIT COMPLEXITY NEURAL NETWORKS AND BOOLEAN FUNCTIONS 14 DECISION LISTS AND RELATED CLASSES OF BOOLEAN FUNCTIONS PART V APPLICATIONS IN ENGINEERING HARDWARE EQUIVALENCE AND PROPERTY VERI?CATION 16 SYNTHESIS OF MULTILEVEL BOOLEAN NETWORKS 17 BOOLEAN ASPECTS OF NETWORK RELIABILITY