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

Всього в базі: 75838
останнє поновлення: 2016-12-03
за 7 днів додано 10

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

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

 

ПОШУК:   

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

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

структурних властивостей

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

правила можна використовувати для аналізу результатів виконання

програми, що пов’язано з семантикою програми.

 

Приклад.

 

.

 

Вхідні дані:

 

> 0.

 

Вихідні дані:

 

— цілі невід’ємні числа.

 

:

 

:

 

— цілі числа.

 

:

 

 

Потрібно довести, що

 

 

або

 

 

Доведення.

 

А4 до пунктів 5 і 11

 

 

 

, яка задовольняє умови:

 

 

— цілі невід’ємні числа.

 

, і циклічний процес завершується.

 

Таким чином, встановлено, що

 

є тотально вірною.

 

Висновок

 

Отже, ми розглянули як застосовується логіка у простій мові

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

 

Застосування логічного алгоритму для вирішення конкретної задачі є

досить складною проблемою, вирішення якої потребує не лише досконалого

володіння саме цим алгоритмом, але й всебічного розглядання того чи

іншого алгоритму, тобто визначення усіх його переваг і недоліків.

 

Хоар визначив просту мову програмування через логічну систему аксіом і

правила виведення для доведення часткової правильності програми. В його

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

виконання програми, а в термінах доведення її правильності спрощує

процес створення програми.

 

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

програмування. Головним недоліком дослідників було те, що вони не

приділяли достатньо уваги формальній логіці. Основою для логіки

виведення правильних програм служать аксіоми Хоара.

 

Отже, головною задачею, яку має вирішити людина, створити сучасніший,

простіший метод доведення правильності програм. А також зазначити як

позитивні, так і усі негативні характеристики різних методів

розв’язування задач, з використанням алгоритмічних логік та з

передбаченням кінцевого результату.

 

 

 

 

[0] [1] 2

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