АвторыТ.Е. Бояринцева, Н.В. Золотова, Р.С. Исмагилов
Математическая логика и теория алгоритмов: метод. указания к выполнению типового расчета
ИздательствоМГТУ им. Н.Э. Баумана
Тип изданияучебно-методическое пособие
Год издания2011
Скопировать биб. запись
Для каталогаБояринцева, Т. Е. Математическаялогика и теорияалгоритмов : метод. указания к выполнению типового расчета / Т. Е. Бояринцева, Н. В. Золотова, Р. С. Исмагилов. - Москва : Издательство МГТУ им. Н. Э. Баумана, 2011. - 43 с. - ISBN --. - Текст : электронный // ЭБС "Консультант студента" : [сайт]. - URL : https://www.studentlibrary.ru/book/bauman_0002.html (дата обращения: 24.11.2024). - Режим доступа : по подписке.
АннотацияПриведены основные понятия и факты, относящиеся к языку высказываний, языку предикатов, теории алгоритмов, теории нечетких множеств и нечеткой логике. Наряду с традиционными разделами математической логики изложен метод резолюций, полезный для приложений. Рассмотрены типовые задачи. Для студентов, изучающих математическую логику, а также для преподавателей. Рекомендовано Учебно-методической комиссией НУК ФН МГТУ им. Н.Э. Баумана.