Утверждено

10. Самостоятельная работа обучающихся 
Форма обучения _____очная_____________________________ 
Название разделов и 
тем
 
Вид самостоятельной работы 
(проработка учебного материала, 
решение задач, реферат, доклад, 
контрольная работа, подготовка к 
сдаче зачета, экзамена и др.) 
Объем 
в 
часах 
Форма контроля 
(проверка 
решения задач, 
реферата и др.) 
Логика 
высказываний 
решение задач 
11 
Контрольная работа 
Логика предикатов 
решение задач
5 
Контрольная работа 
Аксиоматические 
теории 
проработка учебного материала
7 
Тест 
Метод резолюций 
решение задач 
 
9 
Контрольная работа 

---

Министерство науки и высшего образования РФ 
Ульяновский государственный университет 
Форма 
Ф - Рабочая программа по дисциплине 
Форма А 
подготовка к сдаче зачета 
12 
Зачет 
Всего 
44 
11. Учебно-методическое и информационное обеспечение дисциплины 
а) Список рекомендуемой литературы 
основная 
1. Скорубский, В. И. Математическая логика: учебник и практикум для бакалавриата и 
специалитета / В. И. Скорубский, В. И. Поляков, А. Г. Зыков. — Москва: Издательство 
Юрайт, 2019. — 211 с. — (Бакалавр и специалист). — ISBN 978-5-534-01114-2. — Текст: 
электронный // ЭБС Юрайт [сайт]. — URL: 
https://urait.ru/bcode/433712
 
2. Михеева Е.А. Дискретная математика: конспект лекций (второй семестр) [Электронный 
ресурс]: электронный учебный курс: учеб. пособие / Михеева Елизавета Алексеевна; 
УлГУ. - Электрон. текстовые дан. 
- 
Ульяновск: УлГУ, 2016. URL: 
http://edu.ulsu.ru/cources/736/interface/
 
3. Судоплатов, С. В. Математическая логика и теория алгоритмов: учебник и практикум 
для академического бакалавриата / С. В. Судоплатов, Е. В. Овчинникова. — 5-е изд., 
стер. — Москва: Издательство Юрайт, 2019. — 255 с. — (Высшее образование). — ISBN 
978-5-534-00767-1. — Текст: электронный // ЭБС Юрайт [сайт]. — URL: 
http://urait.ru/bcode/432018