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

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

Name: Математическая логика и теория алгоритмов: метод. указания к выполнению типового расчета
Rating: 4.0 (4 reviews)

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

4.0 / 5.0

0 comments

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

Request Code : ZLIBIO1657789

Categories:

Year:

2011

Publisher:

Московский государственный технический университет имени Н.Э. Баумана

Language:

Russian

Pages: