RUSSIAN

Математическая логика и теория алгоритмов: метод. указания к выполнению типового расчета

By Бояринцева Т.Е. , Золотова Н.В. , Исмагилов Р.С.

Book information

Publisher
Московский государственный технический университет имени Н.Э. Баумана
Year
2011
Language
russian
Format
PDF
Filesize
326 kB (333530 bytes)
Pages
43\48
Time added
2017-04-20 00:00:00
Высшая математика;Математика

Description

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

Similar books