Раздел 5. Методические указания для выполнения контрольных работ

Контрольная работа выполняется в форме реферата (4-6 машинописных страниц) по вопросу к зачету, соответствующему порядковому номеру фамилии студента в списке группы в журнале. Для выполнения контрольной с оценко «удовлетворительно» достаточно воспользоваться одним-двумя учебниками из списка основной литературы; для более высокой оценки — воспользовотаься также дополнительной литературой. Студенты, претендующие на самые высокие баллы (от 93 до 100), должны самостоятельно (вне аудиторных занятий) освоить тему «Классическая логика предикатов» и уметь строить аналитические таблицы для определения общезначимости формул.

36