- •Математическая логика и теория алгоритмов
- •Основные умения
- •План практических занятий
- •Занятие 1. Алгебра Буля и её модели
- •Коммутативные законы
- •Упражнения
- •Задания на самостоятельную работу
- •Занятие 2. Представление булевых функций формулами. Сводка тавтологий. Совершенные формы
- •Основные тавтологии алгебры высказываний
- •Основные равносильности алгебры высказываний
- •Упражнения.
- •Задания на самостоятельную работу
- •Примеры решения задач
- •Упражнения
- •Задания на самостоятельную работу
- •Занятие 3. Конструирование и упрощение контактных схем
- •Упражнения
- •Задания на самостоятельную работу
- •Занятие 4. Логические функции (предикаты) и операции над ними
- •Упражнения
- •Упражнения для самостоятельной работы
- •Занятие 5. Общезначимые формулы. Представление формул логики предикатов в предваренной нормальной форме
- •Основные равносильности логики предикатов
- •Основные тавтологии логики предикатов
- •Упражнения
- •Упражнения для самостоятельной работы
- •Занятие 6. Логика предикатов и алгебра множеств. Уравнения и неравенства как логические функции (предикаты). Комплекс теорем в геометрии. Необходимые и достаточные условия
- •Важные дизъюнкции
- •П. Важные конъюнкции
- •Примеры.
- •Упражнения
- •Упражнения на самостоятельную работу
- •Занятие 7. Машина Тьюринга
- •Упражнения
- •Упражнения для самостоятельной работы
- •Занятие 8. Вычислительные алгоритмы
- •Полная развилка
- •Упражнения
- •Упражнения для самостоятельной работы
- •Занятие 9. Контрольные мероприятия. Лабораторная работа.
- •Вариант № 2
- •Вариант № 3
- •Вариант № 4
- •Вариант 5
- •Типовой расчет Вариант № 1
- •Вариант № 2
- •Библиографический список
Библиографический список
Яглом И.М. Необыкновенная алгебра. М.: Наука, 1968. 71с.
Никольская И.Л. Математическая логика. М.: Высшая школа, 1981. 127с.
Игошин В.И. Математическая логика и теория алгоритмов. Саратов: Изд-во Сарат. Ун-та, 1991. 256 с.
Игошин В.И. Задачник-практикум по математической логике. М.: Просвещение, 1986. 159 с.
Шарова Л.И. Уравнения и неравенства. Пособие для подготовительных отделений. Киев: Вища школа, 1981. 280 с.
Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теорем алгоритмов. М.: Наука, 1984. 224 с.
Лапчик М.П. Вычисления. Алгоритмизация. Программирование. М.: Просвещение, 1988. 208 с.
Заварыкин В.М., Житомирский В.Г., Лапчик М.П. Техника вычислений и алгоритмизация. М.: Просвещение, 1987. 160 с.
Лапчик М.П. Вычислительная техника и программирование. М.: Просвещение. 1987. 239 с.
10. Основы информатики и вычислительной техники. Ч. 1. Методические рекомендации по лабораторному практикуму. Сост. В.А.Буцик. Омск, ОГПИ,1990. 48 с.
Редактор Г. М. Кляут
ИД 06039 от 12.10.01
Подписано в печать Бумага офсетная. Формат 60х84 1/16
Отпечатано на дупликаторе. Усл. печ. л. Уч.-изд. л.
Тираж 100 экз. Заказ .
__________________________________________________________
Издательство ОмГТУ. 644050, г. Омск, пр-т Мира, 11
Типография ОмГТУ
