Лекции по математической логике и теории алгоритмов

Автор(ы)

Штанюк А.А

Год

2006

Язык

rus

Теги

Математика Программирование

Аннотация

Лекции по математической логике и теории алгоритмов Год : 2006 Автор : Штанюк А.А. Жанр : Учебное пособие Язык : Русский Формат : PDF Качество : Изначально компьютерное (eBook) Количество страниц : 78 Описание : Курс ”Математическая логика и теория алгоритмов” (МЛТА) включает 36 часов лекционных и 18 часов практических занятий. Он изучается после ”Дискретной математики” параллельно с ”Программированием на языке высокого уровня”. По окончанию курса проводится экзамен. Для чего будущему специалисту мира информационных систем нужен этот курс? Изучение его преследует две цели - изучить логические основы процесса написания программ и приобрести навыки строгого, формализованного мышления. Не секрет, что мы пользуемся законами логики и в обыденной жизни, и при профессиональном общении, но плохо представляем себе суть самой логики. Математическая логика (МЛ) традиционно рассматривается под разными углами зрения. Специалисты-математики видят в ней прежде всего обоснование самих основ математических преобразований, науку о математических доказательствах. Поскольку предметом МЛ в этом случае становится все мыслимые объекты этого мира, то она становится ”не просто абстрактной, а очень абстрактной”, абстрагированием от абстракций. Наша задача гораздо скромнее. Компьютерные науки, имея непосредственное отношение к математическим и техническим наукам, тем не менее носят прикладной характер и конечной их целью является создание и использование вычислительных машин для человеческих нужд. Теоретические знания подтверждаются опытом - воплощением идей в ”железе” и получении результатов по обработке информации. Поэтому МЛ для инженера, программиста, администратора и консультанта - наука о правильных вычислениях, обоснованных алгоритмах, надежно функционирующих программах. Она не рассматривает вопросы проектирования программ, но изучает языки программирования как формальные системы и касается аспектов эффективности и релевантности тех или иных алгоритмов. Поэтому можно считать, что МЛ для инженера информационных систем носит более узкий и прикладной характер, а поэтому отличается от традиционного курса для математиков. Примеры страниц Какой программой открыть книгу? Программы для работы с электронными книгами (краткий справочник) Опубликовано группой