Математическая логика и теория алгоритмов. Методические указания к выполнению типового расчета
Об издании
Приведены основные понятия и факты, относящиеся к языку высказываний, языку предикатов, теории алгоритмов, теории нечетких множеств и нечеткой логике. Наряду с традиционными разделами математической логики изложен метод резолюций, полезный для приложений. Рассмотрены типовые задачи. Для студентов, изучающих математическую логику, а также для преподавателей. Рекомендовано Учебно-методической комиссией НУК ФН МГТУ им. Н.Э. Баумана.
Библиографическая запись
Бояринцева, Т. Е. Математическая логика и теория алгоритмов : методические указания к выполнению типового расчета / Т. Е. Бояринцева, Н. В. Золотова, Р. С. Исмагилов. — Москва : Московский государственный технический университет имени Н.Э. Баумана, 2011. — 48 c. — Текст : электронный // Цифровой образовательный ресурс IPR SMART : [сайт]. — URL: https://www.iprbookshop.ru/31050.html (дата обращения: 13.10.2025). — Режим доступа: для авторизир. пользователей
РЕКОМЕНДУЕМ К ПРОЧТЕНИЮ
Панкратьев Е.В.
(Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа)
Иванова Ю.А., Мишенева Ю.И., Нестеренко В.Г., Сайтимова Т.Н.
(Профобразование)
Мартынов А.П., Мартынова И.А., Русаков А.А.
(Ай Пи Ар Медиа)
C ЭТОЙ КНИГОЙ ТАКЖЕ ЧИТАЮТ
Стрижкова О.В., Стренева Н.В.
(Оренбургский государственный университет, ЭБС АСВ)
Липина Ю.А., Гурьянова О.А.
(Омский государственный технический университет)
Шалмина И.И., Фот Ж.А.
(Омский государственный технический университет)
Щерба В.Е., Лысенко Е.А., Сокирко К.Н., Дорофеев Е.А.
(Омский государственный технический университет)