Математическая логика
Год набора:2024 г.н.
Семестр:4 семестр
Направление:Блок 2: Модуль саморазвитие 2 (Технический)
Содержание курса
Матлогика входит в необходимый минимум математического образования у всех имеющих отношение к программированию и математике
ЦЕЛЬ
Научиться некоторым основам математической логики, изучить логику предикатов первого порядка, понятие предиката, основные определения логических и кванторных операций над предикатами, уточнение понятия алгоритма и его свойств, рекурсивные функции.
ЧТО БУДЕМ ДЕЛАТЬ
Слушать лекции, решать задачки, изучать аксиомы и законы алгебры логики, преобразования и минимизация логических функций, применять АЛ в технике построения коммутационных схем и логических цифровых схем
УНИКАЛЬНОСТЬ
Программа курса максимально упрощена и подходит слушателям без образования
ЦЕЛЬ
Научиться некоторым основам математической логики, изучить логику предикатов первого порядка, понятие предиката, основные определения логических и кванторных операций над предикатами, уточнение понятия алгоритма и его свойств, рекурсивные функции.
ЧТО БУДЕМ ДЕЛАТЬ
Слушать лекции, решать задачки, изучать аксиомы и законы алгебры логики, преобразования и минимизация логических функций, применять АЛ в технике построения коммутационных схем и логических цифровых схем
УНИКАЛЬНОСТЬ
Программа курса максимально упрощена и подходит слушателям без образования
Результаты курса
Ознакомимся с основами математической логики
О преподавателе
Финогенов Антон Анатольевич
ИНЖЕНЕРНАЯ ШКОЛА ЦИФРОВЫХ ТЕХНОЛОГИЙ, Доцент, кандидат физико-математических наук