Читать онлайн «Математическая логика и теория алгоритмов: Рабочая программа, методические указания к изучению дисциплины, задания на контрольные работы»

Министерство образования Российской Федерации Государственное образовательное учреждение высшего профессионального образования СЕВЕРО-ЗАПАДНЫЙ ГОСУДАРСТВЕННЫЙ ЗАОЧНЫЙ ТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ Кафедра компьютерных технологий и программного обеспечения МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ Рабочая программа Методические указания к изучению дисциплины Задания на контрольные работы Факультет информатики и систем управления Направление и специальность подготовки дипломированного специалиста: 654600 – информатика и вычислительная техника 220100 – вычислительные машины, комплексы, системы и сети Направление подготовки бакалавра 552800 – информатика и вычислительная техника Санкт-Петербург 2003  Утверждено редакционно-издательским советом университета УДК 512 Математическая логика и теория алгоритмов: Рабочая программа, методические указания к изучению дисциплины, задания на контрольные работы. – СПб. : СЗТУ, 2003. – 30 с. Рабочая программа разработана в соответствии с государственными образовательными стандартами высшего профессионального образования подготовки дипломированного специалиста 654600 – “Информатика и вычислительная техника” (Специальность 220100 – “Вычислительные машины, комплексы, системы и сети”) и направлению подготовки бакалавра 552800 – “Информатика и вычислительная техника”. Методический сборник содержит рабочую программу, методические указания к изучению дисциплины, тематический план лекций, перечень основной и дополнительной литературы, задания на контрольные работы и методические указания к их выполнению. Рабочая программа раскрывает содержание основных разделов дисциплины по изучению логики высказываний и предикатов, формальных теорий и теории алгоритмов. Методические указания к выполнению контрольных работ содержат методические материалы, необходимые для правильного их выполнения и оформления. Рассмотрено на заседании кафедры КТ и ПО 2 октября 2003 г. , протокол №2 и одобрено методической комиссией факультета информатики и систем управления 20 октября 2003 г. , протокол №2. Рецензенты: кафедра информатики и информационных систем Санкт- Петербургской государственной лесотехнической академии (СПбЛТА) (зав. кафедрой А. М. Заяц, канд. техн. наук); Г. А. Дидук д-р техн. наук, проф. кафедры процессов управления и информационных систем СЗТУ. Составители: Г. И. Анкудинов, д-р техн. наук, проф. ; И. В. Иванова, канд. техн. наук, доц. ; И. А. Бригаднов, д-р физ. -мат. наук, проф. © Северо-Западный государственный заочный технический университет, 2003 2  Предисловие В результате изучения дисциплины студенты должны знать основные законы логики высказываний и предикатов, а также равносильные преобразования логических выражений; уметь формулировать и решать на языке логики простые задачи; иметь представление о следующих разделах: нечеткая, модальная и темпоральная логика; метод резолюций и принципы логического программирования; аксиоматические системы, формальные теории и исчисления; элементы теории и методы оценки сложности алгоритмов.