математична логіка, математическая логика, mathematical logic, logique mathematique, mathematische Logik ; теорія алгоритмів, теория алгоритмов, theory of algorithms

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

МОН України

• УДК // Алгоритми. Обчислювальні функції
• УДК // Математична логіка