У навчальному посібнику наведено основні поняття і методи математичної логіки, а також основи теорії алгоритмів.