Москва Изменить
Поиск
Личный кабинет
Москва Изменить

    Применение алгебры высказываний в логико-математической практике. Методы доказательств

    Мастер-класс | Офлайн
    школьники
    Армавир
    03 ноября 2022
    13:30 — 15:00
    Область знаний:
    • Математика и информатика
    Мероприятие уже прошло

    Поделиться:

    Своя площадка

    352900, Армавир, Розы Люксембург, 159

    Федеральное государственное бюджетное образовательное учреждение высшего образования "Армавирский государственный педагогический университет"

    Участники
    Козлов Владимир Анатольевич

    Доцент кафедры математики, физики и методики их преподавания

    Применение алгебры высказываний в логико-математической практике. Методы доказательств

    В ходе мастер-класса будут рассмотрены понятие теоремы, различные виды теорем, методы доказательства теорем с самой общей точки зрения. На примерах будет показано как методами математической логики можно значительно упростить доказательство утверждений и решение различных задач.