Подробное описание документа

Бояринцева Т. Е., Золотова Н. В., Исмагилов Р. С.
   Математическая логика и теория алгоритмов : метод. указания к выполнению типового расчета / Бояринцева Т. Е., Золотова Н. В., Исмагилов Р. С. - Москва : МГТУ им. Н. Э. Баумана, 2011. - 43 с.

Айбукс

Войти и читать

https://ibooks.ru/products/343470

Приведены основные понятия и факты, относящиеся к языку высказываний, языку предикатов, теории алгоритмов, теории нечетких множеств и нечеткой логике. Наряду с традиционными разделами математической логики изложен метод резолюций, полезный для приложений. Рассмотрены типовые задачи. Для студентов, изучающих математическую логику, а также для преподавателей.

Коллекция

ЭБС «Айбукс»

Похожие издания

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

Читать онлайн

Коллекция ЭБС «Лань»

подробнее