Автор: Галиев Ш.И.
Название: Математическая логика и теория алгоритмов. Учебное пособие
Издательство: Казань: Издательство КГТУ им. А. Н. Туполева
Год: 2002
ISBN: 5-93629-031-Х
Язык: Русский
Формат: djvu
Размер: 11,53 Мб
Кол-во страниц: 263

Описание: Применение в логике математических методов становится возможным тогда, когда суждения формулируются на некотором точном языке. Прикладное значение математической логики в настоящее время очень велико. Принципиальное значение математической логики - обоснование математики, анализ основ математики. Вместе с математической логикой теория алгоритмов образует теоретическую основу вычислительных наук. Тео́рия алгоритмов — это наука, находящаяся на стыке математики и информатики, изучающая общие свойства и закономерности алгоритмов и разнообразные формальные модели их представления. Все главы пособия снабжены контрольными вопросами и упражнениями, приведены варианты типовых заданий и тесты для самоконтроля усвоения материала. Материал, изложенный в пособии, соответствует государственному образовательному стандарту для направления «Информатика и вычислительная техника» и может быть использован для студентов обучающихся по разным специальностям этого направления.