Навчальний посібник містить повний виклад матеріалу навчальних дисциплін «Математична логіка та теорія алгоритмів» та «Дискретні функції» Державного освітнього стандарту вищої професійної освіти за спеціальностями «Комп'ютерна безпека», «Інформаційна безпека автоматизованих систем» та деякими іншими суміжними спеціальностями. Посібник складається з трьох взаємопов'язаних частин, що складають відповідно основи математичної логіки, теорії дискретних функцій і теорії алгоритмів.. Призначено для студентів вузів, що навчаються за спеціальностями в галузі інформаційної безпеки, а також для аспірантів і студентів вузів інших технічних спеціальностей, що вивчають дискретну математику.