Варианты контрольных работ

Дисциплина "Математическая логика и теория алгоритмов" в соответствии с учебным планом является рейтинговой и предполагает проведение контрольных работ. Ниже приведены возможные варианты контрольных работ с указанием баллов оценки за каждую задачу.

Контрольная работа № 1

Задача 1. Упражнение 2 из практического занятия №1 (6 баллов).

Задача 2. Упражнение 2 из практического занятия №2 (9 баллов).

Задача 3. Упражнение 1 из практического занятия №3 (15 баллов).

Контрольная работа № 2

Задача 1. Упражнение 1 из практического занятия №4 (6 баллов).

Задача 2. Упражнение 3 из практического занятия №5 (14 баллов).

Задача 3. Упражнение 1 из практического занятия №6 (10 баллов).

СПИСОК ЛИТЕРАТУРЫ

1. Тейз А. и др. Логический подход к искусственному интеллекту. - М.: Мир, 1990.

2. Столл Р. Множества. Логика. Аксиоматические теории. - М.: Просвещение, 1968.

3. Клини С. Математическая логика. - М.: Мир, 1973.

4. Чень Ч., Ли Р. Математическая логика и автоматическое доказательство теорем. - М.: Наука, 1983.

5. Мендельсон Э. Введение в математическую логику. - М.: Наука, 1971.

6. Ахо А., Хопкрофт Дж., Ульман Дж. Построение и анализ вычислительных алгоритмов. - М.: Мир, 1979.

7. Гэри М., Джонсон Д. Вычислительные машины и трудно решаемые задачи. - М.: Мир, 1982.

8. Исследование вычислительной сложности алгоритмов логического вывода: Методические указания к курсовой работе по дисциплине "Математическая логика и теория алгоритмов"/Сост.: M.Г.Пантелеев, А.С.Календарев; ГЭТУ. СПб., 1997. 32 с.

Содержание

ПРАКТИЧЕСКОЕ ЗАНЯТИЕ №1. Основы логики высказываний

ПРАКТИЧЕСКОЕ ЗАНЯТИЕ №2. Метод резолюция в логике высказываний

ПРАКТИЧЕСКОЕ ЗАНЯТИЕ №3. Оценка сложности алгоритмов

ПРАКТИЧЕСКОЕ ЗАНЯТИЕ №4. Язык логики предикатов

ПРАКТИЧЕСКОЕ ЗАНЯТИЕ №5. Преобразование формул логики предикатов в клаузальную форму.

ВАРИАНТЫ КОНТРОЛЬНЫХ РАБОТ

СПИСОК ЛИТЕРАТУРЫ

Редактор А.В.Крейцер

Лицензия ЛР N 020617 от 10.08.92

__________________________________________________________

Подписано в печать Формат 60x84 1/16. Бумага тип. N 2.

Офсетная печать. Усл. печ. л. 1, . Уч.-изд.л. .

Тираж 100 экз. Заказ

Издательско-полиграфический центр ГЭТУ

__________________________________________________________

Ротапринт МГП "ПОЛИКОМ"

197376, C.-Петербург, ул. Проф.Попова, 5