
- •Н. Г. Моисеев математическая логика и теория алгоритмов
- •Оглавление
- •Предисловие
- •Введение
- •Техника безопасности при выполнении лабораторных работ
- •1. Общие требования безопасности
- •2. Требования безопасности перед началом работы
- •3. Требования безопасности во время работы
- •4. Требования безопасности в аварийной обстановке
- •5. Требования безопасности по окончании работы
- •6. Ответственность
- •Лабораторная работа № 1 алгебра высказываний и логические операции над ними
- •1.1. Теоретическая часть
- •1.1.1. Высказывания и операции над ними. Понятие высказывания
- •1.1.2. Логические операции над высказываниями
- •1.2. Задания к выполнению работы
- •1.3. Контрольные вопросы
- •2.1.1. Формулы алгебры высказываний
- •2.1.1. Равносильные формулы алгебры высказываний
- •I. Основные равносильности:
- •II. Равносильности, выражающие одни логические операции через другие:
- •III. Равносильности, выражающие основные законы алгебры логики:
- •2.2. Задания к выполнению работы
- •2.3. Контрольные вопросы
- •Учебно-методическое обеспечение
- •Лабораторная работа № 3 функции алгебры логики. Совершенные нормальные формы
- •3.1. Теоретическая часть
- •3.1.1. Функции алгебры логики
- •3.1.2. Представление произвольной функции алгебры логики в виде формулы алгебры логики
- •3.1.3. Закон двойственности
- •3.1.4. Дизъюнктивная нормальная форма (днф) и совершенная дизъюнктивная нормальная форма (сднф)
- •3.1.5. Конъюнктивная нормальная форма (кнф) и совершенная конъюнктивная нормальная форма (скнф)
- •3.1.6. Проблема разрешимости
- •3.2. Задания к выполнению работы
- •Сднф и скнф операции конъюнкции
- •3.3. Контрольные вопросы
- •4.1.1. Основные понятия релейно-контакных схем
- •4.1.2. Реализация с помощью релейно-контакных схем основных логических операций
- •4.2. Задания к выполнению работы
- •4.3. Контрольные вопросы
- •5.2. Задания к выполнению работы
- •5.3. Контрольные вопросы
- •Учебно-методическое обеспечение
- •Лабораторная работа № 6 построение доказательств в логике высказываний
- •6.1. Теоретическая часть
- •6.1.1. Основные понятия и определения, используемые при построении доказательств в логике высказываний
- •6.1.2. Аксиоматический метод доказательства логических выражений
- •6.1.3. Конструктивный метод доказательства логических выражений
- •Метод доказательства логических выражений
- •6.1.4. Принцип резолюций
- •6.1.5. Метод Вонга
- •6.1.6. Метод натурального исчисления
- •6.2. Задания к выполнению работы
- •6.3. Контрольные вопросы
- •7.1.1. Составление легенд на основе клауз
- •7.1.2. Составление клауз на основе легенд
- •7.2. Задания к выполнению работы
- •7.3. Контрольные вопросы
- •8.1.1. Формулы исчисления высказываний
- •8.1.2. Определение доказуемой формулы
- •1. Система аксиом исчисления высказываний
- •2. Правила вывода
- •1. Правило подстановки
- •2. Правило заключения.
- •3. Определение доказуемой формулы
- •8.1.3. Производные правила вывода
- •8.1.4. Понятие выводимости формулы из совокупности формул
- •8.1.5. Понятие вывода
- •8.1.6. Правила выводимости
- •13. Правило исключения третьего в доказуемых формулах
- •8.1.7. Связь между алгеброй высказываний и исчислением высказываний
- •Теоремы, устанавливающие связь между алгеброй высказываний и исчислением высказываний
- •8.2. Задания к выполнению работы
- •8.3. Контрольные вопросы
- •9.1.1. Логические операции над предикатами
- •9.1.2. Кванторные операции
- •9.1.3. Понятие формулы логики предикатов
- •9.1.4. Значение формулы логики предикатов
- •9.1.5. Равносильные формулы логики предикатов
- •9.1.6. Предваренная нормальная форма
- •9.1.7. Общезначимость и выполнимость формул
- •9.2. Задания к выполнению работы
- •9.3. Контрольные вопросы
- •Учебно-методическое обеспечение
- •Лабораторная работа № 10 алгоритмы и их применение
- •10.1. Теоретическая часть
- •10.1.1. Характерные черты алгоритма и основные требования к алгоритмическим процедурам
- •10.1.2. Классификация алгоритмических моделей
- •10.1.3. Машины Тьюринга
- •Тьюрингова функциональная схема
- •Программа (схема) работы машины Тьюринга,
- •10.2. Задания к выполнению работы
- •10.3. Контрольные вопросы
- •Учебно-методическое обеспечение
- •Заключение
- •424000 Йошкар-Ола, пл. Ленина, 3
- •424006 Йошкар-Ола, ул. Панфилова, 17
Техника безопасности при выполнении лабораторных работ
1. Общие требования безопасности
Опасные производственные факторы: воздействие на человека электрического тока, электрического поля, рентгеновского и ультрафиолетового излучения.
Действия факторов: вследствие неисправности кабеля, электрической вилки (розетки), замыкания в цепи пользователь компьютера попадает под напряжение.
1.1. Студенты допускаются к работе в лаборатории после прохождения ими вводного инструктажа с оформлением соответствующей записи в журнале по технике безопасности, первичного инструктажа на рабочем месте с записью в журнале по охране труда. Инструктаж проводит заведующий кабинетом, лабораторией.
1.2. Запрещается оставлять рабочие места и ходить по лаборатории во время занятия.
1.3. Запрещается перестановка измерительных приборов, оборудования, мониторов, клавиатуры, системных блоков, «мышей» и ковриков для «мышей» с одного рабочего места на другое.
1.4. Запрещается самостоятельное устранение неисправностей оборудования.
1.5. Запрещается нахождение в лаборатории в верхней одежде.
2. Требования безопасности перед началом работы
2.1. К лабораторной работе допускаются только лица, прошедшие инструктаж по правилам пользования измерительными приборами, оборудованием и ПЭВМ и изучившие инструкцию на применяемое в проводимой работе оборудование.
2.2. Следует проверить наличие всех составляющих рабочего места: измерительных приборов, оборудования, монитора, клавиатуры, системного блока, «мыши» и коврика для нее.
2.3. Следует убедиться в отсутствии видимых повреждений аппаратуры и рабочего места. Визуально проверить исправность штепсельной розетки, целостность проводов питания, штепсельной вилки. О выявленной неисправности сообщить преподавателю.
2.4. Убрать с рабочего места лишние предметы (сумки, папки и прочее).
2.5. Включать компьютеры можно только после разрешения преподавателя.
3. Требования безопасности во время работы
3.1. Измерительными приборами, оборудованием и компонентами ПЭВМ пользоваться осторожно, не допуская падений и ударов.
3.2. При работе на ПЭВМ сидеть следует прямо, с небольшим наклоном корпуса вперед, не сутулясь. Величина углов в локтевых, тазобедренных и голеностопных суставах должна быть не менее 90 градусов.
3.3. Необходимо соблюдать оптимальное расстояние от глаз до экрана монитора (60-70 см). При меньшем расстоянии глаза быстро устают.
3.4. Клавиатуру следует располагать на поверхности стола на расстоянии 100-300 мм от края стола, обращенного к пользователю.
3.5. При работе на ПЭВМ и пользовании записями в тетради (книге) последняя должна быть хорошо освещена (не менее 400 люкс) и находиться перед клавиатурой.
3.5. При внезапном отключении электроэнергии в сети выключить все оборудование и ПЭВМ.
3.6. Во время эксплуатации при повреждении штепсельного соединения, токопроводящего кабеля, появления дыма, обнаружении замыкания на корпус немедленно отключить все оборудование и ПЭВМ и доложить о поломке преподавателю.
3.7 Длительность непрерывной работы на компьютерах при сдвоенных уроках по 40 минут в день для студентов I курса; II – III курса – до 3 академических часов. После каждого академического часа перерыв 15-20 минут с выходом учащихся из кабинета с обязательным проветриванием.
3.8. Во время регламентированных перерывов с целью снижения нервно-эмоционального напряжения, утомления зрительного анализатора целесообразно выполнять комплексы упражнений для глаз и физкультминутки.
3.9. Запрещается вскрывать аппаратуру и производить ее ремонт.
3.10. Студенты обязаны бережно относиться к оборудованию, вычислительной технике, раздаточному материалу, мебели.
3.11. Студенты обязаны во время работы соблюдать тишину, не покидать рабочего места без разрешения преподавателя.
3.12. Не использовать программные средства, не относящиеся к теме занятия.
3.13. Не выполнять никаких действий, в благополучном исходе которых нет полной уверенности.
3.14. Не запускать программы, назначение которых неизвестно.
3.15. В случаях затруднений обращаться к преподавателю.