Theory of algorithms and computing processes

Abstract

It is given basic means for algorithmic system development focused to solving fundamental problems of theory of algorithms namely proof of computability and resolvability. The applied problems of mathematical linguistics are under principal concern. For students of speciality 6.020303 - Applied linguistics.

Наведено основні засоби побудови алгоритмічних систем, що спрямовані на вирішення фундаментальних проблем теорії алгоритмів, а саме доведення обчислюваності та розв’язуваності. Особливу увагу приділено прикладним питанням математичної лінгвістики. Для студентів спеціальності 6.020303 «Прикладна лінгвістика».