Математическая логика
Математика
Статья
  • формат doc
  • размер 303,21 КБ
  • добавлен 16 октября 2014 г.
Лекции по математической логике и теории алгоритмов
Лекции по математической логике и теории алгоритмов - Викентьева О.Л.
Пермь - 2007.
Логика высказываний.
Логические исчисления.
Логика и исчисление предикатов.
Автоматическое доказательство теорем.
Теория алгоритмов.
Похожие разделы