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