Головна сторінка: Różnice pomiędzy wersjami
(Tłumaczenie LEM i SpecVer) |
|||
| Linia 1: | Linia 1: | ||
| + | <p style="text-align: left;">[[Plik:22px-English_language.svg.png]] | ||
| + | [[Main page]] [[Plik:Flag of Poland.svg.png]][[ Strona główna]] </p> | ||
| + | |||
| + | |||
| + | Лотар [[Коллатц]] (<small> у 1937 році</small>) мав рацію ! | ||
| + | |||
| + | ------- | ||
| + | |||
<p style="text-align: left;">[[Plik:22px-English_language.svg.png]] | <p style="text-align: left;">[[Plik:22px-English_language.svg.png]] | ||
[[Main page]] [[Plik:Flag of Poland.svg.png]][[ Strona główna]] </p> | [[Main page]] [[Plik:Flag of Poland.svg.png]][[ Strona główna]] </p> | ||
| Linia 8: | Linia 16: | ||
== Мапа == | == Мапа == | ||
| − | На цих сторінках ми представляємо чотири дослідницькі | + | На цих сторінках ми представляємо чотири дослідницькі проєкти: Алгоритмічна логіка(з 1968), Loglan'82(з 1978), SpecVer(2007), Lem(2012). |
| − | Перші два | + | Перші два проєкти дали багато результатів і будуть використовуватися ще багато років.<br /> |
{| class="wikitable" | {| class="wikitable" | ||
|- | |- | ||
| − | |♥ Дослідницький | + | |♥ Дослідницький проєкт '''"Алгоритмічна логіка"''' займається відкриттям законів [[рахунок програм |рахунку програм]] і знаходить застосування у верифікації програм, тобто у доведенні істинності таких властивостей програм, як [[коректність]], відсутність циклів тощо. Мова алгоритмічної логіки дозволяє не лише виражати властивості алгоритмів (програм), а й забезпечує аксіоматизацію багатьох структур даних. Це стосується як відомих і необхідних в алгоритміці структур даних (наприклад, стеки, бінарні дерева пошуку, купи і т. д.), так і багатьох структур, що вивчаються в математиці. Можна вважати, що математика займається дослідженням, чи є дана формула <math> \alpha </math> істинною у даній структурі <math> \mathbb{A} </math>. Однак більшість структур не можна описати за допомогою аксіом, записаних у логіці першого порядку! Прийняття мови алгоритмічної логіки (або коротше, алгоритмічної мови) дозволяє представити ...<br /> |
→ '''[[Алгоритмічна логіка]]''' <br /> | → '''[[Алгоритмічна логіка]]''' <br /> | ||
→ '''[[Media:UlotkaLogikaAlgorytmiczna.pdf| Листівка з алгоритмічної логіки]]''' | → '''[[Media:UlotkaLogikaAlgorytmiczna.pdf| Листівка з алгоритмічної логіки]]''' | ||
| Linia 27: | Linia 35: | ||
→ '''[[Lоglan'82]]'''<br /> | → '''[[Lоglan'82]]'''<br /> | ||
→ '''[[Media:UlotkaLoglan.pdf|Листівка Loglan'82]]'''<br /> | → '''[[Media:UlotkaLoglan.pdf|Листівка Loglan'82]]'''<br /> | ||
| + | |||
| + | |- | ||
| + | |♥ LEM - це назва нового дослідницького проєкту. | ||
| + | Метою цього проєкту є вивчення можливості створення мови програмування з певними визначеними характеристиками (див. [[специфікація LEM]]). | ||
| + | Мова LEM має ґрунтуватися на досягненнях проекту Loglan'82 та використовувати найкращі аспекти об'єктно-орієнтованих мов програмування новіших поколінь: Java, C++, C#, Python і т.д.<br /> | ||
| + | → '''[[LЕM]]''' | ||
| + | |♥ Проєкт SpecVer має на меті підтвердити корисність застосування законів алгоритмічної логіки в інженерії програмного забезпечення. Мова LEM може виявитися корисною в роботі проєкту SpеcVer.<br /> | ||
| + | → '''[[SpеcVer]]''' | ||
| + | |} | ||
Wersja z 23:51, 4 mar 2024
Лотар Коллатц ( у 1937 році) мав рацію !
Лотар Коллатц ( у 1937 році) мав рацію !
Мапа
На цих сторінках ми представляємо чотири дослідницькі проєкти: Алгоритмічна логіка(з 1968), Loglan'82(з 1978), SpecVer(2007), Lem(2012).
Перші два проєкти дали багато результатів і будуть використовуватися ще багато років.
| ♥ Дослідницький проєкт "Алгоритмічна логіка" займається відкриттям законів рахунку програм і знаходить застосування у верифікації програм, тобто у доведенні істинності таких властивостей програм, як коректність, відсутність циклів тощо. Мова алгоритмічної логіки дозволяє не лише виражати властивості алгоритмів (програм), а й забезпечує аксіоматизацію багатьох структур даних. Це стосується як відомих і необхідних в алгоритміці структур даних (наприклад, стеки, бінарні дерева пошуку, купи і т. д.), так і багатьох структур, що вивчаються в математиці. Можна вважати, що математика займається дослідженням, чи є дана формула [math] \alpha [/math] істинною у даній структурі [math] \mathbb{A} [/math]. Однак більшість структур не можна описати за допомогою аксіом, записаних у логіці першого порядку! Прийняття мови алгоритмічної логіки (або коротше, алгоритмічної мови) дозволяє представити ... |
♥ Дослідницький проєкт "Loglan'82" сприяв створенню однойменної об'єктно-орієнтованої та розподіленої мови програмування. Публікація мови та розповсюдження компілятора передували дослідженням різних проблем.
Наведемо кілька прикладів: • Вирішення проблеми безпечного та ефективного вивільнення надлишкових об'єктів. |
| ♥ LEM - це назва нового дослідницького проєкту.
Метою цього проєкту є вивчення можливості створення мови програмування з певними визначеними характеристиками (див. специфікація LEM).
Мова LEM має ґрунтуватися на досягненнях проекту Loglan'82 та використовувати найкращі аспекти об'єктно-орієнтованих мов програмування новіших поколінь: Java, C++, C#, Python і т.д. |
♥ Проєкт SpecVer має на меті підтвердити корисність застосування законів алгоритмічної логіки в інженерії програмного забезпечення. Мова LEM може виявитися корисною в роботі проєкту SpеcVer. → SpеcVer |
