Изучить книгу "Вычислимость и логика". Авторы Дж. Булос, Р. Джеффри

Изучение в данном случае не предполагает проникновение в глубины математических формул и зазубривание доказательств теорем. Не сильно интересующие разделы книги нужно бегло просматривать, обращая внимание на примеры применения математических моделей, описанных в книге.

Вопрос "Что такое исчисление предикатов(вроде бы предикативная логика)" можно перефразировать как "Что позволяет делать исчисление предикатов?". Как это можно применять в реальной жизни?

Нет никакой гарантии, что книга даст ответы на эти вопросы. Потому что по факту это учебник. С другой стороны, авторы - американцы, а не русские(никакого русофобства, просто зарубежные книги ... легче воспринимаются, что ли), что позволяет надеяться на лучшее :3

После изучения книгу необходимо сдать в библиотеку