Математическая логика
Date
2012Author
Будько, Александр Евгеньевич
Будько, Дмитрий Александрович
Metadata
Show full item recordAbstract
Электронный учебно-методический комплекс (далее - ЭУМК) содержит курс лекций (теоретическая часть) и упражнений (практическая часть), контрольные тесты по разделам «Логика высказываний», «Логика предикатов» и «Исчисление высказываний» дисциплины «Математическая логика». Наличие большого количества примеров и разобранных решений задач поможет в самостоятельном изучении курса математической логики.
Collections
- 3.2 УМК / ЭУМК [572]