Рабочая тетрадь «Математическая логика и теория алгоритмов» охватывает традиционный курс дисциплины «Математическая логика и теория алгоритмов» изучаемой студентами в третьем семестре. Рабочая тетрадь подготовлена в соответствии с Государственным образовательным стандартом ВПО для студентов бакалавриата, обучающихся по направлению 230400.62 «Информационные системы и технологии», профиль «Информационные системы и технологии в бизнесе» и рабочей программой по дисциплине «Математическая логика и теория алгоритмов» коллективом авторов : Гулай Т.А., к.т.н., доцент кафедры математики Ставропольского государственного аграрного университета, Мелешко С.В., ассистент кафедры математики Ставропольского государственного аграрного университета, Невидомская И.А., ассистент кафедры математики Ставропольского государственного аграрного университета, Яновский А.А., к.физ-мат.н. ассистент кафедры математики Ставропольского государственного аграрного университета.
Рабочая тетрадь включает три главы, список литературы и типовые расчеты для самостоятельной работы. Каждая глава тетради начинается с необходимого теоретического минимума, включающего важнейшие определения, теоремы и формулы. Затем идёт блок задач на эту тему, рассредоточенный следующим образом. Сначала подробно разбираются несколько типовых задач с полным анализом решения, после чего предлагается для самостоятельного решения блок аналогичных задач.
Приведенные типовые расчеты могут быть эффективно использованы при проведении аудиторных и домашних контрольных работ, собеседований, на зачетах и экзаменах; при тестировании студентов (в том числе компьютерном) по курсу математической логики и теории алгоритмов.
Рабочая тетрадь может быть использовано студентами других направлений подготовки, для изучения курса «Математическая логика», «Дискретная математика», где количество часов для изучения дисциплины значительно меньше. Кроме того пособие вполне доступно для студентов заочных отделений вузов.
Важность разделов, представленных в рабочей тетради, заключается в том, что они необходимы для эффективного использования возможностей современной вычислительной техники, изучения программирования и информатики. Знание основ математической логики и теории алгоритмов необходимо практически в любой современной научно-исследовательской работе.