Faculty of
Engineering

The course includes an introduction to statement theory and logic theory. Turnic multi-bar indeterministic calculator. Classes of complexity deterministic and indeterministic. P-NP question. NP-hard, NP-complete. The relationship between the ranks of temporal and spatial complexity. Relationships between the ranks of complexity.