Бакалавриат 2025/2026

Элементы математической логики

Статус: Курс обязательный (Программная инженерия (очно-заочное обучение))

Кто читает: Кафедра математики (Нижний Новгород)

Когда читается: 2-й курс, 1 модуль

Охват аудитории: для своего кампуса

Преподаватели: Тютин Виктор Владимирович

Язык: русский

Программа дисциплины

Аннотация

Настоящая дисциплина относится к профессиональному циклу дисциплин и блоку дисциплин, обеспечивающих подготовку бакалавра по направлению 01.03.01 «Математика». Настоящая дисциплина является базовой. Изучение данной дисциплины базируется на хорошем владении математическим аппаратом выпускника средней общеобразовательной школы. Для освоения учебной дисциплины, студенты должны владеть следующими знаниями и компетенциями: знать основы математического анализа, алгебры и геометрии в рамках средней общеобразовательной школы, уметь решать типовые школьные задачи по математике, помнить основные математические теоремы школьного курса математики. Курс опирается на знания студентов, приобретенные при изучении основ элементарной математики, и обеспечивает теоретическую подготовку и практические навыки в области современных методов дискретной математики.