Математическая логика и теория алгоритмов (Галиев Ш.И.)КНИГИ » НАУКА И УЧЕБА
Название: Математическая логика и теория алгоритмов. Учебное пособие Автор: Галиев Ш.И. Издательство: Казань: Издательство КГТУ им. А. Н. Туполева Год: 2002 Страниц: 263 Формат: djvu Размер: 11,53 Мб Язык: Русский
Математическая логика применяется для следующих целей: анализа и синтеза цифровых вычислительных машин и других дискретных автоматов, в том числе и интеллектуальных систем; анализа и синтеза формальных и машинных языков, для анализа естественного языка; анализа и формализации интуитивного понятия вычислимости; выяснения существования механических процедур для решения задач определённого типа; анализа проблем сложности вычислений. Вместе с математической логикой теория алгоритмов образует теоретическую основу вычислительных наук. Теория алгоритмов — это наука, находящаяся на стыке математики и информатики, изучающая общие свойства и закономерности алгоритмов и разнообразные формальные модели их представления. Все главы этого пособия снабжены контрольными вопросами и упражнениями, приведены варианты типовых заданий и тесты для самоконтроля усвоения материала. Материал, изложенный в пособии, соответствует государственному образовательному стандарту для направления «Информатика и вычислительная техника» и может быть использован для студентов обучающихся по разным специальностям этого направления.
Навигация
Вход на сайт
Реклама
Математическая логика и теория алгоритмов (Галиев Ш.И.) 
