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

Последнее изменение: 25/06/2018 15:59:25

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

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

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

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

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

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


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