登入

跳至 : 概要書目資訊主題

Algebra, Boolean.

概要

作品:	32 作品在 15 項出版品 15 種語言

書目資訊

ABC's of Boolean algebra. by: (書目-語言資料,印刷品)

Schaum's outline of theory and problems of set theory and related topics / by: (書目-語言資料,印刷品)

Stone spaces / by: (書目-語言資料,印刷品)

Operator algebras generated by commuting projections : = a vector measure approach / by: (書目-語言資料,印刷品)

Sentential probability logic = origins, development, current status, and technical applications / by: (書目-語言資料,印刷品)

Bridging constraint satisfaction and Boolean satisfiability by: (書目-電子資源)

Bent functions = results and applications to cryptography / by: (書目-電子資源)

Bent functions = fundamentals and results / by: (書目-電子資源)

Logic functions and equations = fundamentals and applications using the XBOOLE-Monitor / by: (書目-電子資源)

Analytic quotients : = theory of liftings for quotients over analytic ideals on the integers / by: (書目-語言資料,印刷品)

主題

Topology.

Lifting theory.

Mathematical Logic and Foundations.

Computer algorithms.

Complex Systems.

Associative Rings and Algebras.

Theory of Computation.

Data Structures, Cryptology and Information Theory.

Switching theory.

Algebra.

Algebraic logic.

Semantics.

Decision trees.

Engineering Design.

Computational complexity.

Functor theory.

Combinatorics.

Mathematics of Computing.

Algebraic functions.

Probability Theory and Stochastic Processes.

Logic, Symbolic and mathematical.

Machine theory.

Algebra, Boolean.

Operator algebras.

Vector valued functions.

Definiteness (Linguistics)

Logic design- Mathematics.

Electronics and Microelectronics, Instrumentation.

Contraintes (Intelligence artificielle)

Cardinal numbers.

Axiomatic set theory.

Complexity.

Algebraic Geometry.

Artificial Intelligence (incl. Robotics)

History and Philosophical Foundations of Physics.

Set theory.

Grammar, Comparative and general- Coordinate construction.

Decision making- Mathematical models.

Mathematics.

Computer software- Verification.

Integrated circuits- Verification.

Integrated circuits- Testing.

Processor Architectures.

Data encryption (Computer science)

Physics- Philosophy.

Logic Design.

Circuits and Systems.

Category Theory, Homological Algebra.

Dynamical Systems and Ergodic Theory.

Linear and Multilinear Algebras, Matrix Theory.

Coding and Information Theory.

Epistemology.

Functions.

Probabilities.

Proof theory.

Constraints (Artificial intelligence)

Order, Lattices, Ordered Algebraic Structures.

Independence (Mathematics)

Model theory.

Boolean matrices.

Cryptography- Mathematics.

Functional analysis.

Cybernetics.

Engineering.

Sheaf theory.

Coding theory.

Cryptography.

Duality theory (Mathematics)

Physics.

Complex Networks.

Algebraic Topology.

Computer Science.

Systems and Data Security.

Cognitive Psychology.

Electronic Circuits and Systems.

Discrete Mathematics in Computer Science.

Representations of algebras.

Control theory.

Information theory.

Electronic and Computer Engineering.

General Algebraic Systems.

Electronic Circuits and Devices.

Difference and Functional Equations.

Time- Philosophy.

Philosophy of Science.