The topics include: inductive proofs, sets, functions, relations, equivalence and order relations, graph theory, combinatorics, combinatorial counting, algebra (groups, rings, fields, polynomials, subalgebras, morphisms), number theory, etc.

This course provides an introduction to Information Security. The focusis on fundamental concepts and models, basic cryptography, protocols and system security, and privacy and data protection. While the emphasis is on foundations, case studies will be given that examine different realizations of these ideas in practice.

This course provides an introduction to Information Security. The focusis on fundamental concepts and models, basic cryptography, protocols and system security, and privacy and data protection. While the emphasis is on foundations, case studies will be given that examine different realizations of these ideas in practice.

Followed by an introduction to the basic principles of quantum physics, such as superposition, interference, or entanglement, a variety of subjects are treated: Quantum algorithms, teleportation, quantum communication complexity and "pseudo-telepathy", quantum cryptography, as well as the main concepts of quantum information theory.

Introduction to propositional logic, predicate logic and logic programming (Prolog).

In this advanced seminar, various topics are treated in the intersection of quantum physics, information theory, and cryptography.

In this advanced seminar, various topics are treated in the intersection of quantum physics, information theory, and cryptography.