Головна » Реферати » Реферати 1 курс » Логіка |
Алгоритмічна логіка Хоара
1) Вступ
2) Алгоритмічні логіки
3) Біографія Хоара
4) Алгоритмічна логіка Хоара
a. Аксіоми Хоара;
b. Приклад розв’язування задачі з використанням аксіом.
5) Висновок
Повна інформація про роботу
реферат "Алгоритмічна логіка Хоара" з предмету "Логіка". Робота є оригінальною та абсолютно унікальною, тобто знайти її на інших ресурсах мережі Інтернет просто неможливо. Дата та час публікації: 15.07.2010 в 21:48. Автором даного матеріалу є Олег Вернадський. З моменту опублікування роботи її переглянуто 281 та скачано 24 раз(ів). Для ознайомлення з відгуками щодо роботи натисніть [перейти до коментарів]. По п'ятибальній шкалі користувачі порталу оцінили роботу в "5.0" балів.
Виконував дуже старанно, намагався детально розкрити всі пункти. Наш найвимогливіший викладач в університеті (Віктор Анатолійович) оцінив на 100 балів...