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

Математическая логика и теория алгоритмов
Т.Е. Бояринцева, Н.В. Золотова, Р.С. Исмагилов
  • Год:
    2011
  • Тип издания:
    Методические указания
  • Объем:
    48 стр. / 2.79 п.л
  • Формат:
    60x84/16
  • ISBN:

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

подробнее
1