Математична логіка та теорія алгоритмів

Abstract

(ua) Даний посібник охоплює матеріал модулів «Алгебра та числення висловлень», «Логіка предикатів», «Теорія алгоритмів» та «Нечітка логіка» відповідно до програми курсу «Математична логіка та теорія алгоритмів». Викладення теоретичного матеріалу ілюструється прикладами. В кожному розділі після теоретичного блоку наведено запитання для самоконтролю та вправи для самостійного розв’язання. Посібник рекомендується для студентів всіх спеціальностей денної та заочної форми навчання, які вивчають математичну логіку та теорію алгоритмів. Він може бути корисним вчителям математики та інформатики.