Course information

Students will master the theoretical material provided by the course, be able to apply the knowledge gained to solving theoretical and applied problems. The material covered by the course includes: effective computation of boolean functions, proofs of nonexistence.

Course program

Teaching assistants