Полезное:
Как сделать разговор полезным и приятным
Как сделать объемную звезду своими руками
Как сделать то, что делать не хочется?
Как сделать погремушку
Как сделать так чтобы женщины сами знакомились с вами
Как сделать идею коммерческой
Как сделать хорошую растяжку ног?
Как сделать наш разум здоровым?
Как сделать, чтобы люди обманывали меньше
Вопрос 4. Как сделать так, чтобы вас уважали и ценили?
Как сделать лучше себе и другим людям
Как сделать свидание интересным?
Категории:
АрхитектураАстрономияБиологияГеографияГеологияИнформатикаИскусствоИсторияКулинарияКультураМаркетингМатематикаМедицинаМенеджментОхрана трудаПравоПроизводствоПсихологияРелигияСоциологияСпортТехникаФизикаФилософияХимияЭкологияЭкономикаЭлектроника
|
Задание. Практическая работа №1. Логика высказыванийПрактическая работа №1. Логика высказываний Для выполнения этой работы требуется изучить следующие разделы логики высказываний: 1. Определение высказывания 2. Операции над высказываниями 3. Формулы логики высказываний 4. Равносильность формул 5. Запись сложного высказывания в виде формулы логики высказываний 6. Тождественно-истинные, тождественно-ложные и выполнимые формулы 7. Формализация рассуждений 8. Правильные рассуждения
Практическая работа №2. Логика предикатов Для выполнения этой работы требуется изучить следующие разделы логики предикатов: 1. Определение предиката 2. Кванторы. 3. Формулы логики предикатов 4. Равносильность формул 5 Приведенные и нормальные формулы 6. Выражение суждения в виде формулы логики предикатов 7. Интерпретация формулы логики предикатов в виде суждения 8. Выполнимость. Общезначимость
Практическая работа №3. Формальные аксиоматические теории (исчисления). Нечеткая логика Для выполнения этой работы требуется изучить следующие разделы исчисления высказываний, исчисления предикатов и нечеткой логики: 1. Принципы построения формальных теорий 2. Вывод в исчислении высказываний 3. Вывод в исчислении предикатов 4. Метод резолюций. 5. Нечеткие множества 6. Нечеткие высказывания 7. Нечеткие предикаты
Практическая работа №4. Машина Тьюринга Эта практическая работа рассчитана на использование программной системы – интерпретатора машины Тьюринга. Порядок действий при этом следующий. Чтобы приступить к выполнению работы необходимо запустить систему с помощью кнопки «Алго»; выбрать в главном меню пункт "Интерпретатор"; затем выбрать пункт "Машина Тьюринга". Домашние задания по курсу "Математическая логика и теория алгоритмов"
1. Раздел «Логика высказываний» Задание 1. Установить, является ли данная формула тождественно-истинной. 2. Данное высказывание записать в виде формулы логики высказываний. Построить отрицание данного высказывания в виде формулы, не содержащей внешних знаков отрицания. Перевести на естественный язык. 3. Установить, является ли данное рассуждение правильным, (проверить, следует ли заключение из конъюнкции посылок). Варианты индивидуальных заданий Вариант №3 1. (P É R) É ((Q É R) É ((P V Q) É R)).
|