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

Последнее изменение: 25/11/2018 16:40:25

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

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

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

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

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

Тестовая оболочка TMaker
Информационно-коммуникационные технологии в образовании: презентация 1
Информационно-коммуникационные технологии в образовании: презентация 2
Первое задание (в дистантном режиме)
для очников: https://goo.gl/forms/EJeyjay0Y61qpyzn1
для заочников: https://goo.gl/forms/M5qZMHxa6H2Bt3g53


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