Главная Случайная страница


Полезное:

Как сделать разговор полезным и приятным Как сделать объемную звезду своими руками Как сделать то, что делать не хочется? Как сделать погремушку Как сделать так чтобы женщины сами знакомились с вами Как сделать идею коммерческой Как сделать хорошую растяжку ног? Как сделать наш разум здоровым? Как сделать, чтобы люди обманывали меньше Вопрос 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)).


<== предыдущая | следующая ==>
Пример 4 | Экономические блага и ограниченностью ресурсов. Экономический выбор

Date: 2015-08-15; view: 990; Нарушение авторских прав; Помощь в написании работы --> СЮДА...



mydocx.ru - 2015-2024 year. (0.007 sec.) Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав - Пожаловаться на публикацию