Математическая логика и теория алгоритмов. ВВЕДЕНИЕ.


Методические указания к практическим занятиям по курсу «Математическая логика и теория алгоритмов».

В последнее время специалисты, занимающиеся прикладными исследованиями, все больше используют аппарат математической логики. Это объясняется необходимостью создания и эксплуатации современной вычислительной техники, средств передачи и обработки информации, интеллектуальных автоматизированных систем управления и проектирования, базирующихся на принципах логики.
Цель создания данного учебного пособия — дополнить теоретические знания по дискретной математике практическими и прикладными знаниями в данной области.

При написании учебного пособия в значительной мере использовался опыт чтения авторами курса по математической логике и теории алгоритмов на инженерно-техническом факультете Приднестровского государственного университета им. Т. Г. Шевченко.
В каждом разделе при необходимости приводится необходимый краткий теоретический материал, оговариваются специальные методы решения, приводятся примеры решения задач.
Пособие предназначено для студентов инженерных и математических специальностей дневной и заочной формы обучения.

Предлагаемые методические указания к практическим занятиям по курсу «Математическая логика и теория алгоритмов» подготовлены в соответствии с программой соответствующей дисциплины, изучаемой студентами ИТФиТК ПГУ. Данная работа имеет своей целью дать студентам материал для практической работы на занятиях и самостоятельной работы, для более глубокого усвоения новых понятий, а также облегчить преподавателям подготовку и проведение занятий.
В данном пособии рассматриваются основные разделы, относящиеся к , математической логике и теории алгоритмов. Данные разделы матлогики являются методологической основой задач проектирования вычислительных систем, сетей ЭВМ, интеллектуальных подсистем САПР различного функционального назначения.

Рекомендовано к изданию методической комиссией инженерно-технического факультета и научно методическим советом ПГУ, протокол №10 от 9.06.04.

МИНИСТЕРСТВО ПРОСВЕЩЕНИЯ ПМР

ПРИДНЕСТРОВСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ
ИМ. Т.Г.ШЕВЧЕНКО

Инженерно-технический факультет Кафедра «Вычислительные комплексы, машины, системы и сети»

БОРДЯ Татьяна Дмитриевна ШТЕЙ Людмила Леонидовна
Методические указания к практическим занятиям по курсу «Математическая логика и теория алгоритмов»

Для студентов очной и заочной форм обучения и учащихся технического колледжа, обучающихся по направлениям

654600 — «Информатика и вычислительная техника»

Тирасполь 2004
УДК 519.71 (075.8) Б
ББК 22.18

Рецензенты:
кандидат технических наук, доцент Федорченко С.Г. (Приднестровский государственный университет);
кандидат технических наук Дружинин В. А. (Приднестровский государственный университет).

Бордя Т.Д., Штей Л.Л.- Методические указания к практическим занятиям по курсу «Математическая логика и теория алгоритмов» : Учеб. пособие для вузов. — Тирасполь, РИО ПГУ, 2004. — 6 п. л.: ил.