Электронный учебно-методический комплекс (далее - ЭУМК) содержит курс лекций (теоретическая часть) и упражнений (практическая часть), контрольные тесты по разделам «Логика высказываний», «Логика предикатов» и «Исчисление ...