Шесть заданий контрольной работы состоят из трех разделов: логика высказываний, логика предикатов, реляционная логика. (это и другое написано в методичке).

Предмет: Математическая логика, Курс: 2, Специальность: Программист. В данной методичке нужно выполнить два варианта заданий: «23» и «46». Три раздела по два задания, всего в итоге получится 6 (шесть) заданий. Разделы: логика высказываний, логика предикатов, реляционная логика. Хотя в методичке написано решение выполнить «на листе», но мне оно нужно не на листе, а в обычном электронном виде в файле word’a (и на всякий случай еще и в .pdf )