Личный кабинет
Подробное описание документа
Бояринцева, Т. Е. Математическая логика и теория алгоритмов: метод. указания к выполнению типового расчета : учебно-методическое пособие / Т. Е. Бояринцева, Н. В. Золотова, Р. С. Исмагилов. — Москва : МГТУ им. Н.Э. Баумана, 2011. — 43 с.
Приведены основные понятия и факты, относящиеся к языку высказываний, языку предикатов, теории алгоритмов, теории нечетких множеств и нечеткой логике. Наряду с традиционными разделами математической логики изложен метод резолюций, полезный для приложений. Рассмотрены типовые задачи. Для студентов, изучающих математическую логику, а также для преподавателей.
Похожие издания
Бояринцева Т. Е., Золотова Н. В., Исмагилов Р. С.
Математическая логика и теория алгоритмов : метод. указания к выполнению типового расчета / Бояринцева Т. Е., Золотова Н. В., Исмагилов Р. С. - Москва : МГТУ им. Н. Э. Баумана, 2011. -43 с.
Математическая логика и теория алгоритмов : метод. указания к выполнению типового расчета / Бояринцева Т. Е., Золотова Н. В., Исмагилов Р. С. - Москва : МГТУ им. Н. Э. Баумана, 2011. -
Читать онлайн
