Головна » Реферати » Реферати 1 курс » Логіка

Алгоритмічна логіка Хоара



План

1) Вступ
2) Алгоритмічні логіки
3) Біографія Хоара
4) Алгоритмічна логіка Хоара
a. Аксіоми Хоара;
b. Приклад розв’язування задачі з використанням аксіом.
5) Висновок





Повна інформація про роботу

  • Характеристика роботи
  • Коментар автора роботи

реферат "Алгоритмічна логіка Хоара" з предмету "Логіка". Робота є оригінальною та абсолютно унікальною, тобто знайти її на інших ресурсах мережі Інтернет просто неможливо. Дата та час публікації: 15.07.2010 в 21:48. Автором даного матеріалу є Олег Вернадський. З моменту опублікування роботи її переглянуто 281 та скачано 24 раз(ів). Для ознайомлення з відгуками щодо роботи натисніть [перейти до коментарів]. По п'ятибальній шкалі користувачі порталу оцінили роботу в "5.0" балів.

Олег Вернадський...

Виконував дуже старанно, намагався детально розкрити всі пункти. Наш найвимогливіший викладач в університеті (Віктор Анатолійович) оцінив на 100 балів...