UkrReferat.com
найбільша колекція україномовних рефератів

Всього в базі: 75843
останнє поновлення: 2016-12-04
за 7 днів додано 15

Реферати на українській
Реферати на російській
Українські підручники

$ Робота на замовлення
Реклама на сайті
Зворотній зв'язок

 

ПОШУК:   

реферати, курсові, дипломні:

Українські рефератиРусские рефератыКниги
НазваМетоди перевірки тотожності формул числення висловлювань (курсова робота)
АвторPetya
РозділМатематика, алгебра, геометрія, статистика
ФорматWord Doc
Тип документуКурсова
Продивилось3154
Скачало343
Опис
ЗАКАЧКА
Замовити оригінальну роботу

 

Курсова робота

 

Методи перевірки тотожності формул числення висловлювань

 

 

Зміст

 

1. Анотація…………………………………………..1 стр.

 

2. Вступ………………………………………………2 стр.

 

3. Теоретична частина:

 

3.1 Алгебраїчний метод……………………………..3 стр.

 

3.2 Метод Куайна…………………………………….3 стр.

 

3.3 Метод редукції……………………………………3 стр.

 

3.4 Метод Девіса-Патнема…………………………..4 стр.

 

3.5 Метод резолюцій…………………………………6 стр.

 

4. Практична частина:

 

4.1 Додаток 1………………………………………..7 стр.

 

4.2 Додаток 2………………………………………..8 стр.

 

4.3 Додаток 3………………………………………..9 стр.

 

4.4 Висновок……………………………………….10 стр.

 

4.5 Рекомендована література…………………...11 стр.

 

Анотація.

 

Головними ідеями дискретної математики є :

 

По-перше – ідея подання обчислювальної системи у вигляді системи

алгебрологічних виразів, над якими можна виконувати ряд перетворень, а

також у вигляді мережі алгоритмічних модулів.

 

По-друге – ідея алгоритму очевидності, суть якої полягає у створенні

спеціалізованої програми для автоматизованої обробки математичних

текстів.

 

По-третє – ідея рекурсивної обчислювальної машини нової формації з

необмеженим нарощуванням пам’яті та швидкодії.

 

По-четверте – ідея створення штучного інтелекту як окремої системи, що

визначається своїм розумом, який розміщується в базах знань, і системою

перетворень, які динамічно самоорганізуються.

 

Вступ.

 

Нехай Al={A, B, C, …, X, Y, A1, …} – алфавіт змінних (скінчений або

зліченний). Кожна із змінних цього алфавіту може приймати одне із двох

значень ТАК (істина - 1) або НІ (хибність - 0), а самі змінні у цьому

випадку називають висловлюваннями. Інакше кажучи, висловлювання – це або

хибне, або істинне висловлювання, але не те і друге разом.

 

Елементи алфавіту Al, які використовуються для висловлювань, будемо

називати пропозиційними змінними, або атомарними формулами, або просто

атомами.

 

Із висловлювань можна будувати складені висловлювання, використовуючи

атомарні формули.

 

Формула А числення висловлювань називається тавтологією (суперечністю),

якщо вона приймає значення 1 (0) незалежно від інтерпретації.

 

Щоб перевірити формулу числення висловлень на тотожність, тобто чи є

вона тавтологією, чи суперечністю, потрібно знайти її значення при всіх

можливих інтерпретаціях. Будемо називати цей метод тривіальним. Хоча він

досить простий, але його недолік – громіздкість. Існують і більш

досконалі методи. Розглянемо деякі з них.

 

Алгебраїчний метод.

 

логічно різних формул. Алгебраїчний метод дає можливість виділяти цю

множину формул, тобто замінити розгляд нескінченної множини формул

скінченною множиною.

 

Метод Куайна.

 

Метод Куайна являє собою безпосереднє узагальнення тривіального

алгоритму.

 

Нехай {p, q, …, r} – упорядкована множина висловлювань, які

зустрічаються у формулі Р(p, q, …, r). Візьмемо перше з висловлювань – p

і припишемо йому, наприклад, значення 1 (0). Підставимо це значення у

формулу Р і виконаємо обчислення, які можуть виявитися необхідними

внаслідок такої підстановки. Після виконання обчислень одержуємо деяку

-----> Page:

0 [1] [2] [3] [4] [5]

ЗАМОВИТИ ОРИГІНАЛЬНУ РОБОТУ