Гейн Александр Георгиевич: Лекции по курсам

Последнее изменение: 11/05/2018 16:16:20

Математическая логика

Аксиоматика логики высказываний и теорема дедукции
Теорема о полноте исчисления высказываний
Язык логики 1-го порядка
Теории 1-го порядка с равенством

Общая алгебра, дискретная математика и математическая логика

Избранные темы курса
Теорема о конечных подгруппах поля

Информационно-коммуникационные технологии в образовании

Тестовая оболочка TMaker
Информационно-коммуникационные технологии в образовании


Смотрите также: